id: MzE5OTg5IDE3

reference: 319989

documentId: 319989

connectionPointId: 17

Titolo di lavoro: PROGRAMMATORE INFORMATICO

Descrizione del lavoro:
Job Description

The ES Unit has an opening for a PostDoc position in the field of formal verification for industrial applications with the focus on several research and technology transfer projects. The successful candidate will be employed for a period of at least two years (with a trial period of 6 months). He/She will carry out research activities in the field of formal verification and safety assessment applied to the design and implementation of complex industrial size safety critical systems. The candidate is expected to perform activities related to the following research topics:

•	Declarative languages for to contract-based design and safety assessment;
•	Design and implementation of scalable formal verification techniques for the verification of temporal properties, to be applied in industrial settings for the design and verification of complex industrial safety-critical systems (e.g. railway domain, avionic domain);
•	Design and implementation of formal verification techniques for hybrid systems with non-linear dynamics, to be integrated in standard industrial design and verification environments (e.g. CHESS, SCADE, Matlab-Stateflow-Simulink);
•	Design and implementation of a contract-based framework for compositional verification of  systems based on the properties of components, and of a framework for the automatic synthesis of monitors to ensure that local/global properties are satisfied;
•	Design and implementation of a contract-based safety assessment framework that will allow for the generation of fault-trees, FMEA tables, and reliability measures in a compositional fashion, leveraging on local component results.
 
The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected also to interact with industrial partners and to spend some time at industrial partner premises.

Job requirements
The ideal candidate should have:
•	PhD in computer science, mathematics or electronic engineering (to be completed within mid 2019);
•	Software development skills (preferably in C, C++, Python or Java);
•	Ability to carry out an independent research program;
•	Ability to work in a collaborative environment and deliver in research projects and possibly in industrial projects;
•	Oral and written proficiency in English

Additional requirements:

In depth previous experience in at least one of the following areas:
•	Solid background in logic
•	Temporal Logics and Property Specification Languages
•	Contracts and Interface Theories
•	Formal Specification and Analysis of Architectures and Model Based Reasoning
•	Formal Model-Based Safety Analysis (e.g., automatic generation of fault trees, reliability metrics)
•	Symbolic (Software) Model Checking
•	Satisfiability Modulo Theory

Employment

Type of contract: Fixed Term Contract - Full Time
Gross annual salary: about € 39.300
Start date: January 2019
End Date: December 2020
Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security, etc., reductions on bank account opening fees, public transportation, sport, language course fees.
More info at https://www.welfarefbk.info/

Application

Candidates must submit their application trough the online form at https://hr.fbk.eu/en/jobs. Please make sure to enclose the following documents with your application (pdf format):
●	Detailed CV
●	Cover Letter (explaining your motivation for this specific position)
●	3 professional references (e-mails and/or phone numbers)



numberOfPosts: 1

jobCategoriesCodes_0: http://data.europa.eu/esco/isco/C3121

positionTypeCode: temporary

contractTypeCodes_0: fulltime

Nome del datore di lavoro: FONDAZIONE BRUNO KESSLER

employer_website: es-info (at) fbk.eu

source: Anpal