PhD student position in the WASP project on Programming Language-based Security, based at Chalmers University of Technology.
The PhD student will join a world-leading research environment at the Chalmers Security and Privacy Lab. Software is often the root cause of vulnerabilities in modern computing systems. We develop principled concepts and mechanisms to ensure robust security and privacy for software. The PhD student will be supervised by Prof. Andrei Sabelfeld (recipient of several awards by ERC, SSF, VR, WASP, Google, Amazon, Facebook, and OpenAI, as well as the Chalmers PhD Supervisor of the Year award).
Major responsibilities
The PhD students will join one of our ambitious projects:
- WebSec: Securing Web-driven Systems conducted jointly with Uppsala University, and funded by the Swedish Foundation for Strategic Research (SSF).
- WASP project on Programming Language-based Security within the Wallenberg AI, Autonomous Systems and Software Program (WASP): The PhD student will enjoy the benefits of the WASP graduate school.
- VR project on applications of programming language-based, SMT solving, and symbolic execution techniques to discover vulnerabilities and secure software systems by construction.