Postdoctoral position in Practically Usable Verification for Numerical Programs

The Department of Information Technology at Uppsala University invites applications for a postdoctoral position focused on automated program verification for numerical programs. The successful candidate will work on developing new techniques for ensuring the correctness of numerical programs, particularly in safety-critical applications. This role offers a collaborative environment and opportunities for teaching. Applicants should hold a PhD in a relevant field and demonstrate strong programming skills. The position is temporary for two years, starting February 1, 2027.