Publisher
source

Uppsala University

Just Landed

Postdoctoral Position in Practically Usable Verification for Numerical Programs Uppsala University in Sweden

Degree Level

Postdoc

Field of study

Computer Science

Funding

Full-time temporary employment for two years under a central collective agreement, with an individual salary. The position is 100% and may include up to 20% teaching depending on the candidate's interest and course availability. Uppsala University offers favorable employment conditions and employee benefits, but no specific salary amount is stated.

Deadline

Nov 13, 2026

Country flag

Country

Sweden

University

Uppsala University

Apply for this position

Keywords

Computer Science
Software Engineering
Optimisation
Fault Location
Programming Language

Suggested positions

Publisher
source

Martin Fagerström

Chalmers University of Technology

Country flag

Sweden

Chalmers University of Technology is advertising a PhD position in Thermomechanical Fatigue of Textile Composites within the Division of Computational Mechanics and Materials Engineering in Gothenburg, Sweden. The project focuses on how advanced composite materials behave after millions of load cycles in aeroengine environments. The doctoral researcher will combine experimental testing , advanced simulations , and collaboration with academic and industrial experts to develop reliable methods for...

Computer Science
Materials Science
Aerospace Engineering
+4 more

3 weeks ago

Publisher
source

Delft University of Technology

Country flag

Netherlands

Delft University of Technology (TU Delft) invites applications for a PhD position on AI for Software Reuse and Agentic Development , based in Delft, the Netherlands, within the Faculty of Electrical Engineering, Mathematics and Computer Science. The project is conducted in collaboration with ING and focuses on making enterprise software development more sustainable, reliable, and effective. The research combines artificial intelligence with software repository mining, program and architecture an...

Computer Science
Software Engineering

5 days ago

Publisher
source

University of Skövde

Country flag

Sweden

Fully funded PhD position at the University of Skövde in AI-driven simulation and optimization in manufacturing . This opportunity is aimed at candidates interested in combining artificial intelligence , simulation , optimization , and manufacturing research. The post is shared by Masood Fathi , Associate Professor at the University of Skövde. The announcement highlights a fully funded PhD opening, making it attractive for applicants seeking doctoral study with financial support. Research areas:...

Computer Science
Mechanical Engineering
Mathematics
+5 more

2 weeks ago

Publisher
source

Karlstad University

Country flag

Sweden

Postdoctoral position in Electrical Engineering at Karlstad University , Sweden, focused on intelligent control of solar power systems and broader research in renewable energy , automation , power systems , and machine learning . The position is hosted by the Department of Engineering and Physics within the Faculty of Health, Science and Technology. The project is part of the Solar Electricity Research Centre Sweden (SOLVE) , a strategic partnership aimed at accelerating the integration of solar...

Computer Science
Environmental Science
Electrical Engineering
+7 more

3 weeks ago

Publisher
source

Chalmers University of Technology

Country flag

Sweden

Doctoral Student in Machine Learning for Quantum Error Correction at Chalmers University of Technology in Gothenburg, Sweden. This PhD project sits at the intersection of machine learning , quantum error correction , quantum computing , coding theory , and information theory . The goal is to develop learning-based decoders that are fast, scalable, and compatible with the strict latency and hardware constraints of practical quantum systems. The project is part of QuBriC , a European Marie Skłodow...

Computer Science
Electrical Engineering
Information Technology
+7 more

1 month ago

About this position

Uppsala University is seeking a full-time postdoctoral researcher in Practically Usable Verification for Numerical Programs, hosted by the Department of Information Technology's Division of Computing Science and Programming Languages group in Uppsala, Sweden.

The project aims to help developers write correct and efficient numerical programs through new theoretical techniques and practical implementations. Research will address numerical software used in safety-critical embedded systems, data analysis, weather forecasting, physics, and engineering. Potential topics include automated program verification, floating-point arithmetic and rounding errors, specification inference, fault localisation, and optimisation approaches for usable verification tools.

Applicants must have a PhD in computer science or an equivalent foreign degree in a relevant area such as programming languages, program verification, or software engineering. A completed degree is required by the employment decision, and priority is given to recent graduates. Fluency in written and spoken English and good programming skills are required, alongside evidence of independent research, scientific publication, conference presentation, and effective collaboration.

The appointment lasts two years, is full time, and begins on 1 February 2027 or by agreement. Duties include research administration and project meetings, with up to 20% teaching depending on interest and course availability. Applications should include a cover letter, CV, research statement, diplomas and grades, publication list, and contact information for at least two references. Apply by 13 November 2026 through the university recruitment system. For position inquiries, contact Associate Professor Eva Darulova at [email protected].

Funding details

Full-time temporary employment for two years under a central collective agreement, with an individual salary. The position is 100% and may include up to 20% teaching depending on the candidate's interest and course availability. Uppsala University offers favorable employment conditions and employee benefits, but no specific salary amount is stated.

What's required

Applicants must hold a PhD in computer science in a relevant field such as programming languages, program verification, or software engineering, or an equivalent foreign degree by the employment decision. Priority is given to candidates who completed the degree no more than three years before the application deadline, with possible extensions for circumstances such as sick leave, parental leave, or union duties. Fluency in written and spoken English and good programming skills are required. Additional qualifications include responsibility, self-motivation, independent research ability, effective teamwork, a record of publishing in high-quality venues, and the ability to present at conferences and scientific meetings. The application must include a cover letter, CV, research statement, relevant diplomas and grades translated into Swedish or English, publication list, and contact details for at least two references.

How to apply

Apply through Uppsala University's recruitment system using the direct application portal. Submit a cover letter, CV, research statement, diplomas and grades, publication list, and contact details for at least two references by 13 November 2026.

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts and confirm requirements with the university.