1 software-formal-method-phd Postdoctoral positions at KTH Royal Institute of Technology

Postdoc in Rigorous Protection of Programs from Hardware Attacks

KTH Royal Institute of Technology | Sweden | 3 months ago

. The ideal candidate will have expertise in formal methods, program verification, and microarchitectural attack analysis. Experience with compiler pass design and SMT solvers is highly desirable and will be