Enrico Tronci Home Page
Contacts
- Address
-
Enrico Tronci
Dipartimento di Informatica
Università di Roma "La Sapienza"
Via Salaria 113,
00198 Roma
Italy
- Telephone
-
+39-06-49918361
- Fax
-
+39-06-8541842
- Email
-
tronci@di.uniroma1.it
Research Web Page
Model Checking Lab
Teaching Web Page
UniRoma1 Twiki
Tesi, Stage, Borse di Dottorato e Post-Doc
Nell'ambito di progetti di ricerca FP7 su Green ICT and Smart Grids
(design and formal verification of individualised energy price policies)
e System Biology (design and formal verification of individualised treatments) sono disponibili le seguenti opportunità
di tesi, borse di Dottorato, Assegni di Ricerca.
Gli interessati possono contattarmi direttamente via email (tronci@di.uniroma1.it).
Tesi (Stage) Laurea Triennale
Sono richieste buone capacità matematiche e buoni skill di programmazione C/C++ in ambiente Linux.
Tesi di Laurea Specialistica/Magistrale
Sono richieste buone capacità matematiche e buoni skill di programmazione C/C++ in ambiente Linux.
Per gli studenti che hanno conoscenza dei metodi automatici di verifica di sistemi (model checking),
come ad esempio quelli illustrati nel corso di Verifica del Software,
possono essere disponibili borse di studio per la tesi di Laurea.
Borse di Dottorato (PhD Fellowships)
In the framework of FP7 projects on Smart Grids (design and formal verification of individualised energy price policies)
and System Biology (design and formal verification of individualised treatments) are available
fellowships to support PhD studies in the model checking field focusing on the above research themes.
Outstanding mathematical (both continuous as well as discrete) and programming skills in a Linux environment
are expected. Some knowledge of Operation Research methods (namely, Mixed Integer Linear Programming) or Control Theory
is a plus.
Assegni di Ricerca (Post-Doc Fellowships)
In the framework of FP7 projects on Smart Grids (design and formal verification of individualised energy price policies)
and System Biology (design and formal verification of individualised treatments) are available Post-Doc fellowships
in the model checking field focusing on the above research themes.
Outstanding mathematical (both continuous as well as discrete) and programming skills in a Linux environment
are expected. Some knowledge of Operation Research methods (namely, Mixed Integer Linear Programming) or Control Theory
is a plus.