Jobid=623057572948478368 (0.0278)
Delft is seeking a Postdoc in Cyclic Programming to enhance verification tools using proof assistant technology for Rust programs. The role involves designing prototypes for verification and collaborating with a PhD project on coinductive type theory.
This position lasts for 2 years at TU Delft, combining academic research with practical implementations, offering opportunities for publishing and contributing to open-source tools in a collaborative environment.
#J-18808-Ljbffr
Deel deze vacature: