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 for longer than 12 months in the 3-year period before the call deadline. About the topics, you can find more details about prof. Cortesi, Calzavara and Ferrara in the supervisor section.