Postdoc in practically useful verification for numerical code
Do you want to conduct research in automated program verification, supported by competent colleagues in a leading international environment? Do you want an employer that invests in sustainable employment and offers secure, beneficial working conditions? Then you are welcome to apply for a position as a postdoc at the Department of Information Technology at Uppsala University.
The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department and have just over 350 employees, of whom 120 are teachers and 120 are doctoral students. Approximately 5,000 undergraduate students take one or more courses at the department every year. More information about us can be found on the Department of Information Technology's website.
The postdoc position is located at the Department of Computer Science, specifically within the programming languages group, which currently consists of 11 senior researchers and 10 doctoral students working on various aspects of programming language design, verification, and software engineering. In addition to technical collaborations, the group meets regularly and offers an engaging and supportive environment.
Project description and tasks
The postdoc position is part of a project aimed at making it easier for developers to write correct and efficient numerical programs. The project includes both a theoretical part, where new techniques and methods are developed, and implementations for practical use.
The project focuses specifically on numerical programs that occur widely, e.g., in safety-critical (embedded) systems, data analysis, weather forecasting, physics, and engineering science. Verifying that such programs are correct is challenging due to rounding errors that arise in floating-point arithmetic. Possible research directions include the development of new automated program verification techniques specifically for such programs, as well as methods for specification inference, error localization, or optimization that make verification tools practically useful for real-world code.
The role also includes research administration, participation in project meetings, and may include up to 20% teaching within the department's course offerings (depending on the candidate's interest and available courses). We encourage all interested applicants to apply, even if their experience does not fully align with the project's subject area. We review all applications carefully and seek candidates who can contribute to the project's goals.
Qualification requirements
A doctoral degree in computer science in an area relevant to the employment, such as programming languages, program verification, or software engineering, or a foreign degree equivalent to a Swedish doctoral degree in the subject. The degree must be completed no later than when the employment decision is made. Primarily, those who have obtained their degree at most three years ago should be considered. When calculating the three-year timeframe, the starting point is the application deadline. If there are special reasons, such a degree may have been obtained earlier. Special reasons refer to leave due to illness, parental leave, positions of trust within trade unions, etc.
The candidate must be able to communicate fluently in English and be able to express themselves at an advanced level in speech and writing within the relevant research field. Good programming skills are also a requirement.
Other desirable/merit qualifications
We are looking for individuals who are responsible, self-driven, and have demonstrated independence in research, while also functioning well in a research group. Great importance will also be placed on the ability to publish scientific work in high-quality forums and to give presentations at conferences and scientific meetings.
Application
The application should include:
a personal letter briefly describing your motivation for applying for this position and project, as well as stating the earliest possible start date (max 1 page); a curriculum vitae (CV); a research description outlining your previous research experience and current research interests (max two pages); a copy of relevant degrees and transcripts (translated into Swedish or English, e.g., according to the university's standard); a publication list (can be included in the CV); contact details for at least two references (letters of recommendation should not be attached).
About the employment
The employment is fixed-term for two years according to the central collective agreement. The scope is full-time. Commencement on February 1, 2027, or by agreement. Location: Uppsala.
Information about the employment is provided by: Senior Lecturer Eva Darulova, e-mail: eva.darulova@it.uu.se.
Welcome with your application no later than November 13, 2026, UFV-PA 2026/2902.
Uppsala University is a broad research university with a strong international position. The ultimate goal is to conduct education and research of the highest quality and relevance to make a difference in society. Our most important asset is all 7,500 employees and 53,000 students who, with curiosity and commitment, make Uppsala University one of the country's most exciting workplaces.
Read more about our benefits and what it is like to work at Uppsala University
https://uu.se/om-uu/jobba-hos-oss/
The employment may be subject to security clearance. In the case of security clearance, approval of the applicant is a prerequisite for employment.
We decline offers of recruitment and advertising assistance.
Applications are received in Uppsala University's recruitment system.
Trade union representatives: Saco-S - saco-s@uu.se, Seko - seko@uadm.uu.se, ST (OFR/S) - ofr@uu.se