[TYPES/announce] 2 Year postdoc position

[Emilio Tuosto]

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$ 

************************************************************