75 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
-
We are looking for 5 motivated postdocs to help design the next generation of human-in-the-loop autonomous systems at the Division of Interaction Design and Software Engineering. You will contribute
-
Umeå University is one of Sweden’s largest higher education institutions with over 41,500 students and about 4,600 employees. The University offers a diversity of high-quality education and world-leading research in several fields. Notably, the groundbreaking discovery of the CRISPR-Cas9...
-
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