[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
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$
************************************************************
More information about the Types-announce
mailing list