PhD Researcher: Quantum Program Verification

Uppsala Universitet; Uppsala kommun; Presencial; SEK 360.000 - 480.000; Jornada completa

Descripción de la vacante

Uppsala universitet söker en doktorand vid Institutionen för informationsteknologi för arbete med formell verifiering och programmeringsspråkstekniker tillämpade på kvantsystem. Projektet kombinerar klassisk verifiering och programspråksteori med kvantberäkning för att leverera nya insikter och verktygsartefakter.

Tjänsten är tidsbegränsad, heltid, med tillträde 15 januari 2027 eller enligt överenskommelse. Placering: Uppsala.

Formación

• Grundläggande behörighet enligt högskolans regler.
• Utmärkt problemlösningsförmåga och hög motivation att arbeta med svåra problem.
• Intresse för programmering och god kommunikation på engelska.
• Förmåga att arbeta självständigt och i samarbete med andra.
• Meriterande inom formella metoder, kvantverifiering och relaterade områden.

Responsabilidades

• Doktoranden kommer främst att ägna sig åt den egna forskarutbildningen.
• Övrig tjänstgöring vid institutionen kan förekomma upp till 20% i samband med undervisning och administration.

Conocimientos

Problemlösningsförmåga

motivation

Programmering

Kommunikationsförmåga

Självständigt arbete

Educación

Avancerad nivå i datavetenskap eller matematik

240 högskolepoäng inkl. självständigt arbete

Herramientas

Formella metoder

Programmeringsspråksteori

Logik

Automatatheori

Automatiserad theorem proving

Kvantberäkning

Descripción del empleo

Uppsala universitet söker en doktorand vid Institutionen för informationsteknologi för arbete med formell verifiering och programmeringsspråkstekniker tillämpade på kvantsystem. Projektet kombinerar klassisk verifiering och programspråksteori med kvantberäkning för att leverera nya insikter och verktygsartefakter.

Tjänsten är tidsbegränsad, heltid, med tillträde 15 januari 2027 eller enligt överenskommelse. Placering: Uppsala.