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
Comprobar mi CV, gratis