A sharing platform for the Computer-Aided Verification community
Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London. The application deadline is Oct 17, 2021. Read More …
Two-year postdoc position available at Inria / École Normale Supérieure in Paris to work on static analysis and verification of machine learning pipelines in the scope of the Lyra and Libra projects. Read More …
Ori Lahav is looking for PhD candidates and PostDocs. He writes the following: … If you are interested, please feel free to contact Ori Lahav.
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.
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 …
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 …
Prof. Matteo Maffei is hiring!
Check out his website for more information on the available Ph.D. and postdoc positions if you are interested in security and privacy research.
What: Senior researchers, Postdocs, PhD students and Internships
Where: Tokyo
When: Now till March 2022
Website: https://group-mmm.org/eratommsd/openpositions/