PhD student in Computing Science focusing on the topic of Parametric Floating-Point Reasoning
Are you interested in working in automated reasoning and/or interactive theorem proving, with the support of competent and friendly colleagues in an international environment? Are you looking for an employer that invests in sustainable employeeship and offers safe, favorable working conditions? We welcome you to apply for a PhD position at Uppsala University. The Department … Read more