The Bruno Kessler Foundation (FBK) conducts research activities in Information Technology, Materials and Microsystems, Theoretical Physics, Mathematics, Italian-Germanic historical studies, Religious studies and International Relations. Through its network, it also develops research in the fields of international relationships, conflict causes and effects, European economic institutions, behavioral economics and assessment of public policies.

The position is opened by the Embedded Systems Research Unit (ES Unit) of the Digital Industry Center of FBK. The ES Unit consists of about 30 people, 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. Projects related to the call
VALU3S ECSEL project (https://es.fbk.eu/projects/valu3s)

Job Description

The research activities will be part of the VALU3S ECSEL projects and will focus on one or more of the following topics:
-Model checking of hybrid systems
-Model checking of control software
-Model-based safety analysis of autonomous systems
-Integration of model checking, testing, and runtime verification
-Application of formal methods to industrial case studies (avionic or agriculture domains)

Main Task
The activity will include analysis of the state of the art and of an industrial use case, identification of gaps between the two, development of new techniques, extension of existing tools, and their application in the industrial use case. This will include software development and documentation participation in project meetings as well as contributing to project deliverables.

The ideal candidate should have:
-PhD in Computer Science, Mathematics or Electronic Engineering or equivalent 3-years research experience
-Knowledge in formal methods or testing or in general verification and validation of safety-critical systems
-Ability to work in a collaborative environment and deliver in research and/or industrial projects
-Accuracy, flexibility, proactivity, and goal orientation attitude
-Oral and written proficiency in English

Preferred qualifications:
-Background in mathematical logic
-Programming skills
-Experience in modeling and formal analysis of Cyber-Physical Systems
-Background in formal safety assessment
-Background in model-based design
-Background in software engineering

Employment
Type of contract: Fixed term contract
Working hours: full time
Duration: 2 years
Start date: February 2021 (due to the Covid-19 emergency situation, the opportunity to start the activity remotely will be considered)
Gross annual salary: about 39.500 €
Workplace: Povo, Trento (Italy).
Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation etc., supplementary pension and health found, training courses, public transport, sports facilities, language courses fees. Further details at www.welfarefbk.info.

Application
Interested candidates are requested to submit their application by completing the online form (https://jobs.fbk.eu/). Please make sure that your application contains the following attachments (in pdf format):
-Detailed CV;
-Motivational letter

Application deadline: 05th January 2021