[TYPES/announce] Postdoc position in symbolic execution at Imperial College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position in the Software Reliability Group (http://srg.doc.ic.ac.uk/) in the Department of Computing at Imperial College London. The goal of this

[TYPES/announce] KLEE Workshop on Symbolic Execution: Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * 1st International KLEE Workshop on Symbolic Execution 19-20 April, 2018 • London, United Kingdom https://srg.doc.ic.ac.uk/klee18/

[TYPES/announce] Postdoctoral and PhD positions in Program Analysis, Verification or Systems at Imperial College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral and a PhD position in the Software Reliability Group at Imperial College London, under the direction of Cristian Cadar. The research

[TYPES/announce] Postdoctoral position in Program Analysis/Systems at Imperial College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for motivated applicants with expertise in program analysis and/or software systems for a postdoctoral position in Cristian Cadar's Software Reliability Group at Imperial

[TYPES/announce] Postdoctoral position at Imperial College London

/) at Imperial College London, under the direction of Prof. Cristian Cadar. 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