Postdoktor inom automatiserad verifiering och felsökning av numerisk kod

Vill du arbeta med automatiserad programverifiering och/eller mjukvaruutveckling, 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? Välkommen att söka anställning som doktorand på 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.

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

Projektbeskrivning och arbetsuppgifter
Tjänsten är en del av ERC Starting grant-projektet HORNET om praktiskt användbara automatiserade verifierings- och felsökningstekniker för numeriska program. Dessa program används i stor utsträckning i säkerhetskritiska system, dataanalys, väderprognoser, fysik, teknik med mera, men att verifiera och felsöka deras noggrannhet och tillförlitlighet idag är utmanande på grund av avrundningsfel och begränsningar hos nuvarande verktyg. En aspekt som detta projekt fokuserar på är noggrannheten hos program med ändlig precision med avseende på en programspecifikation som använder reella tal (och som därmed är felfri). Möjliga konkreta forskningsinriktningar som postdoktorn kan vara involverad i inkluderar automatiserad programverifiering, specifikationsinferens, fellokalisering, praktisk användbarhet etc. i samband med numeriska program med ändlig precision. Projekten omfattar vanligtvis både utveckling av nya tekniker, såväl som implementationer som kan användas praktiskt. Postdoktorkandidaten förväntas arbeta både självständigt och i samarbete med andra gruppmedlemmar och externa samarbetspartners.

Rollen inkluderar även forskningsadministration, deltagande i projektmöten och kan innefatta upp till 20 % undervisning inom institutionens kursutbud (beroende på kandidatens intressen och kurstillgänglighet). Vi uppmuntrar alla intresserade kandidater som uppfyller kvalifikationskraven att söka, även om deras tidigare erfarenhet inte är exakt i linje med detta projekts ämne. Vi granskar alla ansökningar noggrant och söker kandidater som kan bidra till projektets mål.

Kvalifikationskrav
Doktorsexamen i datavetenskap inom ett för tjänsten relevant område såsom programverifiering, programvaruteknik eller programmeringsspråk eller en utländsk examen som bedöms motsvara doktorsexamen i datavetenskap inom ett för tjänsten relevant område såsom programverifiering, programvaruteknik eller programmeringsspråk. 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.

Flytande engelska i både skrift och tal, samt goda programmeringskunskaper är också ett krav.

Önskvärt/meriterande i övrigt
Vi söker en postdoktorkandidat som är ansvarstagande, självgående och som har visat självständighet i forskningen och som samtidigt fungerar väl i en forskargrupp. Tonvikt kommer också att läggas vid förmågan att publicera vetenskapligt arbete i högkvalitativa tidskrifter eller konferenser och att hålla presentationer vid konferenser och vetenskapliga möten. 

Ansökningsförfarande
Ansökan ska innehålla:

• ett personligt brev som kortfattat beskriver din motivation för att söka denna tjänst och detta projekt samt anger det tidigaste möjliga anställningsdatumet (max 1 sida);
• ett curriculum vitae (CV);
• en kopia av relevanta examina och betyg (översatta till svenska eller engelska, t.ex. enligt ditt universitet);
• en lista över publikationer (kan ingå i CV);
• en forskningsbeskrivning som beskriver din tidigare forskningserfarenhet och aktuella forskningsintressen (max två sidor);
• kontaktinformation till minst två referenser (inkludera inte referensbrev).

Om anställningen 
Anställningen är tidsbegränsad i två år enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde 2025-03-01 eller enligt överenskommelse. Placeringsort: Uppsala

Upplysningar om anställningen lämnas av: Universitetslektor Eva Darulova, e-mail: eva.darulova@it.uu.se.


Välkommen med din ansökan senast den2 december 2024 , UFV-PA 2024/3699.