Several Postdoc and PhD Positions Available
Several Postdoc and PhD positions are available to work on several topics at two institutions. Read More …
Category: PostDoc Positions
Research Associate/ PhD Student/ Postdoc positions at TU Dresden
Multiple Research Associate/ PhD Student/ Postdoc positions are available at TU Dresden. Read More …
Post-Doc position in University of Manchester, UK
The System and Software Security (S3) group at the University of Manchester (UK) is looking for a Post-Doc in Secure and Verifiable AI Models to join our ambition EPSRC-funded EnnCore project.
PhD and Postdoc Positions on Formal Methods in Germany
Heike Wehrheim is a professor at the University of Oldenburg and is looking for PhD students and PostDocs. Read her offer below:
PostDoc/Senior Researcher in Smart Contract Security Analysis using Formal Methods
Open Post-doc/senior researcher position working on smart contract security analysis using formal methods in the Cryptography and Blockchain Lab at the University of Warsaw, Poland. Read More …
Post-Doctoral Research Assistant at Royal Holloway, University of London
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 …
PostDoc at Inria / École Normale Supérieure in Paris
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 …
Two Research Assistant positions in the Automated Verification group @ Oxford Computer Science
Two research assistant posts are being advertised to work with Professor Tom Melham in the Automated Verification research group at Oxford Computer Science. These are associated with the SCorCH (Secure Code for Capability Hardware) project, funded by the Industrial Strategy Challenge Fund Digital Security by Design (DSbD). There’s a 12-month position and a 24-month position, and both are to Read More …
Research Associate in Software Verification at the University of Manchester, UK
The Department of Computer Science at the University of Manchester (UK) seeks one Research Associate (RA) position to work on Automated Verification of CHERI C++ Programs. This RA position is full-time for two years, starting after October 1st, 2021, ideally January 1st, 2022. Read More …
PhD and PostDoc Positions at Tel Aviv University in Israel
Ori Lahav is looking for PhD candidates and PostDocs. He writes the following: … If you are interested, please feel free to contact Ori Lahav.
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.
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 …
Ph.D. and Postdoc Positions
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.
Open Position in Tokyo: Formal Methods, Learning and Cyber-Physical Systems
What: Senior researchers, Postdocs, PhD students and Internships
Where: Tokyo
When: Now till March 2022
Website: https://group-mmm.org/eratommsd/openpositions/
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.