[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Chieti-Pescara in Italy offers two fully funded PhD positions in "Formal methods for analysis and verification of networks and software systems". The call is available at https://www.scuolasuperiore.unich.it/bandi/nuovo-bando-di-concorso-posizioni-non-assegnate-dottorato-di-ricerca-xxxiii-ciclo-aa-20172018 The duration of the PhD course is three years. The amount of the scolarship is 16,705.67 (gross) per year and can be increased by 50% for research periods spent abroad. Applications must be submitted online by *January 21, 2018 at 1 PM (CET)*. Candidates can be interviewed via Skype. Please do not hesitate to contact me if interested. Best regards, Fabio Fioravanti