[TYPES/announce] Postdoctoral and PhD positions in Program Analysis, Verification or Systems at Imperial College London

[Cristian Cadar]

Applications are invited for a postdoctoral and a PhD position 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-pass-20/
https://srg.doc.ic.ac.uk/vacancies/phd-pass-20/

The deadline for applications is 3rd May 2020.