The Division of Network and Systems Engineering at KTH Royal Institute of Technology is offering a postdoctoral research position in the area of formal verification of protocols and secure compilation, funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). This opportunity is ideal for researchers with a strong background in formal methods for security, particularly those interested in the formal verification of security protocols or secure compilation. The successful candidate will join a dynamic and collaborative research group that includes PhD students, postdocs, and an assistant professor, and is engaged in cutting-edge research published in top-tier conferences such as CAV, CCS, ISCA, SP, and CSF.

The research will focus on developing analysis frameworks to evaluate and prove security properties of protocols and programs, establishing end-to-end guarantees across the compilation chain. Candidates should have expertise in formal methods and at least one of the following areas: verification of security and cryptographic protocols, symbolic and computational security analysis, or compiler correctness and preservation of security properties. Experience with proof assistants and automated verification tools (e.g., Coq, Isabelle/HOL, Tamarin, ProVerif) and SMT solvers is highly desirable. The position offers the chance to lead independent research projects, contribute to joint initiatives, and collaborate with both internal and external partners.

Applicants must hold a doctoral degree (or equivalent foreign degree) by the time of employment. A strong publication record, ability to communicate scientific results effectively, and comfort working in an international environment are essential. Preferred qualifications include a recent doctoral degree (within the last three years), awareness of diversity and equal opportunity issues, and strong personal skills. The position is full-time, for up to two years, and offers a monthly salary with attractive benefits and good working conditions at KTH.

To apply, candidates should submit their application via KTH's recruitment system, including a CV, diplomas and grades (with translations if necessary), and a brief statement of research interests and goals. The application deadline is January 31, 2026. For further information, contact Assistant Professor Hamed Nemati at [email protected].