[url=https://www.rust-lang.org/]Rust[/url] je nov i moderan programski jezik koji razvija Mozilla Research. Ideja je razviti jezik koji je s jedne strane low-level poput C-a i pogodan za razvoj efikasnog sistemskog softvera, a s druge strane pruža jaku memorijsku sigurnost, odsustvo data raceova itd.
[url=http://plv.mpi-sws.org/rustbelt/]RustBelt[/url] je projekt u sklopu kojega se žele formalizirati logički temelji Rusta. Cilj je razviti logičke mehanizme pomoću kojih bi se moglo i formalno dokazati da Rust ima svojstva i garancije koje tvrdi da ima.
Ukoliko vas zanimaju logika, programski jezici i verifikacija softvera, te razmišljate o istraživačkoj karijeri, ovo je odlična prilika za doktorski studij. Studij se odvija na [url=http://www.mpi-sws.org/]Max Planck institutu za softverske sustave (MPI-SWS)[/url] u Njemačkoj. Za više informacija pogledajte [url=http://plv.mpi-sws.org/rustbelt/]stranicu projekta[/url], a slobodno možete i mene kontaktirati privatnom porukom.
Rust je nov i moderan programski jezik koji razvija Mozilla Research. Ideja je razviti jezik koji je s jedne strane low-level poput C-a i pogodan za razvoj efikasnog sistemskog softvera, a s druge strane pruža jaku memorijsku sigurnost, odsustvo data raceova itd.
RustBelt je projekt u sklopu kojega se žele formalizirati logički temelji Rusta. Cilj je razviti logičke mehanizme pomoću kojih bi se moglo i formalno dokazati da Rust ima svojstva i garancije koje tvrdi da ima.
Ukoliko vas zanimaju logika, programski jezici i verifikacija softvera, te razmišljate o istraživačkoj karijeri, ovo je odlična prilika za doktorski studij. Studij se odvija na Max Planck institutu za softverske sustave (MPI-SWS) u Njemačkoj. Za više informacija pogledajte stranicu projekta, a slobodno možete i mene kontaktirati privatnom porukom.
_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.