PhD positions in Programming Language Technology for Security and Privacy, Gothenburg, Sweden – High-confidence Embedded and Cyberphysical Systems (HECS)

PhD positions in Programming Language Technology for Security and Privacy, Gothenburg, Sweden

Chalmers University of Technology in Gothenburg, Sweden invite applications for PhD positions in 
Programming Language Technology for Security and Privacy.

We are looking for applicants with a technical background in the programming languages and 
systems research area, and who have a keen interest in applying and developing this technology 
to create new methods and tools for security and privacy of software and systems. You will have 
a good knowledge in several of the following areas: compiler technology, static analysis, type 
systems, programming language semantics, advanced functional programming, program verification.

Application deadline: October 10th, 2018. We encourage all applicants who might need a visa 
to visit Sweden to apply as soon as possible.

For details about the employment conditions and how to apply see:

http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=6602&rmlang=UK