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 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
-
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 enjoy all
-
study programs to match the skills in demand. We hope that you will help us to build the sustainable companies and societies of the future. Luleå University of Technology is one of Europe’s leading
-
spoken and written Swedish. For complete eligibility requirements for a position as a Postdoc at Jönköping University, see the applicable parts of the"Regulations for the employment of teachers
-
A 2-years postdoc position is available in the Soil and Environmental Physics group at the Department of Soil and Environment, Swedish University of Agricultural Sciences (SLU), in Uppsala. We
-
and Technical Acoustics is looking for a postdoc for the Swedish Research Council-funded SMILE project (Soundscape engineering with Metamaterial Innovation and LEarning). SMILE develops acoustic design
-
on various aspects along the battery value chain, ranging from synthesis, cell assembly, characterization, modeling to scaled-up manufacturing. The 2-year postdoc project Atomistic modelling and synthesis
-
, cell assembly, characterization, modeling to scaled-up manufacturing. The 2-year postdoc project Micromechanical modelling and mechanical characterisation of contact, interfaces and fracture in solid
-
Shahrokni, [email protected] Published: 2026-07-08 Last application date: 2026-08-12 Where to apply Website https://academicpositions.com/ad/kth-royal-institute-of-technology/2026/postdoc… Requirements Research