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 …

Formal Methods for Autonomous Systems (FMAS)

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 …

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 …