PhD Position in Computing Science: Uppsala University invites applications for a PhD position in Computing Science focusing on the automated verification of numerical code. This position offers the opportunity to work in an international environment with supportive colleagues while contributing to cutting-edge research in program verification.
PhD Position in Computing Science: Automated Verification of Numerical Code
Study Area: Computing Science, Automated Verification, Numerical Code
Location: Uppsala University, Uppsala, Sweden
Eligibility/Qualification:
- Applicants must hold a Master’s degree in computer science or a related field, or have completed at least 240 credits in higher education with at least 60 credits at the Master’s level, including an independent project worth at least 15 credits.
- Strong mathematical background with an interest in static and/or dynamic program analysis, programming language techniques, or formal verification.
- Excellent communication skills in English, both oral and written.
- Proficiency in programming and problem-solving.
- Ability to work independently and collaboratively in a diverse group.
Description: The PhD project focuses on developing a rigorous verification approach and tool for real-world numerical software. It involves exploring, developing, and combining different static and dynamic verification techniques to make it easier for developers to write correct numerical code. The project aims to address the challenges posed by finite precision in numerical programs, such as rounding errors, by employing automated verification methods.
How to Apply: Interested candidates should submit the following documents through Uppsala University’s recruitment system:
- Statement of motivation (up to 2 pages) outlining research interests, self-motivation, and ability to work in a group, along with a summary of the MSc thesis or a comparable project.
- CV.
- Degrees and transcript of records with grades (translated to English or Swedish).
- Master’s thesis or draft thereof, publications, and other relevant documents.
- Contact information for at least one reference.
- Earliest possible starting date.
Promising applicants will be invited for an on-site interview before hiring.
Last Date: The deadline for application submission is April 26, 2024 (UFV-PA 2024/957). Candidates are encouraged to apply early to ensure consideration for the position.
