[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for a postdoctoral position and a PhD
studentship in the Software Reliability Group at Imperial College
London, under the direction of Cristian Cadar.
The research will be part of the ERC Consolidator Grant Project PASS:
Program Analysis for Safe and Secure Software Evolution, and will focus
on helping software systems evolve safely and securely. PASS aims to
take a holistic approach to the challenges of safe and secure software
evolution, by combining offline program analysis to verify or
comprehensively test software changes, with runtime mechanisms for
keeping the software updated and secure against potentially erroneous
changes that make it into the deployed system.
For more details about these positions, please see:
https://srg.doc.ic.ac.uk/vacancies/postdoc-erc-2019/
and
https://srg.doc.ic.ac.uk/vacancies/phd-erc-2019/
