We are looking for motivated applicants with expertise in program 
analysis and/or software systems for a postdoctoral position in Cristian 
Cadar's Software Reliability Group at Imperial College London.

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.

More details about this position can be found at 

Leave a Reply

Your email address will not be published. Required fields are marked *


We Reached 100K All-Time Views in a short time (Feb 2021 - onward), AlhamdulAllah. This was not possible without you.

We Deeply appreciate our respected viewers for their consistent Love. Please also recommend and share our site with others. Spread the message.

You have Successfully Subscribed!

error: Alert: Content is protected !!