PhD Candidate in Program Verification
- Nijmegen, Gelderland
- € 2.770 per maand
- Tijdelijk
- Voltijds
- The type-theoretical foundations and implementation of the Coq proof assistant to make it suitable for the embedding of verification techniques that scale to fully-fledged languages and software.
- The foundations and implementation of new program logics, type systems, and algorithms for interactive and automated verification.
- The semantics of challenging aspects of low-level/systems programming, e.g. concurrency and memory models of languages such as C, Rust, LLVM, and Assembly.
- The application of existing or new techniques to verify challenging systems software.
- You hold an MSc or equivalent degree in computer science, mathematics or a closely related field, or expect to obtain such a degree soon.
- You are able to work both independently and as part of a team.
- You are proficient in English. (Dutch is not required.)
- Prior knowledge of proof assistants is appreciated, but not required.
- We will give you a temporary employment contract (1.0 FTE) of 1,5 years, after which your performance will be evaluated. If the evaluation is positive, your contract will be extended by 2.5 years (4-year contract).
- You will receive a starting salary of €2,770 gross per month based on a 38-hour working week, which will increase to €3,539 in the fourth year (
- You will be able to use our
of annual leave instead of the statutory 20.Work and science require good employment practices. This is reflected in Radboud University's primary and secondary . You can make arrangements for the best possible work-life balance with flexible working hours, various leave arrangements and working from home. You are also able to compose part of your employment conditions yourself, for example, exchange income for extra leave days and receive a reimbursement for your sports subscription. And of course, we offer a good pension plan. You are given plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes.Additional commentsYou can apply only via the button below. Address your letter of application to Robbert Krebbers. In the application form, you will find which documents you need to include with your application.The first interviews will take place in the week of 1 July. You will preferably start your employment on 1 October 2024.We can imagine you're curious about our . It describes what you can expect during the application procedure and how we handle your personal data and internal and external candidates. Website for additional job detailsWork Location(s)Number of offers available 1 Company/Institute Radboud Universiteit Country Netherlands City Nijmegen Postal Code 6525XZ Street Houtlaan 4 GeofieldWhere to apply WebsiteContact CityNijmegen WebsiteStreetHoutlaan 4 Postal Code6525 XZSTATUS: EXPIRED
EURAXESS