Uppsala University is recruiting a postdoc to develop automated verification techniques for numerical programs dealing with floating-point arithmetic, targeting applications in safety-critical systems, data analysis, and engineering. Responsibilities also include research administration, participation in project meetings, and up to 20% teaching.
This is a full-time, temporary two-year position starting February 1, 2027 or as agreed, supervised by Associate Professor Eva Darulova. The application deadline is November 13, 2026 (reference UFV-PA 2026/2902).
Text as published by the employer. Always confirm details on the employer's site.