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 in several projects (https://ssv.dais.unive.it/projects/) applying and extending static analysis to various contexts such as blockchain smart contracts, IoT systems, robotic software, and string values.
We are currently looking to collect expressions of interest from people interested in working in these topics with us. This call is open at any level, such as bachelor and master students (interested in spending some time at our institute and/or developing their theses in collaboration with us), PhD candidates, junior and senior software developers, postdocs, and professors at various levels (assistant, and associate professors). Please send your cv to firstname.lastname@example.org if you are interested.
In January there will be an open call for a 2 years fellowship position (master degree required) on Security Assessment of Remote and Virtualized Systems, and for a visiting professor position (1 to 3 months). Then, in the following months two other calls for post-doc positions will be published. Other calls are also planned for assistant and associate professors.
Note that all the positions, following the Italian legal procedures, will require a formal open call and selection process.