Tenure Track position for a Technologist in the field of Formal Methods for Systems and Softwar[...]

12 ago - Trento
Fondazione Bruno Kessler - Fbk

Bruno Kessler Foundation (FBK) is a private research institution devoted to excellence in research in numerous disciplines and designated to the role of keeping the Autonomous Province of Trento in the mainstream of European and international research. Each research area is assigned to a specific research centre, of which there are eleven totals. Information regarding the research centres, their activities and production is available at Digital Industry Center is one of the Centers of FBK. It focuses its research on digital technologies for the various domains in industry (e.g., manufacturing, aerospace, railway, automotive, energy, agriculture, manufacturing) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics, quality control, and prediction systems. Further research areas include precision farming, robotics, metrology, cultural heritage, and geomatics.

La descrizione completa del lavoro illustra tutte le competenze, l'esperienza pregressa e le qualifiche che i candidati dovrebbero possedere.




The position is opened by the Formal Methods for System and Software Research Unit (FM Research Unit) of the Digital Industry Center of FBK. 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.
Job Description
The purpose of FBK’s Tenure Track program is to offer high-level professionals the opportunity to pursue a structured career path to become tenured researchers contributing to the organization's long-term strategy.
Within this program, FBK is seeking a dynamic, highly motivated technologist to fill the position in the FM Unit of the Digital Industry Center.
This position provides the opportunity to contribute to research and innovation activities in the field of Formal Methods, model-based engineering, verification and validation techniques for complex, safety-critical and autonomous system

Animatore Turistico - SENZA ESPERIENZA

24 ago - Reggio Calabria
Jambo eventi

Assistant store manager-Rimini

24 ago - Rimini
Umana

Ricevi nuove offerte di lavoro

Crea una Job Alert gratuita per tenure track position for a technologist in the field of formal methods for systems and softwar[...] / trento

Autista patente c

24 ago - Leini
cds trasporti

Commesso/a

24 ago - Roma
carfel