Postdoc in Cyclic Program Verification Rust Proofs
Job in
2600, Delft, South Holland, Netherlands
Listed on 2026-06-29
Listing for:
Qabird
Full Time
position Listed on 2026-06-29
Job specializations:
-
Education / Teaching
-
Healthcare
Job Description & How to Apply Below
Qabird is seeking a Postdoc in Cyclic Programming and Reasoning in Delft, Netherlands, to design verification tools for Rust programs. Candidates should have a PhD in a relevant field and experience with proof assistants.
This two-year position offers a flexible working week, opportunities for education and training, and a great benefits package including a pension scheme and health insurer discounts.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×