2 educational-statistics PhD positions at Chalmers University of Technology

PhD Position on Foundational Cryptography

Chalmers University of Technology | Sweden | 3 months ago

to statistical security notions and formal methods is possible. One or two extended research visits are encouraged during the doctoral study. Project overview In Bounded Space Cryptography we are working with

PhD student position in Formal Verification of Autonomous Cyber-Physical Systems

Chalmers University of Technology | Sweden | about 1 month ago

correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools