Two Postdocs in Programming Languages
CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG · Göteborg, Sverige
Don’t apply blind. See how your CV matches Software Developer first — free, in 30 seconds.
You will continue to the employer’s original posting.
- Company
- CHALMERS TEKNISKA HÖGSKOLA AKTIEBOLAG
- Location
- Göteborg, Sverige
- Employment type
- Full-time
- Posted
- June 18, 2026
About this job
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…
This is a short summary. Want to know if you're a fit? Check your CV against this role — free, in 30 seconds.
See if your CV fits this job
Paste your CV for an instant match score against this role — and get a tailored cover letter in one click.
- Instant match score for this role
- Tailored cover letter in one click
- Free — no credit card