Vacant job

Please note that this is a shortened version of the advertisement.

To see the full advertisement, please click on "Apply here" or visit here (https://www.uu.se/om-uu/jobba-hos-oss/lediga-jobb).

Would you like to research automated program verification and/or programming languages, supported by competent colleagues in a leading international environment? Do you want an employer that invests in sustainable employee engagement and offers secure, favorable working conditions? Then you are welcome to apply for a PhD position at the Department of Information Technology, Uppsala University.

Project Description

The PhD positions are in three projects that all aim to make it easier for developers to write safe, correct, and efficient programs. PhD projects typically include both a theoretical part, where new techniques and methods are developed, and implementations that can be used practically.

The first project specifically focuses on numerical programs that are widely used, e.g., in safety-critical (embedded) systems, data analysis, weather forecasting, physics, and engineering. The second project revolves around memory safety and techniques for memory-safe programming. The third project focuses on "concurrency safety".

Job Responsibilities

A PhD student primarily engages in their own doctoral education. Other duties at the department, such as teaching and administrative work, may be included within the framework of the employment (max 20%).

Qualification Requirements

Eligibility for doctoral education is regulated by the Higher Education Ordinance. Basic eligibility is granted to those who:

• have obtained a master's degree in computer science or a related field, or
• have completed at least 240 higher education credits, of which at least 60 higher education credits at the advanced level, including an independent project of at least 15 higher education credits, or
• have acquired substantially equivalent knowledge in some other way.

The university may grant exceptions from the basic eligibility requirement for an individual applicant if there are special reasons. (Chapter 7, Section 39 of the Higher Education Ordinance). For specific eligibility, see here (https://www.uu.se/medarbetare/fakultet/teknisk-naturvetenskapliga/utbildning-och-undervisning/utbildning-pa-forskarniva/amnen-och-studieplaner/amnen).

We are looking for candidates with:

• a mathematical background
• interest in one or more of the following: static and/or dynamic program analysis, programming language techniques (semantics, type systems, execution environments, etc.), formal verification, or software engineering
• excellent communication skills with sufficient proficiency in spoken and written English,
• good problem-solving skills,
• programming skills,
• the ability to work well both independently and collaboratively in a mixed group.

Desirable/Meritorious

Experience and courses in one or more of the following subjects are valued (with varying weight depending on the project): static program analysis, dynamic analysis, program testing, program verification, program logic, semantics for programming languages, type systems, implementation of programming languages (e.g., compilers, execution environments, garbage collection), software engineering, debugging.

Regulations for doctoral students can be found in the Higher Education Ordinance Chapter 5, Sections 1-7, and at here (https://regler.uu.se/?languageId=3).

Application

The application should include:

• a personal letter (maximum 2 pages) where you briefly explain why you are applying for this position, which should also include: a) the candidate's research interests, b) evidence of the applicant's own motivation and ability to work in a group, c) a summary of their thesis or a comparable larger project, and d) the earliest possible start date for employment;
• a CV;
• degree certificate and transcript with grades (translated into English or Swedish);
• thesis (or draft of such, and/or other self-produced technical or scientific text), publications, and other relevant documents;
• contact information for at least two references (but no reference letters)

Promising candidates will be invited for an on-site interview before being hired.

About the Employment

The employment is temporary, according to Chapter 5, Section 7 of the Higher Education Ordinance. The extent is full-time. Start date April 1, 2026, or by agreement. Place of employment: Uppsala.

For inquiries about the position, please contact: University Lecturer Eva Darulova, e-mail: [email protected] (mailto:[email protected]) or Professor Tobias Wrigstad, e-mail: [email protected] (mailto:[email protected]).

Welcome with your application by January 30, 2026, UFV-PA 2025/3891.

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's like to work at Uppsala University here (https://uu.se/om-uu/jobba-hos-oss/).

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

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])