Postdoc in Formal Verification of Protocols and Secure CompilationKTH Royal lnstitute of TechnologyBrinellvägen 8, 114 28 Stockholm, SwedenAcademic / FacultyCloses: Feb 28, 2026