[TYPES/announce] PostDoc position at University College London on Compositional Analysis for Binaries

[O'Hearn, Peter]

A postdoc position is available at UCL on the project Compositional Security Analysis for Binaries.

Binaries are routinely inspected by security engineers in their search for vulnerabilities. Binaries are often huge, yet existing analysis techniques reanalyse procedures in different contexts, which impedes scalability. This research will pioneer compositional binary analysis, which will result in analyses that are both modular and scalable.

This is a joint project between UCL (Peter O'Hearn), Queen Mary (Dino Distefano) and Kent (Andy King). It combines O'Hearn's and Distefano's expertise in compositional analsyis (e.g., Abuctor) with King's expertise in binary analysis. At UCL we are looking for a candidate with a good theoretical background, which could include such techniques as abstract interpretation, program logic, and constraint solving. 
 
The project is funded by GCHQ and the EPSRC as part of a national initiative on program verification and analysis for cybersecurity. The salary will be in the range £32,375 - £35,101. The post is tenable for up to three years.  
 
The deadline for applications is 27 May. For more information including how to apply see
   http://tinyurl.com/bpbfezy
 
Peter O'Hearn