One 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.
Information on the binary analysis postdoc position, including how to apply (closing date 27 May).