Postdoktor i AI-driven formell kodverifiering

Kungliga Tekniska Högskolan; Stockholms kommun; Vor Ort; SEK 430.000 - 550.000; Vollzeit

Zusammenfassung

Kungliga Tekniska Högskolan söker en postdoktor inom AI och formell verifiering. Du kommer att utforska hur AI kan generera kod och verifiera dess korrekta funktioner. Tjänsten erbjuder en möjlighet att bidra till banbrytande forskning inom området.

För att ansöka krävs en doktorsexamen eller motsvarande och en förmåga att arbeta både självständigt och i team. Anställningen är tidsbegränsad till högst två år.

Qualifikationen

• Avlagd doktorsexamen innan anställningsbeslut.
• God förmåga att samarbeta med forskare.
• Hög grad av självständighet.

Aufgaben

• Undersöka AI-baserad kodgenerering.
• Formellt verifiera kodens funktionalitet.
• Kombinera AI med formella metoder för programvarutillverkning.

Kenntnisse

Förmåga att samarbeta

Självständighet i arbetet

Medvetenhet om mångfaldsfrågor

Ausbildung

Doktorsexamen eller motsvarande

Jobbeschreibung

Kungliga Tekniska Högskolan söker en postdoktor inom AI och formell verifiering. Du kommer att utforska hur AI kan generera kod och verifiera dess korrekta funktioner. Tjänsten erbjuder en möjlighet att bidra till banbrytande forskning inom området.

För att ansöka krävs en doktorsexamen eller motsvarande och en förmåga att arbeta både självständigt och i team. Anställningen är tidsbegränsad till högst två år.