PhD position in program verification at Uppsala University

by Eva Darulova, March 22, 2024

Open PhD position at Uppsala University (Sweden) on verifying real-world numerical programs

The project will explore, develop and combine different static and dynamic verification techniques with the ultimate ambition to make it easier for developers to write correct numerical code.

The PhD position is hosted within the Programming Languages group that currently consists of 6 faculty and 7 PhD students that are working on different aspects of programming language design, verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment.

Sweden is a fantastic place for living and working. Swedes are friendly and speak excellent English. The quality of life is high, with a strong emphasis on outdoor activities. PhD students are full employees, with competitive salaries, pension provision and 28 days of paid leave per year. Healthcare is free after a small co-pay and parental benefits in Sweden are among the best in the world.

More information about the position and link to the application portal can be found here:

Deadline to apply is 26 April.

Please contact Eva Darulova ([email protected]) for more details.