Postdoctoral in Practically Useful Verification for Numerical Code

Do you want to research in automated program verification, supported by competent colleagues in a leading international environment? Do you want an employer who invests in sustainable employee and offers safe, preferential working conditions? Then you are welcome to seek employment as postdoctoral at the Department of Information Technology at Uppsala University.

The Department of Information Technology has a leading position in both research and education at all levels. We are today Uppsala University's third largest institution and have today just over 350 employees of which 120 are teachers and 120 are doctoral students. C: A 5000 Undergraduate students read one or more courses at the department every year. More information about us can be found at the Department of Information Technology website.

The postdoctoral service is located at the Department of Data Logi, specifically in the program language group currently consisting of 11 senior researchers and 10 doctoral students who work with different aspects of program language design, verification and software technology. In addition to technical collaborations, the group regularly meet and offers an engaging and supportive environment.

Project description and tasks

The postdoctoral service is part of a project aimed at making it easier for developers to write accurate and efficient numerical programs. The project includes both a theoretical part, where new technologies and methods are developed, and implementations for practical use.

The project specifically focuses on numerical programs that occur widely, eg. In safety-critical (built-in) systems, data analysis, weather forecasts, physics and engineering science. To verify that such programs are correct are 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, error location or optimization that makes verification tools practically 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 offering (depending on the candidate's interest and available courses). We encourage all interested applicants to search, even if their experience is not fully in line with the project's subject area. We examine all applications carefully and are looking for candidates who can contribute to the project's goals.

Kvalifikationskrav

Doctoral degree in computer science in an area relevant to the employment, such as programming, program verification or software technology, or a foreign degree corresponding to a Swedish doctoral degree on the subject. Degree must be met at the latest at the time when the employment decision is made. It should mainly be in question that has exhausted graduates for a maximum of three years ago. When calculating the framework of three years, the starting point is the last application date. If there are special reasons, such degree may have been completed before. With special reasons, leave for illness, parental leave, trust assignments in trade unions, etc.

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

Desirable / merit in general

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

Application

The application should contain:

• A personal letter that briefly describes your motivation to search this service and projects and sets the earliest possible start date (max 1 page);
• a resume (CV);
• A research description that describes your previous research experience and current research interests (maximum two pages);
• a copy of relevant degrees and grades (translated into Swedish or English, eg according to the university's standard);
• A publication list (can be included in CV);
• Contact information to at least two references (reference letters should not be attached).

If the employment

The employment is limited in two years according to central collective agreement. The scope is full time. Access it 1 February 2027 or as agreed. Location: Uppsala.

Disclosure of the employment is provided by: Senior Lecturer Eva Darulova, E-mail: eva.darulova@it.uu.se.

Welcome with your application no later than the 13 November 2026, UFV- PA 2026/2902.

Uppsala University is a broad research university with a strong international position. The ultimate goal is to conduct training 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 to one of the country's most exciting workplaces.

Read more about our benefits and how it is to work in Uppsala University

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

The employment may be recovered. At security test, a prerequisite for employment is that applicants are approved.

We abandon us offerings on recruitment and advertising aid.

The application is received in Uppsala University's recruitment system.

Union representatives:Saco-S - saco-s@uu.se, Seko - seko@uadm.uu.se, ST (Ofr / S) - ofr@uu.se