Postdoktor i AI-driven formell kodverifiering

Kungliga Tekniska Högskolan; Stockholms kommun; On-site; SEK 430,000 - 550,000; Full time

Job summary

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.

Qualifications

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

Responsibilities

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

Skills

Förmåga att samarbeta

Självständighet i arbetet

Medvetenhet om mångfaldsfrågor

Education

Doktorsexamen eller motsvarande

Job description

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.