Postdoctoral Position in Numerical Programs: Uppsala University, Department of Information Technology, is seeking applications for a Postdoctoral Researcher to work on practically usable automated verification and debugging techniques for numerical programs. This position is part of the ERC Starting grant project HORNET and aims to improve the accuracy and reliability of numerical programs utilized in various safety-critical and analytical domains.
Postdoctoral Position in Practically Usable Verification for Numerical Programs
Designation
Postdoctoral Researcher
Research Area
- Automated Program Verification
- Software Engineering
- Programming Languages
Location
Uppsala, Sweden
Eligibility/Qualification
- PhD degree in Computer Science or a relevant field (such as program verification, software engineering, or programming languages) obtained within the last three years.
- Fluency in both written and spoken English.
- Strong programming skills.
- Experience in research and the ability to publish in high-quality venues.
Job Description
The postdoc will:
- Participate in the ERC Starting grant project HORNET, focusing on enhancing automated verification and debugging techniques applicable to numerical programs.
- Work on research aspects such as accuracy of finite-precision programs, automated program verification, specification inference, and fault localization.
- Collaborate with faculty, PhD students, and external partners, contributing to both innovative techniques and practical implementations.
- Engage in research administration, attend project meetings, and may involve teaching duties up to 20% within the Department’s course offerings, depending on interest.
How to Apply
Applicants must submit the following documents:
- Cover letter detailing motivation for applying and the earliest possible date for employment (max 1 page).
- Curriculum Vitae (CV).
- Research statement outlining previous research experience and current interests (max 2 pages).
- Copies of relevant diplomas and grades (translated into Swedish or English).
- A list of publications (can be included in the CV).
- Contact information for at least two references (reference letters are not required).
Applications should be submitted through Uppsala University’s recruitment system.
Last Date to Apply
April 22, 2025, by 11:59 PM CEST
For more information about the position, please contact Associate Professor Eva Darulova at eva.darulova@it.uu.se.
