Postdoc · KTH Royal Institute of Technology
Postdoctoral Researcher in Software Technology (Formal Verification and System Security)
Official page- Type
- Postdoc
- Organisation
- KTH Royal Institute of Technology
- Location
- Stockholm, Sweden
- Found
- 28 September 2026
About this listing
Postdoctoral researcher opportunity in software technology focusing on formal verification and system security, including designing software prototypes and contributing to research papers.
Last checked 30 September 2026.