[TYPES/announce] Postdoctoral position 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 the Software Reliability Group (https://srg.doc.ic.ac.uk/) 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 a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system. More details about this position can be found at https://srg.doc.ic.ac.uk/vacancies/postdoc-pass-22/
[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 College London. 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 a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system. More details about this position can be found at https://srg.doc.ic.ac.uk/vacancies/postdoc-pass-21/
[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 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 a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system. For more details about these positions, please see: https://srg.doc.ic.ac.uk/vacancies/postdoc-pass-20/ https://srg.doc.ic.ac.uk/vacancies/phd-pass-20/ The deadline for applications is 3rd May 2020.
[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/ * Call for Presentations == Symbolic execution has gained significant attention over the last few years, becoming an essential ingredient of techniques and systems across many computer science fields including software engineering, programming languages, software testing, program verification, cybersecurity, and computer systems. The technique has enabled a wide range of applications, including the automatic detection of bugs and security vulnerabilities, high-coverage test suite generation, patch testing, and automatic debugging, among many others. KLEE is one of the most popular symbolic execution engines, providing a flexible and modular framework on which to build many different symbolic execution based techniques. We solicit proposals for presentations related to the KLEE infrastructure and symbolic execution more generally. In particular, we welcome three types of contributions: 1) Presentations of existing research papers or ongoing research work. If presenting an existing research paper, please provide a link to the paper. If the work builds upon KLEE, please be explicit about the connection. 2) Presentations reporting the experience of using KLEE in a practical setting. Examples include the use of KLEE for testing open-source software, the use of KLEE in an industrial context, and the integration of KLEE within a larger system or tool. 3) Tutorial presentations on various aspects of KLEE. Examples include explaining the memory model of KLEE, showing how to create a new partial solver in KLEE, explaining how to handle new LLVM intrinsics, or demonstrating the use of Kleaver, KLEE’s solver tool. More details about the submission process can be obtained at https://srg.doc.ic.ac.uk/klee18/cfpresentations.html A similar call for posters can be found at https://srg.doc.ic.ac.uk/klee18/cfposters.html Important dates Submission deadline: Sunday, 21 January 2018 Notification deadline: Thursday, 1 February 2018 Early registration date: Saturday, 10 February 2018 Workshop dates: 19-20 April 2018
[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 project is to investigate and design program transformations --- both semantics-preserving and semantics-altering --- that increase the scalability of symbolic execution. The techniques will primarily be implemented on top of the KLEE symbolic execution engine. To apply for this position, you will need to have a strong background in compilers and program analysis, and a good understanding of software engineering and operating systems. You will also need experience in building and working with large software systems and tools. Prior experience with LLVM and KLEE is desirable, but not required. Applicants will have (or shortly expect to receive) a PhD degree (or equivalent) in Computer Science or a related field, and will be expected to have a proven track record with strong publications in relevant areas. This position will be based at the South Kensington campus in central London. The application deadline is 4 September 2015, with interviews expected to take place on 18 September. For further information about this position, please visit http://srg.doc.ic.ac.uk/vacancies.