[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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