PhD Candidate in Program Verification: Radboud University’s Faculty of Science is seeking a PhD candidate to work on program verification and proof assistants. The successful candidate will engage in groundbreaking research on the semantics and verification of systems software. The position offers a comprehensive benefits package, including competitive salary, flexible start dates, and extensive support for international employees. Applications are open until June 20, 2024.
Summary Table
| Designation | PhD Candidate in Program Verification |
|---|---|
| Research Area | Program Verification, Proof Assistants |
| Location | Radboud University, Nijmegen, Netherlands |
| Eligibility/Qualification | MSc or equivalent degree in Computer Science, Mathematics, or related field; proficiency in English |
| Job Description | Conduct research on systems software verification using type systems, separation logic, and proof assistants. Contribute to Iris and Coq projects. |
| How to Apply | Apply online via the provided application button; address to Robbert Krebbers |
| Last Date to Apply | June 20, 2024 |
Designation
PhD Candidate in Program Verification
Research Area
Program Verification, Proof Assistants
Location
Radboud University, Nijmegen, Netherlands
Eligibility/Qualification
- MSc or equivalent degree in Computer Science, Mathematics, or a closely related field, or expect to obtain such a degree soon.
- Ability to work independently and as part of a team.
- Proficiency in English (Dutch is not required).
- Prior knowledge of proof assistants is appreciated but not required.
Job Description
The PhD candidate will focus on the semantics and verification of systems software, including libraries for concurrency, efficient data structures, compilers, and operating systems. Key responsibilities include:
- Research on type-theoretical foundations and implementation of the Coq proof assistant.
- Development and implementation of new program logics, type systems, and algorithms for interactive and automated verification.
- Addressing the semantics of concurrency and memory models in low-level programming languages like C, Rust, LLVM, and Assembly.
- Application of verification techniques to complex systems software.
- Contributing to the Iris and Coq projects.
- Spending 10% of the time on teaching responsibilities.
- Participating in professional development through courses and summer schools.
How to Apply
Interested candidates should apply online via the provided application button and address their letter to Robbert Krebbers. The application form will specify the necessary documents to include.
Last Date to Apply
June 20, 2024
Additional Information
- Temporary employment contract of 1.5 years, with a potential extension of 2.5 years based on performance (total of 4 years).
- Gross monthly salary starting at €2,770, increasing to €3,539 in the fourth year.
- 8% holiday allowance and 8.3% end-of-year bonus.
- Dual Career and Family Support Services available.
- Extra days off, with options for 30 or 41 days of annual leave.
- Flexible working hours and various leave arrangements.
- Opportunities for personal and professional development through training and development schemes.
- First interviews will take place in the week of July 1, 2024.
- Preferred start date is October 1, 2024.
For more information on working at Radboud University and the support provided for international employees, visit the university’s support for international staff page.
