Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- Chalmers University of Technology
- KTH Royal Institute of Technology
- SciLifeLab
- University of Lund
- Umeå University
- Lunds universitet
- Linköping University
- Swedish University of Agricultural Sciences
- Jönköping University
- Luleå tekniska universitet
- Mälardalen University
- The Swedish University of Agricultural Sciences
- Uppsala universitet
- Göteborgs universitet
- University of Gothenburg
- Institute of Neuroscience and physiology, Sahlgrenska Academy, university of Gothenburg
- Karlstad University
- Karolinska Institutet (KI)
- Lulea University of Technology
- ;
- Department of Pedagogical, Curricular, and Professional Studies
- Department of Social Work
- Department of journalism, media and communication
- European Magnetism Association EMA
- HDK-Valand Högskolan för konst och Design vid Göteborgs universitet
- Institute of Biomedicine, Sahlgrenska academy, University of Gothenburg
- Institute of Medicine, Sahlgrenska academy, University of Gothenburg
- Institutionen för biologi och miljövetenskap
- Institutionen för mark och miljö
- Institutionen för pedagogik, kommunikation och lärande, Göteborgs universitet
- Institutionen för sociologi och arbetsvetenskap
- KTH
- Karolinska Institutet, doctoral positions
- Luleå University of Technology
- Lund University
- Södertörn University
- The University of Gothenburg, Sahlgrenska Academy
- Umeå universitet
- Umeå universitet stipendiemodul
- University of Borås
- University of Gothenburg/Department of Biological and Environmental Science
- Uppsala University
- universitypositions
- Örebro University
- 34 more »
- « less
-
Field
-
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
-
Lund University was founded in 1666 and is repeatedly ranked among the world’s top universities. The University has around 46 000 students and 8 500 staff based in Lund, Helsingborg and Malmö. We are united in our efforts to understand, explain and improve our world and the human...
-
, 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
-
contribute substantially to the quantitative research carried out in the division in collaboration with national and international partners. As postdoc, you will principally carry out research. A certain
-
, 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