[TYPES/announce] PhD position in program verification at Uppsala University

[Eva Darulova]

I am looking for a PhD student to work with me 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: https://urldefense.com/v3/__https://www.jobb.uu.se/details/?positionId=711470__;!!IBzWLUs!RucZwcbRkJlTOkz4dTs65HdGLd5KybWyo6yD6TZUyQbNN-ot5ECSPlK7be-B1L5xOKitEtQivSFX2xKP5uTrLsBrf4qFxY4ZmxtEHw$ 

Deadline to apply is 26 April.

Please contact Eva Darulova (eva.darulova at it.uu.se) for more details.