PhD Fellowship on robotic verification approved

Our proposal for a 3-year PhD fellowship on “Requirement specification and verification for robotic software” has been officially approved and financed. The student will spend a 6 months training period in Secura Factors.

2 year Global@Venice fellowships

Are you working abroad? Are you looking for a postdoc on program analysis and its application to cybersecurity, robotics, and software engineering in particular? Please consider applying for a 2 year Global@Venice fellowship!Deadline: June, 30th. Requirements: PhD degree awarded not later than 8 years prior to this call deadline, at least one major publication without his/her PhD supervisor, and have not resided or carried out their main activity in Italy

Call for Expressions of interest at SSV@UniVE

The Software and System Verification group @ Ca’ Foscari University of Venice (https://ssv.dais.unive.it/) is a research team focused on static analysis and its applications. The group (https://ssv.dais.unive.it/people/) comprises a full professor (Agostino Cortesi), two tenure-track assistant professors (Pietro Ferrara and Stefano Calzavara), a researcher (Alvise Spano’), and several postdocs (Vincenzo Arceri, Mohammad Imran Alam) and PhD students (Gianluca Caiazza, Martina Olliaro, Luca Negrini, Zubair Ahmad). The group is currently active