Postdocs available in formal analysis of code for secure hardware

Do you have a PhD (or will you soon have) in runtime verification, symbolic execution, fuzzing, automated reasoning, interactive theorem proving, or other methods for statically or dynamically reasoning about software systems? 

We are looking for two outstanding and ambitious postdoctoral research associates to work on our “SCorCH: Secure Code for Capability Hardware” project (https://scorch-project.github.io/).  SCorCH is a collaboration between The University of Manchester, The University of Oxford, ARM Ltd, and Amazon Web Services that will leverage new advances in formal analysis tools to find security issues in code running on a new generation of security-aware hardware chips i.e. Capability Hardware. Our website provides an overview of our vision.

Read More …

Postdoc in Security for Neural Architectures at the University of Manchester, UK

We are excited to announce a new project called EnnCore, End-to-End Conceptual Guarding of Neural Architectures, funded as part of the UKRI call “Security for all in an AI-enabled society”. EnnCore will run from 2021-2024 in collaboration with The University of Manchester, The University of Liverpool, digital Experimental Cancer Medicine Team (dECMT), and Urbanchain. Read More …

Postdoctoral Researcher Positions at the University of Texas at Austin

Please note the following offer from the University of Texas at Austin: We invite applications for one or more postdoctoral researcher positions available immediately — open until filled — at the University of Texas at Austin. The candidates are expected to conduct research at the intersection of formal methods and learning with problems drawn from Read More …

Research Developer @ CSE Dept. Oxford University

Research Developer on Ada Security Vulnerabilities Assessment Tool (ASVAT). Looks suitable as a development position pre/post-PhD gap. The Department of Computer Science has a new vacancy for two Research Developers on the Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT) project. Reporting to Martin Brain, and collaborating with project partner Altran, you will be Read More …

Share with the CAV community

Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.

Read More …