PhD positions in Program Analysis/Verification at USI Lugano

The Software Institute of USI (Università della Svizzera italiana) inLugano, Switzerland has open PhD positions in practical program analysisand verification. The positions are in Carlo A. Furia’s group and fundedby a SNF grant. There is no formal application deadline: applications will be revieweduntil all positions are filled. If you are interested, we suggest thatyou apply 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 Positions in the ERC AdG Project WhiteMech – Sapienza Università di Roma

The Department of Computer, Control and Management Engineering of Sapienza Università di Roma (Italy) is looking for enthusiastic PhD students interested in solving realistic-size and practical synthesis, planning, and acting problems in the hot topics of resilient self-programming in several contexts (Cybersecurity, Smart Manufacturing, or Digital Healthcare and Digital Finance). Students can apply to two Read More …

Senior Lecturer in Systems Security at the University of Manchester

The Department of Computer Science at the University of Manchester is the longest established department of computer science in the United Kingdom; in the most recent national research review (Research Excellence Framework), the department was rated 1st for research environment and in the top 5 for research quality. As part of significant ongoing investment, the Read More …

Open PhD Positions: Work with Underwater Robots

Fifteen amazing PhD positions in the REMARO project are now available! REMARO is a new Marie-Curie network at the intersection of in AI and formal verification, and at the intersection between academia and companies developing underwater robots.
Application deadline: January 1, 2021 Anywhere on Earth

Read More …

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 …