Ved Det Tekniske Fakultet for IT og Design, Institut for Datalogi, er en fuldt finansieret postdoc-stilling ledig inden for området designautomatisering/software-stack til kvantecomputere og kvantekommunikation. Stillingen vil blive placeret på Aalborg Universitets campus i Aalborg. Stillingen tilbydes i første omgang for et år med mulighed for forlængelse. Den forventede startdato er 1. februar 2027 eller snarest derefter.
Kandidaten vil blive en del af sektionen Distributed, Embedded and Intelligent Systems https://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/ og forskningsgruppen Quantum Systems Analysis and Synthesis https://www.cs.aau.dk/research/research-groups/quantum-systems-analysis-and-synthesis-qsas.
Institut for Datalogi tilbyder en bred vifte af synergistiske aktiviteter inden for forskning og uddannelse på det generelle datalogiske område. Dette inkluderer nysgerrighedsdreven forskning og målrettet forskning i samarbejde med industripartnere, traditionel universitetsuddannelse med et unikt problem- og projektbaseret fokus, samt efteruddannelse og videnformidling.
Kandidaten vil blive vejledt af Kim Guldstrand Larsen, Jiri Srba og Christian Schilling.
Arbejdsopgaver
Kandidaten vil deltage i et samarbejdsprojekt. Afhængigt af kandidatens baggrund og præferencer vil dette være et projekt, der også inkluderer partnere fra Aarhus Universitet og industrien, eller et projekt, der involverer andre institutter på Aalborg Universitet.
Projekterne består af flere opgaver, som kort skitseres nedenfor. Det er ikke forventet, at kandidaten arbejder på alle opgaver. De konkrete opgaver vil blive aftalt med vejlederne ud fra kandidatens baggrund og præferencer.
Opgave 1: Syntese af kvantekredsløb. Aalborg Universitet har til hensigt at anvende forstærkningslæring. Denne opgave vil omfatte overvejelser om gennemførlighed og skalerbarhed (f.eks. omtrentlige løsninger, anvendelse af symbolske datastrukturer).
Opgave 2: Simulation af kvantekredsløb med høj-niveau struktur og under støjende forhold. Denne opgave vil omfatte udvidelsen af nyere arbejde med modelreduktion anvendt på kvantekredsløb. Udvidelsen vil dække kvanteprogrammer med sløjfer og forskellige støjefekter.
Opgave 3: Ækvivalenskontrol af kvantekredsløb. Denne opgave vil omfatte identifikation af passende målinger for omtrentlig ækvivalens og algoritmer til effektivt at beregne approksimationsafstande. En potentiel retning er generaliseringen til parallelle GPU-beregninger.
Opgave 4: Korrekthedsevaluering af kvantekommunikationssystemer og kvanteprotokoller. Denne opgave vil omfatte tilgange såsom statistisk modelkontrol og konform forudsigelse for effektivt at vurdere et givet design og identificere fejl eller flaskehalse.
Opgave 5: Design og semantik for distribuerede kvanteprogrammerings- og modelleringssprog. Denne opgave vil omfatte udvikling af sprogfunktioner og formel semantik for programmering og modellering af distribuerede kvantesystemer, hvilket muliggør korrekt sammensætning, kommunikation og verifikation af kvanteprocesser på tværs af flere noder.
Kvalifikationskrav
Ansættelse som postdoc kræver akademiske kvalifikationer på ph.d.-niveau. På grund af projektets vinkel bør kandidaten have en stærk baggrund inden for mindst et af følgende områder: teoretisk datalogi (f.eks. formelle metoder, designautomatisering, algoritmer) og forstærkningslæring. Kandidaten bør være åben over for praktiske computerbaserede eksperimenter. Fremragende mundtlige og skriftlige kommunikationsevner på engelsk forventes.
Sådan ansøger du
Ansøgningen skal indeholde følgende:
- Et motiveret ansøgningsbrev (én side), der angiver (1) foretrukken startdato, (2) årsager til at søge, og (3) intentioner og visioner for stillingen
- Curriculum vitae (CV)
- Diplomer og karakterudskrifter
- Liste over publikationer, med mulighed for at vedhæfte op til fem publikationer, der er relevante for stillingen
Interesserede kan læse mere om kravene til ansøgningen.
Ansøgningen skal indsendes via Aalborg Universitets rekrutteringssystem, som kan tilgås under jobopslaget på Aalborg Universitets hjemmeside.
Aalborg Universitet ønsker at afspejle det omgivende samfund og har diversitet som kerneværdi. Derfor opfordres alle, uanset personlig baggrund og orientering, til at søge stillingen.
