[TYPES/announce] Up to two PhD positions plus up to two postdoc positions in programming languages and/or program verification

[Tobias Wrigstad]

The programming languages group at Uppsala University is opening PhD and postdoc positions in projects related to verification of numerical programs, techniques for memory-safe programming, or concurrency safety. (More information in the links below.)

PhD position information

Position type: Full time (5 years) with 80% research and 20% teaching.
Salary: SEK (Swedish Crowns) current starting salary is 34 800 per month (increased automatically every year) plus benefits such as pension, paid vacation, paid sick leave, parental leave, etc.
Webpage for applying: https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:885198/__;!!IBzWLUs!Rt1MVshAaILIacRi9qD0Y4qNUGtbwubqNDckuQYLrBNlf7hcJMFrhdRXm87dNaLAX3BoJ4kGb0Xrf1zixhAsSAoKfR4CpKCSkdYtCt22Vw$ 

Postdoc position information

Position type: Full time (2 years).
Salary: SEK (Swedish Crowns) expected starting salary is 40 000–41 000 per month plus benefits such as pension, paid vacation, paid sick leave, parental leave, etc.
Webpage for applying: https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:885201/__;!!IBzWLUs!Rt1MVshAaILIacRi9qD0Y4qNUGtbwubqNDckuQYLrBNlf7hcJMFrhdRXm87dNaLAX3BoJ4kGb0Xrf1zixhAsSAoKfR4CpKCSkdYcpyh7qw$ 

Common information

Applications deadline: 30 January 2026

Starting date: 1 April 2026 or as agreed
Information about the university and living and working in Sweden: https://urldefense.com/v3/__https://www.uu.se/en/about-uu/join-us__;!!IBzWLUs!Rt1MVshAaILIacRi9qD0Y4qNUGtbwubqNDckuQYLrBNlf7hcJMFrhdRXm87dNaLAX3BoJ4kGb0Xrf1zixhAsSAoKfR4CpKCSkdbCVnlzzA$ 


------------------------------------------------------------
Tobias Wrigstad, Professor
Distinguished University Teacher
Head of Education
Department of Information Technology
Uppsala University, Sweden
Email:  tobias.wrigstad at it.uu.se
Web:    https://urldefense.com/v3/__http://wrigstad.com__;!!IBzWLUs!Rt1MVshAaILIacRi9qD0Y4qNUGtbwubqNDckuQYLrBNlf7hcJMFrhdRXm87dNaLAX3BoJ4kGb0Xrf1zixhAsSAoKfR4CpKCSkdbWPxGAig$ 











När du har kontakt med oss på Uppsala universitet med e-post så innebär det att vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du läsa här: https://urldefense.com/v3/__http://www.uu.se/om-uu/dataskydd-personuppgifter/__;!!IBzWLUs!Rt1MVshAaILIacRi9qD0Y4qNUGtbwubqNDckuQYLrBNlf7hcJMFrhdRXm87dNaLAX3BoJ4kGb0Xrf1zixhAsSAoKfR4CpKCSkda957O14w$ 

E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: https://urldefense.com/v3/__http://www.uu.se/en/about-uu/data-protection-policy__;!!IBzWLUs!Rt1MVshAaILIacRi9qD0Y4qNUGtbwubqNDckuQYLrBNlf7hcJMFrhdRXm87dNaLAX3BoJ4kGb0Xrf1zixhAsSAoKfR4CpKCSkdZtvh-IAA$