Postdoctoral Researcher in Practical Verification of Numerical Code

Responsibilities

• ▹Research new automated program verification techniques for numerical programs, which are hard to verify because of rounding errors in floating-point arithmetic
• ▹Develop specification inference, fault localization or optimization methods that make verification tools practical for real code
• ▹Develop theoretical methods and practical implementations
• ▹Research administration and participation in project meetings
• ▹Up to 20% teaching within the department's course offering, depending on interest and available courses

Requirements

• ▹PhD in computer science in a relevant area such as programming languages, program verification or software engineering, or an equivalent foreign degree
• ▹The degree must be completed by the time of the hiring decision; priority goes to those who graduated no more than three years ago
• ▹Fluent English, with advanced spoken and written ability in the research topic
• ▹Good programming skills

Nice to have

• ▹Independence in research and good collaboration in a research group
• ▹Ability to publish in high-quality venues and present at conferences

Soft skills

What we offer

• ▹Secure, favorable employment terms and sustainable employeeship at the university
• ▹Two-year fixed-term full-time position under the central collective agreement

About the company

Uppsala University is a broad research university with a strong international standing. The Department of Information Technology is the university's third largest, and its programming languages group works on language design, verification and software engineering.