[TYPES/announce] Postdoc position at Imperial College London in software testing and programming languages

[Donaldson, Alastair F]

Applications are invited for a postdoctoral position, joint between the
Software Reliability Group and the Multicore Programming Group, under
the direction of Cristian Cadar and Alastair Donaldson.

We are looking for motivated applicants interested in working at the
intersection of software testing and programming languages. The research
will focus on two main strands:

* The first research strand will focus on testing compilers for popular
programming languages. We will design novel techniques to detect
compiler bugs that are currently out of reach to existing compiler
testing techniques. Particular attention will be given to bugs that are
security-critical in nature, presenting a largely unexplored attack
surface whereby software that is correct at the source level can
nevertheless be vulnerable to exploitation when erroneously compiled
into binary form. We also aim to mitigate this threat at runtime by
using novel multi-version execution techniques in which versions of the
same program compiled by different compilers are run in parallel.

* The second research strand will focus on helping software systems
evolve safely and securely. It will take a holistic approach to the
challenges of safe and secure software evolution, by combining offline
program analysis techniques such as static analysis and symbolic
execution to verify or comprehensively test software patches, with
runtime mechanisms such as multi-version execution for keeping the
software updated and secure against potentially erroneous changes that
make it into the deployed system.

For more details about this position, please see:
https://srg.doc.ic.ac.uk/vacancies/postdoc-comp-pass-19/

Deadline: 13 October 2019
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190910/896f1a44/attachment.html>