[TYPES/announce] PhD Position in Parametric Floating-Point Reasoning at Uppsala

[Tjark Weber]

[Apologies for multiple copies. Please share with qualified students.]

The Department of Information Technology at Uppsala University (Sweden)
is advertising a PhD position in the area of automated reasoning and
interactive theorem proving for floating-point numbers:

https://urldefense.com/v3/__https://uu.varbi.com/en/what:job/jobID:832747/__;!!IBzWLUs!TcRZFoqsRJTPOP7VkDA3CbdOEMNtaTisgwcxjTz7bS9Tql_xTqYrDvApmg03OdlNQyZHrhI4ol6346Ha9R1gCXBRkeQcC_BYIjce$ 

The application deadline is 11 August, 2025.

PhD students are regular employees in Sweden with all benefits that
come with that (health care, paid vacation days, parental leave etc.).
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.

Best,
Tjark








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!TcRZFoqsRJTPOP7VkDA3CbdOEMNtaTisgwcxjTz7bS9Tql_xTqYrDvApmg03OdlNQyZHrhI4ol6346Ha9R1gCXBRkeQcC9nd7XyW$ 

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!TcRZFoqsRJTPOP7VkDA3CbdOEMNtaTisgwcxjTz7bS9Tql_xTqYrDvApmg03OdlNQyZHrhI4ol6346Ha9R1gCXBRkeQcCxK78NuP$