72 proof-checking-postdoc-computerscience Postdoctoral positions in computer-science in Sweden
Sort by
Refine Your Search
-
Employer
- Chalmers University of Technology
- KTH Royal Institute of Technology
- SciLifeLab
- Swedish University of Agricultural Sciences
- The Swedish University of Agricultural Sciences
- Lulea University of Technology
- Mälardalen University
- Umeå University
- Institutionen för biologi och miljövetenskap
- Jönköping University
- Karolinska Institutet (KI)
- Linköping University
- Luleå University of Technology
- University of Borås
- University of Lund
- 5 more »
- « less
-
Field
-
presence throughout the entire employment. A valid residence permit must be presented by the start date, otherwise the offer may be withdrawn. What we offer As a postdoc at Chalmers, you are an employee and
-
activities and dissemination As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about working at Chalmers and our benefits for employees. A dynamic and inspiring
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
to solve complex scientific challenges? Do you thrive in an R&D environment where your ideas and the software you write directly impact cutting-edge research? We are seeking postdocs as an HPC
-
Website https://academicpositions.com/ad/kth-royal-institute-of-technology/2026/postdoc… Requirements Research FieldComputer scienceYears of Research Experience4 - 10 Research FieldEngineeringYears
-
, drawing on machine learning where it strengthens these methods. The research supports mission-critical scenarios and feeds into an end-to-end resilience proof of concept developed together with Swedish and
-
date: 2026-08-24 Where to apply Website https://academicpositions.com/ad/kth-royal-institute-of-technology/2026/postdoc… Requirements Research FieldEngineeringYears of Research Experience4 - 10 Research
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
We are offering a postdoc position in an exciting national project focusing on software security, with great opportunities for collaborations with top researchers in cybersecurity, program analysis
-
, drawing on machine learning where it strengthens these methods. The research supports mission-critical scenarios and feeds into an end-to-end resilience proof of concept developed together with Swedish and