[TYPES/announce] 2 Year postdoc position

Emilio Tuosto emilio.tuosto at gssi.it
Wed Jun 22 07:16:27 EDT 2022

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

Interested candidates can get in touch with me.


     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$ 


More information about the Types-announce mailing list