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.