PhD Position in Computing Science: Uppsala University invites applications for a fully-funded PhD position in Computing Science, focusing on the automated verification of numerical code. The successful candidate will join the Division of Computing Science within the Department of Information Technology, working closely with the Programming Languages group. This position offers an excellent opportunity to conduct research in a supportive and dynamic international environment, aiming to develop rigorous verification approaches and tools for real-world numerical software.
Fully-Funded PhD Position in Computing Science: Automated Verification of Numerical Code
Location:
Uppsala, Sweden
Eligibility/Qualification: To be eligible for this position, candidates must meet the following criteria:
- Hold a Master’s (second-cycle) degree in computer science or a related field, or have completed at least 240 credits in higher education, including at least 60 credits at Master’s level, with an independent project worth at least 15 credits.
- Possess a strong mathematical background and demonstrate an interest in static and/or dynamic program analysis, programming language techniques, or formal verification.
- Exhibit excellent communication skills in English, both written and oral.
- Demonstrate good programming and problem-solving abilities.
- Ability to work independently as well as collaboratively in a diverse group.
Description:
The PhD project focuses on developing a rigorous verification approach and tool for real-world numerical software. This entails exploring, developing, and combining different static and dynamic verification techniques to ensure the correctness of numerical code. The ultimate goal is to facilitate the development of correct numerical software by addressing the unique challenges posed by finite precision and rounding errors. The successful candidate will work on implementing these techniques in a practical tool, potentially leveraging the LLVM framework.
How to Apply:
Interested applicants should submit their applications by April 26, 2024, using the Uppsala University recruitment portal (reference number UFV-PA 2024/957). The application must include the following documents:
- A statement (up to 2 pages) detailing the applicant’s motivation for applying, research interests, evidence of self-motivation and ability to work in a group, and a summary of their MSc thesis or a comparable major project.
- Curriculum Vitae (CV).
- Copies of degrees and transcripts of records with grades, translated to English or Swedish.
- Master’s thesis (or a draft thereof), publications, and other relevant documents.
- Contact information for at least one reference (no reference letter required).
- The earliest possible starting date.
Promising applicants will be invited for an interview on-site before hiring.
Last Date for Apply: April 26, 2024
Contact:
Associate Professor Eva Darulova
Email: eva.darulova@it.uu.se
Join us at Uppsala University and contribute to cutting-edge research in computing science!
