[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
dear colleagues
I'd be most grateful if you could circulate the call for position among
your collaborators.
The GSSI has an opening for a 2-years postdoctoral research grant (in
partnership with the IMT School for Advanced Studies of Lucca) on
software quality and related aspects.
The successful candidate will develop techniques for formal
specification and computer-aided verification of quality-related
properties (including safety and performance among others), with
applications to complex and critical software systems”.
Total annual gross salary: € 45.000,00 (gross amount before taxes,
including taxes owed by the Institution).
The call is available at
https://urldefense.com/v3/__https://www.gssi.it/albo-ufficiale-online-gssi/item/18391-call-for-postdoctoral-and-technological-research-fellowships-june-2022__;!!IBzWLUs!Q4Ekc-OFqAt8Hf70WRVJFmwiRNobmAitKZwIfmuVymu3Lco7b9ES_GffuyLASjGkRXgNylvhne6Qd3xMXZZhGjhIuOUSoXW2hlXZTQ$
Interested candidates can get in touch with me.
Thanks
eM
--
************************************************************
Emilio Tuosto
Gran Sasso Science Institute
Department of Computer Science
ORCID: 0000-0002-7032-3281
Viale F. Crispi, 7 - 67100 L'Aquila (Italy)
Office: Palazzo Mariani P1-N
Phone: +39 0862 428 0312
homepage -> https://urldefense.com/v3/__https://cs.gssi.it/emilio.tuosto/__;!!IBzWLUs!Q4Ekc-OFqAt8Hf70WRVJFmwiRNobmAitKZwIfmuVymu3Lco7b9ES_GffuyLASjGkRXgNylvhne6Qd3xMXZZhGjhIuOUSoXWugHuGBw$
************************************************************
