Postdoktor inom AI-baserad formellt verifierad kodgenerering
KUNGLIGA TEKNISKA HÖGSKOLAN · Stockholm, Sverige
No te inscribas a ciegas. Mira primero cómo encaja tu CV con este puesto: gratis, en 30 segundos.
Continuarás en la oferta original de la empresa.
- Empresa
- KUNGLIGA TEKNISKA HÖGSKOLAN
- Ubicación
- Stockholm, Sverige
- Tipo de contrato
- Jornada completa
- Publicado
- 6 de julio de 2026
Sobre este empleo
Arbetsuppgifter AI håller snabbt på att bli den främsta författaren av världens programvara. Dagens modeller genererar kod i en hastighet som ingen människa kan matcha – men hur kan vi lita på kod som vi inte själva har skrivit? Formell verifiering erbjuder en väg till matematiskt garanterad korrekthet, men att förena den med AI-baserad kodgenerering reser djupa och till stor del olösta utmaningar. Som postdoktor angriper du just denna fråga: hur vi kan generera kod med AI och formellt verifiera att den gör det den ska. Arbetet kombinerar modern AI/LLM-baserad kodgenerering med formella metoder för att skapa programvara som är både snabb att ta fram och bevisbart pålitlig. Anställningen är en del av SAFIR (Secure AI for Intelligent Resilience and Confidentiality in the Cloud), ett samarbet…
Esto es un breve resumen. ¿Quieres saber si encajas? Compara tu CV con este puesto: gratis, en 30 segundos.
Comprueba si tu CV encaja con este empleo
Pega tu CV para obtener al instante una puntuación de coincidencia con este puesto, y consigue una carta de presentación personalizada con un solo clic.
- Puntuación de coincidencia al instante para este puesto
- Carta de presentación personalizada con un solo clic
- Gratis, sin tarjeta de crédito