Postdoc position at Chalmers University of Technology with the opportunity to join the WASP NEST CyberSecIT
The postdoc will join a high-profile group of researchers on cybersecurity and privacy, the Chalmers Security Lab. Software is often the root cause of vulnerabilities in modern computing systems. By focusing on securing the software, we target principled security mechanisms that provide robust protection against large classes of attacks.
The postdoc 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). Promotional video of Chalmers research on securing web applications: http://vimeo.com/82206652
–WASP NEST CyberSecIT, a framework project conducted jointly with KTH and Umeå University to explore the security and privacy of IoT applications, with the emphasis on software. NESTs are flagship projects of the Wallenberg AI, Autonomous Systems and Software Program (WASP). The PhD student will thus 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.
The postdoc will work with PhD students supervised by Prof. Andrei Sabelfeld (recipient of a number of awards by ERC, SSF, Google, and Facebook as well as the Chalmers PhD Supervisor of the Year award).