Postdoc in Formal Verification of Protocols and Secure Compilation

Job description

The Division of Network and Systems Engineering at KTH Royal Institute of Technology invites applications for a postdoctoral research position funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). We are seeking a highly motivated and talented researcher with a strong background in formal methods for security, focusing on either formal verification of security protocols or secure compilation, to join our dynamic research group.

The ideal candidate will have expertise in formal methods and at least one of the following: 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 (, Coq, Isabelle/HOL, Tamarin, ProVerif) and SMT solvers is highly desirable and will be considered an advantage.

In addition to leading their own research projects, the ...