|Salary:||£43,093 to £50,834 per annum*|
|Placed On:||22nd March 2023|
|Closes:||25th May 2023|
South Kensington Campus
Full-time, Fixed term to start ASAP for 12 months
Applications are invited for a postdoctoral position in the Software Reliability Group, under the direction of Prof. Cristian Cadar. We are looking for motivated applicants with expertise in program analysis and/or software systems.
Duties and Responsibilities
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
To apply, you will need to have a proven knowledge in either program analysis or systems and a proven research record and publications in one of these areas.
We welcome two types of applications. On the program analysis side, we expect a strong background in program analysis and at least one publication in top venues in software engineering (particularly ICSE, ESEC/FSE, ASE, ISSTA), programming languages (particularly ASPLOS, PLDI, OOPSLA), or security (particularly CCS, USENIX Security, IEEE S&P, NDSS). You should familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the KATCH, Chopper and Loop Summaries projects.
On the systems side, we expect a strong background in computer systems and at least one publication in top venues in computer systems (particularly SOSP/OSDI, EuroSys and USENIX ATC) or systems security (particularly CCS, USENIX Security, IEEE S&P, NDSS). You should familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the Varan, Mvedsua and SaBRe projects.
You must have a PhD (or equivalent) in an area pertinent to this position. *Candidates close to completion of their PhD will also be considered but will be initially appointed as a Research Assistant within the salary range £38,194 - £41,388 per annum.
How to apply
To apply visit: https://www.imperial.ac.uk/jobs/ and search using vacancy reference number ENG02467, in addition to completing the online application candidate should attach.
If your application is shortlisted, you will be invited for an interview and asked to solve a practical task.
We will be reviewing applications on a rolling basis and reserve the right to close the advert early if the position is filled. It is advisable that you submit your application as early as possible.
Informal inquiries are encouraged and can be addressed to Prof. Cristian Cadar: firstname.lastname@example.org
For queries regarding the application process contact Jamie Perrins: email@example.com
Closing Date: 25th May 2023 (midnight)
Type / Role: