Two Postdocs in Programming Languages
CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG · Göteborg, Sverige
No te inscribas a ciegas. Mira primero cómo encaja tu CV con Desarrollador de Software: gratis, en 30 segundos.
Continuarás en la oferta original de la empresa.
- Empresa
- CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG
- Ubicación
- Göteborg, Sverige
- Tipo de contrato
- Jornada completa
- Publicado
- 18 de junio de 2026
Sobre este empleo
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal methods, provides the ideal environment for research on programming with formal guarantees — a topic of increasing practical importance. About us The https://www.chalmers.se/en/departments/cse/, a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally visible research, strong industry links and diverse environment create a collaborative setting where ideas grow into real impact. At the https://www.chalmers.se/en/departments/cse/our-research/computing-science/, we advance secure and trustworthy software and systems, spanning fou…
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