Postdoc: Practical Verification for Numerical Software

Uppsala Universitet; Uppsala kommun; On-site; SEK 540,000 - 660,000; Full time

Job summary

Uppsala universitet söker en postdoktor inom praktisk användbar verifiering för numerisk kod vid Institutionen för informationsteknologi. Du kommer att arbeta i ett ledande, internationellt forskningsmiljö och bidra till både teoretiska och praktiska insatser inom programverifiering.

Anställningen är två år, heltid, med möjlighet till undervisning upp till 20% samt forskningadministration. Kvalifikationer är doktorsexamen i datavetenskap och starka programmeringskunskaper; engelska på avancerad

Qualifications

• Doktorsexamen i datavetenskap eller motsvarande examen som uppfyller krav.
• Goda programmeringskunskaper krävs.
• Kandidaten ska kunna kommunicera flytande på engelska och uttrycka sig väl inom forskningsområdet.

Responsibilities

• Utföra forskning inom automatiserad programverifiering av numeriska program.
• Delta i projektmöten och bidra till forskningens administration.
• Delta i undervisning upp till 20% enligt behov och intresse.
• Publicera forskningsarbeten i kvalitativa forum och konferenser.

Skills

Programmering

Engelska flytande

Education

Doktorsexamen i datavetenskap

Job description

Uppsala universitet söker en postdoktor inom praktisk användbar verifiering för numerisk kod vid Institutionen för informationsteknologi. Du kommer att arbeta i ett ledande, internationellt forskningsmiljö och bidra till både teoretiska och praktiska insatser inom programverifiering.

Anställningen är två år, heltid, med möjlighet till undervisning upp till 20% samt forskningadministration. Kvalifikationer är doktorsexamen i datavetenskap och starka programmeringskunskaper; engelska på avancerad