[ 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/