Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Fondazione Bruno Kessler
- Università degli Studi di Pavia
- University of Foggia
- Università degli Studi di Perugia
- UNIVERSITA' DEGLI STUDI DEL SANNIO
- University of Palermo
- Università Politecnica delle Marche
- Università degli Studi Guglielmo Marconi
- Università di Pisa
- ACN/Scuola Superiore Sant'Anna
- CNR
- Conservatorio di Musica G. Verdi di Milano
- European Commission - Joint Research Centre
- Fondazione Telethon ETS
- Gran Sasso Science Institute
- Istituto Italiano di Tecnologia
- MUR
- Politecnico di Milano
- Scuola Superiore Meridionale
- Stazione Zoologica Anton Dohrn Napoli
- University of Salerno
- Università degli Studi della Basilicata
- Università degli Studi di Brescia
- Università degli Studi di Cassino e del Lazio Meridionale
- Università degli Studi di Firenze
- Università degli Studi di Trento
- Università degli Studi di UDINE
- Università degli Studi di Verona
- Università di Camerino
- Università di Trento
- 20 more »
- « less
-
Field
-
, quantitative, and mixed methodologies—the program seeks to analyze contemporary scenarios, their transformations, and their potential outcomes. This analysis is grounded in general theories of the State and
-
techniques, with a specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel
-
Umbria - XLII cycle a.y. 2026/2027 University of Perugia 24 PhD courses Where to apply Website https://pica.cineca.it/unipg/ Requirements Additional Information Eligibility criteria Eligible destination
-
for admission to the three-year PhD Courses - (2026/27 – 2027/28 – 2028/29) for the XLII cycle. Where to apply Website https://www.univpm.it/Entra/Ricerca/Dottorato_di_Ricerca_/Bando_di_Concorso_Dot… Requirements
-
are available, ofwhich 29 with a scholarship. Where to apply Website https://unibas.esse3.cineca.it Requirements Additional Information Eligibility criteria L’esame di ammissione, volto ad accertare l’attitudine
-
environment and state-of-the-art facilities across the Fondazione Telethon institutes. Where to apply Website https://www.rarefind-cofund.eu/ Requirements Research FieldBiological sciences » OtherEducation
-
Website https://phd.fbk.eu/calls/detail/formal-verification-of-configurable-safety-crit… Requirements Research FieldOtherEducation LevelMaster Degree or equivalent Additional Information Work Location(s
-
are financed by UniUD resources, by the associated institutions and by external institutions (public or private). Where to apply Website https://www.uniud.it/it/ricerca/lavorare-nella-ricerca/dottorato-ricerca
-
LanguagesENGLISHLevelGood Additional Information Additional comments The full text of the call of proposal can be found at the following link: https://unipv.patisweb.it/page_tg/51302/concorsi-per - ricercatori.html
-
of this call. Requirements LanguagesENGLISHLevelGood Additional Information Additional comments The full text of the call of proposal can be found at the following link: https://unipv.patisweb.it/page_tg/51302