Research Assistant at Uppsala University

Do you want to work with state-of-the-art program verification, supported by competent and friendly colleagues in an international environment? Do you want an employer that invests in sustainable employee engagement and offers secure, favorable working conditions? Welcome to apply for the position of research assistant at Uppsala University.

The Department of Information Technology (https://www.uu.se/institution/informationsteknologi) has a leading position in both research and education at all levels. Currently, we are Uppsala University's third largest department with approximately 350 employees, including 120 teachers and 120 doctoral students. About 5,000 undergraduate students take one or more courses at the department each year.

Job Responsibilities

We are looking for up to two project assistants to support our larger project on verifying numerical programs that perform calculations with floating-point arithmetic, using the deductive verifier Stainless and the static analyzer Daisy. One task is to help us write specifications to be used as benchmarks for verification with Stainless. The other task involves performance improvements and code maintenance for the Daisy analyzer. Both tools are written in Scala, and therefore both projects will involve programming in Scala.

Qualifications

Documented experience with the programming language Scala. The applicant must demonstrate high self-motivation in the application. The applicant must be able to work well in a team, be good at giving and receiving constructive criticism, and have a strong ability for critical thinking and structured work. These skills are as important as the technical qualifications. Excellent oral and written English is a requirement.

Desirable/meritorious

Experience with deductive program verification and/or static program analysis is meritorious. We will also consider the suitability for the project and the surrounding research environment.

About the Employment

The position is temporary for 6 months. The scope is 20%. Start date January 1, 2026, or by agreement. Location: Uppsala

For inquiries about the position, please contact: Eva Darulova, [email protected] (mailto:[email protected])

Welcome with your application by December 22, 2025, UFV-PA 2025/3761.

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,600 employees and 53,000 students who, with curiosity and commitment, make Uppsala University one of the most exciting workplaces in the country.

Read more about our benefits and what it is like to work at Uppsala University here (https://uu.se/om-uu/jobba-hos-oss/).

The position may be subject to security screening. A prerequisite for employment is that the applicant is approved during the security screening.

We kindly decline offers of recruitment and advertising assistance.

Applications are received in Uppsala University's recruitment system.

Union representatives: Saco-S - [email protected] (mailto:[email protected]), Seko - [email protected] (mailto:[email protected]), ST (OFR/S) - [email protected] (mailto:[email protected])