Postdoctoral position in Practically Usable Verification for Numerical Programs

Do you want to research in automated software verification, with the support of competent colleagues in a leading international environment? Do you want an employer who invests in sustainable employeeship and offers secure, affordable working conditions? Then you are welcome to apply for a postdoctoral position at the Department of Informatics at Uppsala University.

The Department of Information Technology has a leading position in both research and education at all levels. Today we are Uppsala University's third largest institution and today we have more than 350 employees of which 120 is a teacher and 120 is a doctoral student. Approximately 5000 undergraduate students study one or more courses at the department each year. More information about us can be found at the Department of Information Technology's website.

The Postdoctor Service is located in the Department of Computerology, specifically within the program language group, which currently consists of 11 senior researchers and 10 PhD students who work with various aspects of program language design, verification and software technology. In addition to technical collaborations, the group meets regularly and offers an engaging and supportive environment.

Project description and tasks

The Postdoc service is part of a project that aims to make it easier for developers to write correct and effective numerical programs. The project covers 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 (built-in) systems, data analysis, weather forecasts, physics and engineering. Verifying the accuracy of such programs is challenging due to rounding errors arising from floating-point arithmetic. Possible research orientations include the development of new automated program verification techniques specifically for such programs, as well as methods of specification inference, error-location or optimization that make verification tools useful for real code.

The role also includes research administration, participation in project meetings and can include up to 20 % teaching within the department's course range (depending on the candidate's interest and available courses). We encourage all interested applicants to apply, although their experience is not entirely consistent with the subject area of the project. We carefully examine all applications and look for candidates who can contribute to the project's objectives.

Qualification requirements

Doctoral degree in computer science in an area relevant to the position, such as program language, program verification or software technology, or a foreign degree corresponding to a Swedish doctoral degree in the subject. The degree must be completed no later than the time when the employment decision is taken. In particular, the person who has completed a degree not exceeding three years ago should be considered. When calculating the three-year framework period, the starting point is the closing date for applications. If there are special reasons, such a degree may have been completed earlier. Special reasons include leave due to illness, parental leave, positions of trust in trade unions, etc.

The candidate should be able to communicate fluently in English and be able to express themselves at advanced level in speeches and shifts within the current research subject. Good programming skills are also a requirement.

Desirable/meriting otherwise

We are looking for people who are responsible, self-sustaining and have shown independence in the research, while at the same time working well in a research group. Great emphasis will also be placed on the ability to publish scientific work in high-quality forums and to hold presentations at conferences and scientific meetings.

Application

The application shall contain:

• a personal letter that briefly describes your motivation to search for this service and project and indicates the earliest possible start date (max 1 page);
• a CV;
• a research description that describes your previous research experience and current research interests (max. two pages);
• a copy of the relevant degrees and grades (translated into Swedish or English, e.g. according to the university standard);
• a publication list (may be included in the CV);
• contact details of at least two references (reference letters should not be attached).

About the employment

The employment is limited for two years according to central collective agreements. The scope is full-time. Transfer of possession on 1 February 2027 or as agreed. Location: Uppsala.

Information on the employment is provided by: Senior Lecturer Eva Darulova, e-mail: eva.darulova@it.uu.se.

Welcome with your application by 13 November 2026, UFVPA 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's like to work at Uppsala University

https://uu.se/om-uu/jobba-hos-oss/

The employment may be safety-tested. In the case of security clearance, a condition for employment is that applicants are approved.

We reject offers of recruitment and advertising assistance.

The application is 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