Postdoctoral position in Constraint Programming and Pseudo Boolean Solving Full-time

Postdoctoral Position In Constraint Programming And Pseudo Boolean Solving

Are you interested in working with constraint programming, with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in sustainable employeeship and offers safe, favourable working conditions? We welcome you to apply for a postdoctoral position 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 around 350 employees, including 120 teachers and 120 PhD students. Approximately 5,000 undergraduate students take one or more courses at the department each year.

The postdoctoral position is hosted by the Division of Computing Science and specifically within the optimisation group.

Project description and duties: The primary aim of the project is to develop a constraint solver that uses both lazy clauses and pseudo-boolean methods. 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 course availability).

Requirements: PhD degree in computer science in particular in constraint programming or a foreign degree equivalent to a PhD degree in the above mentioned subjects. The degree needs to be obtained by the time of the decision of employment. Priority will be given to applicants who have completed their degree no more than three years before the deadline for applications. Due to special circumstances, the degree may have been obtained earlier. The three-year period can be extended due to circumstances such as sick leave, parental leave, duties in labour unions, etc.

Fluent written and spoken English. Knowledge and experience of lazy-clause constraint programming solver design. High competence in Rust programming. In depth knowledge of boolean and pseudo-boolean encodings of high-level constraints. Experience of computer assisted theorem proving in Lean.

Additional qualifications: We are searching for a postdoc candidate who is responsible, self-motivated, and have demonstrated independence in research, and at the same time work well in a research group. Emphasis will also be placed on the ability to publish scientific work in high-quality venues and to give presentations at conferences and scientific meetings.

Application procedure: The application must include:

• a cover letter that briefly describes your motivation for applying for this position and this project and states the earliest possible date of employment (max 1 page);
• a curriculum vitae (CV);
• a research statement describing your previous research experience and current research interests (max two pages);
• a copy of relevant diplomas and grades (translated into Swedish or English, e.g. as provided by your university);
• a list of publications (may be included in CV);
• contact information for at least two references (do not include reference letters).

About the employment: The employment is a temporary position of two and a half years according to central collective agreement. Full time position. Starting date in August 2026 or as agreed. Placement: Uppsala.

For further information about the position, please contact: Justin Pearson, Tel. +46 18 471 7292 e-mail: justin.pearson@it.uu.se.

Please submit your application by 27 May 2026, UFV-PA 2026/1614.