Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Eva Darulova
Closing soon
Just Landed
Posted Yesterday
Postdoctoral position in Practically Usable Verification for Numerical Programs Uppsala University in Sweden
Degree Level
Postdoc
Field of study
Computer Science
Funding
Available
Deadline
Nov 13, 2026
Country
Sweden
University
Uppsala University
Apply for this position
Keywords
Suggested positions
Uppsala University
Sweden
1 week ago
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 an...
1 week ago
Uppsala University
Sweden
5 days ago
Uppsala University is offering a fully funded PhD opportunity in quantum program verification within the Department of Information Technology in Sweden. The project investigates scalable methods for verifying quantum programs. It brings together formal methods , programming language theory, and complex arithmetic to address the reliable analysis of quantum software. The research is suited to students interested in the intersection of computer science, mathematics, quantum computing, and rigorous...
5 days ago
Malmö University
Sweden
2 days ago
PhD project: Cross-organizational continuous compliance Malmö University is recruiting a doctoral student in Computer Science at the Faculty of Technology and Society. The project examines how organizations can achieve continuous regulatory compliance across software and business ecosystems in which products, services, data and components are supplied by multiple partners, suppliers and customers. Modern regulations, including the Cyber Resilience Act and the EU AI Act, increasingly make compani...
2 days ago
Lund University
Sweden
4 days ago
Lund University’s Department of Computer Science is seeking a doctoral student in computer science to research program transformation and software evolution within the Software Development and Environments division at LTH. The project aims to develop tools and techniques that provide rigid guard-rails for software refactoring and other forms of software evolution. Because program transformations may be produced unreliably by human developers or large language models, the research will investigat...
4 days ago
Blekinge Institute of Technology
Sweden
2 days ago
The PhD project is hosted by the Department of Software Engineering at Blekinge Institute of Technology and is connected to SERL Sweden – Software Engineering Research and Education Lab Sweden , a research and education environment with a long tradition in software engineering. The department is described as an international environment with around 50 staff from 20 countries, and the position sits within a strong research setting that has developed from Sweden’s first software engineering educat...
2 days ago
About this position
This postdoctoral project sits in automated program verification at the Department of Information Technology, Uppsala University, within the Division of Computing Science and the Programming Languages group.
The research is focused on making it easier for developers to write correct and efficient numerical programs. A central challenge is floating-point rounding error, and the project explores ways to verify numerical code that is widely used in safety-critical embedded systems, data analysis, weather forecasting, physics, and engineering.
The position combines theory and implementation. On the theory side, the successful candidate will help develop new automated verification techniques for numerical programs. On the implementation side, the work aims at practical tools and methods that can be used on real-world code. The advert also highlights related directions such as specification inference, fault localisation, and optimisation approaches that improve the usability of verifiers.
The Programming Languages group provides the research environment for the postdoc. It is described as a collaborative group with senior researchers and PhD students working on programming language design, program verification, and software engineering, and it meets regularly in a supportive setting.
The role includes research administration and participation in project meetings, and may include some teaching within the department depending on interest and course availability.
Funding details
Available
What's required
A PhD degree in computer science or a closely relevant field such as programming languages, program verification, or software engineering, or a foreign degree equivalent to a Swedish PhD in the subject, must be obtained by the time of the employment decision. Priority is given to candidates who completed their degree no more than three years before the application deadline, though this period may be extended for special circumstances such as sick leave, parental leave, or union duties. Applicants must have fluent written and spoken English and good programming skills. Preference is also given to candidates who are responsible, self-motivated, independent in research, able to work well in a research group, and able to publish in high-quality venues and present at conferences and scientific meetings.
How to apply
Submit a cover letter stating your motivation and earliest possible start date, a CV, a research statement, copies of relevant diplomas and grades, a publication list, and contact details for at least two references. Apply through the Varbi application link by the deadline.
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts and confirm requirements with the university.
Professors
Associate Professor at Uppsala University
Sweden
Research Interests
Biostatistics
Computational Neuroscience
Computer Science
Programming Language
Software Engineering
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts and confirm requirements with the university.