Researcher position in Model-Based Design (MBD) of Complex Safety-Critical Systems, Tre...

FBK is a private research institution based in Trento (Italy) and operating in different scientific fields and disciplines. As such, it has the role of keeping the Autonomous Province of Trento within the mainstream of international research. FBK is made up of seven research centres, whose activities and production are available at http://www.fbk.eu/research-centers.

Fondazione Bruno Kessler (FBK) has an opening for a researcher position in Model-Based Design (MBD) of Complex Safety-Critical Systems. The expected activities include the development of model-based design techniques, their integration with formal methods for the verification and validation of safety-related requirements; modeling and analysis of specific cyber-physical systems in case studies provided by industrial partners; software development, training support, and document generation for technology transfer.

Job requirements:

• PhD in Computer Science, Mathematics or Electronic Engineering or equivalent 3-years research experience
• Software and development skills
• Knowledge in MBD and formal methods
• 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

Additional requirements:

• Java programming skills
• Eclipse plugins programming skills
• Knowledge and experience in programming tool integration
• Background in mathematical logic
• Experience in modeling and formal analysis of Cyber-Physical Systems
• Experience in formal safety assessment

Employment:

Fixed Term Contract (24 Months) full time(research profile R3 CCPL)

Start date:

preferably in June 2020 (due to the emergency situation Covid-19, the opportunity to start the activities remotely and to postpone the arrival to Trento will be considered)

Gross annual salary:

about 39.500 €

Full information available on: https://jobs.fbk.eu/Annunci/Jobs_A_researcher_on_Model_Based_Design_of_Complex_Safety_Critical_Systems_210095886.htm

How to apply?

https://jobs.fbk.eu/Annunci/Jobs_A_researcher_on_Model_Based_Design_of_Complex_Safety_Critical_Systems_210095886.htm

(from EURES Trento)

EURES står for European Employment Service og er et tilbud til alle EU-borgere, der ønsker at arbejde i et andet EU/EØS-land. Her finder du job i udlandet og information om jobsøgning i udlandet.

http://www.eures.dk eller http://www.europa.eu/eures


Kilde: Jobnet.dk