Postdoktor inom villkorsprogrammering och pseudo-boolesisk lösning
Uppsala Universitet
📍 Uppsala
⏰ Heltid
📋 Vanlig anställning
🗓 Ansök senast 27 maj 2026
✦ Få fler intervjuer
Generera ett personligt brev anpassat för just den här rollen — på under en minut.
Skapa ansökan – från 49 kr Gratis att söka · Ingen registrering · Premium 49 kr/månOm jobbet
Vill du arbeta med villkorsprogrammering, med stöd av kompetenta och trevliga kollegor i en 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 postdoktor 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.
Postdok-tjänsten är på avdelningen för datalogi, specifikt inom optimeringsgruppen.
Projektbeskrivning och Arbetsuppgifter
Projektets främsta syfte är att utveckla en lösare för villkorsprogrammering med hjälp av både lata klausuler och pseudo-boolesiska metoder.
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).
Kvalifikationskrav
Doktorsexamen i datavetenskap särskilt inom ett för tjänsten relevant område såsom villkorsprogrammering eller en utländsk examen som bedöms motsvara doktorsexamen i ovanstående ämnen. 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. Kunskap om och erfarenhet av design av lösare för villkorsprogrammering med lata klausuler. Goda kunskaper i programmering i Rust. Fördjupad kunskap om boolesk och pseudo-boolesk inkodning av högnivå-villkor för villkorsprogrammering. Erfarenhet av datorstödd teorembevisning med Lean.
Önskvärt/meriterande i övrigt
Vi söker en postdok-kandidat 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 tidsskrifter 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 och sex månader enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde augusti 2026 eller enligt överenskommelse. Placeringsort: Uppsala
Upplysningar om anställningen lämnas av: Justin Pearson , Tel. +46 18 471 7292 e-mail: justin.pearson@it.uu.se
Välkommen med din ansökan senast den 27 maj 2026, UFV-PA 2026/1614.
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.
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/
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.
Fackliga företrädare: Saco-S - saco-s@uu.se, Seko - seko@uadm.uu.se, ST (OFR/S) - ofr@uu.se
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.
Postdok-tjänsten är på avdelningen för datalogi, specifikt inom optimeringsgruppen.
Projektbeskrivning och Arbetsuppgifter
Projektets främsta syfte är att utveckla en lösare för villkorsprogrammering med hjälp av både lata klausuler och pseudo-boolesiska metoder.
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).
Kvalifikationskrav
Doktorsexamen i datavetenskap särskilt inom ett för tjänsten relevant område såsom villkorsprogrammering eller en utländsk examen som bedöms motsvara doktorsexamen i ovanstående ämnen. 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. Kunskap om och erfarenhet av design av lösare för villkorsprogrammering med lata klausuler. Goda kunskaper i programmering i Rust. Fördjupad kunskap om boolesk och pseudo-boolesk inkodning av högnivå-villkor för villkorsprogrammering. Erfarenhet av datorstödd teorembevisning med Lean.
Önskvärt/meriterande i övrigt
Vi söker en postdok-kandidat 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 tidsskrifter 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 och sex månader enligt centralt kollektivavtal. Omfattningen är heltid. Tillträde augusti 2026 eller enligt överenskommelse. Placeringsort: Uppsala
Upplysningar om anställningen lämnas av: Justin Pearson , Tel. +46 18 471 7292 e-mail: justin.pearson@it.uu.se
Välkommen med din ansökan senast den 27 maj 2026, UFV-PA 2026/1614.
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.
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/
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.
Fackliga företrädare: Saco-S - saco-s@uu.se, Seko - seko@uadm.uu.se, ST (OFR/S) - ofr@uu.se