Postdoctoral position in Practically Usable Verification for Numerical Programs

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

Postdoktor inom praktiskt användbar verifiering för numerisk kod

Uppsala universitet, Institutionen för informationsteknologi

Vill du forska inom automatiserad programverifiering, med stöd av kompetenta kollegor i en ledande internationell miljö? Vill du ha en arbetsgivare som satsar på ett hållbart medarbetarskap och erbjuder trygga, förmånliga arbetsvillkor? Då är du välkommen att söka anställning som postdoktor på Institutionen för informationsteknologi vid Uppsala universitet.

Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Vi är idag Uppsala universitets tredje största institution och har i dag drygt 350 anställda varav 120 är lärare och 120 är doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på institutionen för informationsteknologis webbplats .

Postdoktorstjänsten är förlagd på avdelningen för datalogi, specifikt inom programspråksgruppen som för närvarande består av 11 seniora forskare och 10 doktorander som arbetar med olika aspekter av programspråksdesign, verifiering och programvaruteknik. Utöver tekniska samarbeten träffas gruppen regelbundet och erbjuder en engagerande och stödjande miljö.

Projektbeskrivning och arbetsuppgifter
Postdoktortjänsten ingår i ett projekt som syftar till att göra det enklare för utvecklare att skriva korrekta och effektiva numeriska program. Projektet omfattar både en teoretisk del, där nya tekniker och metoder utvecklas, och implementeringar för praktisk användning.

Projektet fokuserar specifikt på numeriska program som förekommer brett, t.ex. i säkerhetskritiska (inbyggda) system, dataanalys, väderprognoser, fysik och ingenjörsvetenskap. Att verifiera att sådana program är korrekta är utmanande på grund av avrundningsfel som uppstår vid flyttalsaritmetik. Möjliga forskningsinriktningar inkluderar utveckling av nya automatiserade programverifieringstekniker specifikt för sådana program, samt metoder för specifikationsinferens, fel-lokalisering eller optimering som gör verifieringsverktyg praktiskt användbara för verklig kod.

Rollen innefattar även forskningsadministration, deltagande i projektmöten och kan omfatta upp till 20% undervisning inom institutionens kursutbud (beroende på kandidatens intresse och tillgängliga kurser). Vi uppmuntrar alla intresserade sökande att söka, även om deras erfarenhet inte helt överensstämmer med projektets ämnesområde. Vi granskar alla ansökningar noggrant och söker kandidater som kan bidra till projektets mål.

Kvalifikationskrav
Doktorsexamen i datavetenskap inom ett område som är relevant för anställningen, såsom programspråk, programverifiering eller programvaruteknik, eller en utländsk examen som motsvarar en svensk doktorsexamen i ämnet. Examen ska vara uppfyllt senast vid tidpunkten då anställningsbeslutet fattas. Främst bör den komma ifråga som har avlagt examen för högst tre år sedan. Vid beräkning av ramtiden om tre år är utgångspunkten sista ansökningsdag. Om det finns särskilda skäl kan sådan examen ha avlagts tidigare. Med särskilda skäl avses ledighet på grund av sjukdom, föräldraledighet, förtroendeuppdrag inom fackliga organisationer, etc.

Kandidaten ska kunna kommunicera flytande på engelska och kunna uttrycka sig på avancerad nivå i tal och skift inom det aktuella forskningsämnet. Goda programmeringskunskaper är också ett krav.

Önskvärt/meriterande i övrigt
Vi söker personer som är ansvarstagande, självgående och har visat prov på självständighet i forskningen, samtidigt som de fungerar väl i en forskargrupp. Stor vikt kommer också att läggas vid förmågan att publicera vetenskapliga arbeten i högkvalitativa forum samt att hålla presentationer vid konferenser och vetenskapliga möten.

Om anställningen
Anställningen är tidsbegränsad i två år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde den 1 februari 2027 eller enligt överenskommelse. Placering: Uppsala.

Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail: [e-mail].

Uppsala universitet är ett brett forskningsuniversitet med stark internationell ställning. Det yttersta målet är att bedriva utbildning och forskning av högsta kvalitet och relevans för att göra skillnad i samhället. Vår viktigaste tillgång är alla 7 500 anställda och 53 000 studenter som med nyfikenhet och engagemang gör Uppsala universitet till en av landets mest spännande arbetsplatser.

Anställningen kan komma att säkerhetsprövas. Vid säkerhetsprövning är en förutsättning för anställning att sökande blir godkänd.

Vi undanber oss erbjudanden om rekryterings- och annonseringshjälp.

Ansökan tas emot i Uppsala universitets rekryteringssystem.

Läs mer om våra förmåner och hur det är att jobba inom Uppsala universitet
https://uu.se/om-uu/jobba-hos-oss/

Fackliga företrädare: Saco-S - [e-mail], Seko - [e-mail], ST (OFR/S) - [e-mail]