FMT Lab ISTI CNR
@fmt_lab
Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
ID: 1618217798580199424
https://www.fmt.isti.cnr.it/ 25-01-2023 12:02:53
72 Tweet
29 Followers
298 Following
We are offering two temporary positions (one year, renewable) for research in the field of formal modelling and analysis of critical software systems. If you are interested in working with us, please contact us before the end of October at the latest: [email protected]