Doktorand med fokus på skalbar verifiering av kvantprogram
Uppsala University
Get a reply from this employer
Your resume and cover letter, tailored to exactly what they’re hiring for.
Job summary
Uppsala universitet söker en doktorand vid Institutionen för informationsteknologi att arbeta med formell verifiering och kvantprogramvaruteknik. Du kommer att ligga i en forskningsmiljö med erkända experter och leda din egen forskarutbildning.
Övrig undervisning och administrativt arbete kan tillkomma upp till 20%. Tillträde enligt överenskommelse; placering i Uppsala.
Qualifications
- Avancerad behörighet inom datavetenskap eller matematik eller motsvarande.
- Minst 240 högskolepoäng inkl. avancerad nivå och självständigt arbete.
Responsibilities
- Doktoranden kommer främst att ägna sig åt sin egen forskarutbildning.
- Övrig tjänstgöring vid institutionen kan ingå upp till 20%.
- Arbetet sker i en internationell miljö med fokus på kvantprogramverifiering.
Skills
Education
Tools
Job description
Vill du arbeta med formell verifiering och programmeringsspråkstekniker tillämpade på kvantsystem, 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 doktorand vid Institutionen för informationsteknologi, Uppsala universitet.
Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Vi är i dag Uppsala universitets tredje största institution och har i dag drygt 350 anställda varav 120 lärare och 120 doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på institutionens webbplats.
Tjänsten är placerad i en forskningsmiljö som omfattar verifieringsexperter (Parosh Abdulla, Mohammed Faouzi Atig, Bengt Jonsson, Philipp Ruemmer, Kostis Sagonas, Wang Yi) samt experter på programmeringsspråk (Johannes Borgström, Eva Darulova, Lars-Henrik Erikson, Sofia Ouhbi, Tjark Weber, Tobias Wrigstad). Institutionen är känd för både sitt starka teoretiska arbete och sin verktygsutveckling inom dessa områden (UPPAAL, Concuerror, Nidhugg och andra verktyg) och publicerar i ledande konferenser som POPL, PLDI, ICALP och CAV.
I takt med att både privata och offentliga investeringar i kvantdatorer fortsätter att öka, har den stadiga uppgraderingen av kvantmaskinvara (som nu når tusentals kubiter) resulterat i alltmer sofistikerade kvantprogramvarupipelines. Med tanke på den strategiska användningen av kvantprogramvara (t.ex. inom säkerhet) finns det ett akut behov av att verifiera tillförlitligheten hos kvantprogram i stor skala. Funktioner i moderna kvantprogram, såsom kvantfelkorrigering, resulterar i hybridkvant-klassiska arkitekturer, vilket medför nya utmaningar för verifiering. Nuvarande verktyg och tekniker erbjuder inte den önskade kombinationen av skalbarhet, automatisering och garantier för att verifiera sådana program. Projektet syftar till att åtgärda denna brist genom att kombinera tekniker från klassisk verifiering och programmeringsspråksteori med tekniker för komplex aritmetik, i syfte att bidra med både teoretiska insikter och programvaruartefakter som för framåt den senaste tekniken inom kvantprogramverifiering.
Doktoranden kommer främst att ägna sig åt den egna forskarutbildningen. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, kan ingå inom ramen för anställningen (max 20%).
Grundläggande behörighet har den som:
- avlagt examen på avancerad nivå inom datavetenskap eller matematik eller ett relaterat område, eller
- fullgjort minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå inklusive ett självständigt arbete om minst 15 högskolepoäng, eller
- på något annat sätt inom eller utom landet förvärvat i huvudsak motsvarande kunskaper.
Högskolan får för en enskild sökande medge undantag från kravet på grundläggande behörighet, om det finns särskilda skäl. (7 kap. 39 § HF). För särskild behörighet, se studieplanen för ämnet.
Vi söker kandidater med:
- utmärkt problemlösningsförmåga,
- hög motivation och förmåga att arbeta ihärdigt med svåra problem,
- intresse för programmering,
- god kommunikationsförmåga med tillräckliga kunskaper i muntlig och skriftlig engelska,
- förmåga att arbeta både självständigt och i samarbete med andra.
Erfarenhet eller kurser inom ett eller flera av följande områden är meriterande: formella metoder, programmeringsspråksteori eller semantik, logik, automatateori, automatiserad teorembevisning och kvantberäkning.
Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer.
Ansökan ska innehålla:
- Ett personligt brev (max 2 sidor) där du beskriver din motivation, dina forskningsintressen, en kort sammanfattning av din masteruppsats (eller motsvarande projekt) och tidigast möjliga startdatum. Ange också kontaktuppgifter till minst en referens (referensbrev krävs inte i detta skede).
- Ett CV.
- Examensbevis och betyg (officiellt översatta till engelska eller svenska).
- Masteruppsatsen (eller utkast), publikationer och andra relevanta rapporter som sökanden själv har producerat.
Lovande sökande kommer att kallas till intervju innan anställningsbeslut fattas.
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde 15 januari 2027 eller enligt överenskommelse. Placeringsort: Uppsala
Biträdande universitetslektor Ramanathan Thinniyam Srinivasan, email: ramanathan.s.thinniyam@it.uu.se
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
Vill du arbeta med formell verifiering och programmeringsspråkstekniker tillämpade på kvantsystem, 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 doktorand vid Institutionen för informationsteknologi, Uppsala universitet.
Institutionen för informationsteknologi har en ledande position inom såväl forskning som utbildning på alla nivåer. Vi är i dag Uppsala universitets tredje största institution och har i dag drygt 350 anställda varav 120 lärare och 120 doktorander. C:a 5000 grundutbildningsstudenter läser en eller flera kurser vid institutionen varje år. Mer information om oss hittar du på institutionens webbplats.
Tjänsten är placerad i en forskningsmiljö som omfattar verifieringsexperter (Parosh Abdulla, Mohammed Faouzi Atig, Bengt Jonsson, Philipp Ruemmer, Kostis Sagonas, Wang Yi) samt experter på programmeringsspråk (Johannes Borgström, Eva Darulova, Lars-Henrik Erikson, Sofia Ouhbi, Tjark Weber, Tobias Wrigstad). Institutionen är känd för både sitt starka teoretiska arbete och sin verktygsutveckling inom dessa områden (UPPAAL, Concuerror, Nidhugg och andra verktyg) och publicerar i ledande konferenser som POPL, PLDI, ICALP och CAV.
I takt med att både privata och offentliga investeringar i kvantdatorer fortsätter att öka, har den stadiga uppgraderingen av kvantmaskinvara (som nu når tusentals kubiter) resulterat i alltmer sofistikerade kvantprogramvarupipelines. Med tanke på den strategiska användningen av kvantprogramvara (t.ex. inom säkerhet) finns det ett akut behov av att verifiera tillförlitligheten hos kvantprogram i stor skala. Funktioner i moderna kvantprogram, såsom kvantfelkorrigering, resulterar i hybridkvant-klassiska arkitekturer, vilket medför nya utmaningar för verifiering. Nuvarande verktyg och tekniker erbjuder inte den önskade kombinationen av skalbarhet, automatisering och garantier för att verifiera sådana program. Projektet syftar till att åtgärda denna brist genom att kombinera tekniker från klassisk verifiering och programmeringsspråksteori med tekniker för komplex aritmetik, i syfte att bidra med både teoretiska insikter och programvaruartefakter som för framåt den senaste tekniken inom kvantprogramverifiering.
Doktoranden kommer främst att ägna sig åt den egna forskarutbildningen. Övrig tjänstgöring vid institutionen, som avser undervisning och administrativt arbete, kan ingå inom ramen för anställningen (max 20%).
Grundläggande behörighet har den som:
- avlagt examen på avancerad nivå inom datavetenskap eller matematik eller ett relaterat område, eller
- fullgjort minst 240 högskolepoäng, varav minst 60 högskolepoäng på avancerad nivå inklusive ett självständigt arbete om minst 15 högskolepoäng, eller
- på något annat sätt inom eller utom landet förvärvat i huvudsak motsvarande kunskaper.
Högskolan får för en enskild sökande medge undantag från kravet på grundläggande behörighet, om det finns särskilda skäl. (7 kap. 39 § HF). För särskild behörighet, se studieplanen för ämnet.
Vi söker kandidater med:
- utmärkt problemlösningsförmåga,
- hög motivation och förmåga att arbeta ihärdigt med svåra problem,
- intresse för programmering,
- god kommunikationsförmåga med tillräckliga kunskaper i muntlig och skriftlig engelska,
- förmåga att arbeta både självständigt och i samarbete med andra.
Erfarenhet eller kurser inom ett eller flera av följande områden är meriterande: formella metoder, programmeringsspråksteori eller semantik, logik, automatateori, automatiserad teorembevisning och kvantberäkning.
Bestämmelser för doktorander återfinns i Högskoleförordningen 5 kap §§ 1-7 samt i universitetets regler och riktlinjer.
Ansökan ska innehålla:
- Ett personligt brev (max 2 sidor) där du beskriver din motivation, dina forskningsintressen, en kort sammanfattning av din masteruppsats (eller motsvarande projekt) och tidigast möjliga startdatum. Ange också kontaktuppgifter till minst en referens (referensbrev krävs inte i detta skede).
- Ett CV.
- Examensbevis och betyg (officiellt översatta till engelska eller svenska).
- Masteruppsatsen (eller utkast), publikationer och andra relevanta rapporter som sökanden själv har producerat.
Lovande sökande kommer att kallas till intervju innan anställningsbeslut fattas.
Anställningen är tidsbegränsad, enligt HF 5 kap § 7. Omfattningen är heltid. Tillträde 15 januari 2027 eller enligt överenskommelse. Placeringsort: Uppsala
Biträdande universitetslektor Ramanathan Thinniyam Srinivasan, email: ramanathan.s.thinniyam@it.uu.se
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
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
