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
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
