apartmentFondazione Bruno KesslerplaceTrentolanguagefbk.euevent_available
for a researcher in the field of formal methods. The successful candidate will work in one or more of the following topics: Formal verification or runtime verification techniques for continuous dynamics and hybrid systems; Development of formal...
apartmentFondazione Bruno KesslerplaceTrentolanguagefbk.euevent_available
including researchers, post-docs, PhD students, master students, and programmers. The Unit carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems...
Lavoro Ricercatore Sociale a Trento – Offerte simili: