Two Postdocs in Programming Languages
CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG · Göteborg, Sverige
Solliciteer niet blind. Bekijk eerst hoe goed je cv past bij Softwareontwikkelaar — gratis, in 30 seconden.
Je gaat verder naar de originele vacature van de werkgever.
- Bedrijf
- CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG
- Locatie
- Göteborg, Sverige
- Dienstverband
- Voltijd
- Geplaatst op
- 18 juni 2026
Over deze vacature
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…
Dit is een korte samenvatting. Wil je weten of je past? Check je cv voor deze functie — gratis, in 30 seconden.
Past jouw cv bij deze baan?
Plak je cv voor een directe match-score voor deze functie — plus een persoonlijke motivatiebrief met één klik.
- Directe match-score voor deze functie
- Persoonlijke motivatiebrief met één klik
- Gratis — geen creditcard