A sharing platform for the Computer-Aided Verification community
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 …
An interesting workshop exploring the interplay of Formal Methods and Trusted Platforms Read More …
One of the main topics of ICCPS is safety assurance and verification. Check out the CFP. Read More …
FMAS brings together researchers working on a range of techniques for the formal specification and verification of autonomous systems. The workshop enables researchers to present recent work in the area, discuss key difficulties, and stimulate collaboration between the robotics and formal methods communities. FMAS 2022 will be held at SEFM, so we will have in-person Read More …
Multiple Research Associate/ PhD Student/ Postdoc positions are available at TU Dresden. Read More …
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.
University College London has an opening for Lecturer or Associate Professor in Programming Principles, Logic, and Verification. See here for further details.
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 …