Postdoctoral position in Practically Usable Verification for Numerical Programs

Postdoctoral Position in Practically Usable Verification for Numerical Programs Are you interested in working in automated program verification 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 postdoctoral position at the Department of Information Technology at Uppsala University. The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department, and have around 350 employees, including 120 teachers and 120 PhD students.