PhD Candidate in Program Verification, Radboud University, Netherlands

Postdoc in Netherlands

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

DesignationPhD Candidate in Program Verification
Research AreaProgram Verification, Proof Assistants
LocationRadboud University, Nijmegen, Netherlands
Eligibility/QualificationMSc or equivalent degree in Computer Science, Mathematics, or related field; proficiency in English
Job DescriptionConduct research on systems software verification using type systems, separation logic, and proof assistants. Contribute to Iris and Coq projects.
How to ApplyApply online via the provided application button; address to Robbert Krebbers
Last Date to ApplyJune 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.

Link

LEAVE A REPLY

Please enter your comment!
Please enter your name here