Titolo di lavoro:
Researcher position in the Embedded Systems Research Unit

Descrizione del lavoro:
Job Description: the ES Unit has an opening for a PostDoc position in the framework of CITADEL ("Critical Infrastructure Protection using Adaptive MILS"), an H2020 European project started on June 1, 2016. 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 methods applied to the design and implementation of adaptive systems with critical safety and security requirements. In particular, the activities will focus on: declarative languages to specify dynamic architectures, their monitoring and reconfiguration contract-based framework for compositional verification of the system based on the properties of components design and synthesis of monitors to ensure that local properties are satisfied design and synthesis of the architecture reconfiguration generation of proofs. Required: ● PhD in computer science, mathematics or electronic engineering (to be completed within 2016) ● Solid background in logic ● Software development skills (preferably in C and Python) ● Ability to carry out an independent research program ● Ability to work in a collaborative environment and deliver in research projects ● Oral and written proficiency in English Preferred: In depth previous experience in at least one of the following areas: ● Symbolic Model Checking ● Temporal Logics and Property Specification Languages ● Satisfiability Modulo Theory ● Formal Specification and Analysis of Architectures ● Contracts and Interface Theories ● Architecture Description Languages ● Software Model Checking ● Model-Based Safety Analysis (e.g., automatic generation of fault trees) Type of contract: Fixed Term Contract Start date: November 2016 Working hours: full time 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. Application deadline: October 3rd, 2016 Application Candidates are required to submit their applications by filling in the online form at https://hr.fbk.eu/en/jobs. Please make sure that your application includes the following attachments (pdf format): ● Detailed CV ● Cover Letter (explaining your motivation for this specific position) ● 3 professional references (e-mails and/or phone numbers) Please read the Guidelines for Selection before completing your application. For further information or technical issues regarding the application, please contact the Human Resources Service at jobs (at) fbk.eu.

Salario minimo: 38100

Stipendio massimo: 38100

Nome del datore di lavoro: Fondazione Bruno Kessler

Indirizzo datore di lavoro: Via Sommarive, 18 -, 38123 Trento-Povo, ITALY

Modulo di contatto: Adriana Berti

Job breve descrizione:
Sviluppatori e analisti di software e applicazioni non classificati altrove

Nazione: Italia

Regione: Trento

Durata del contratto: Temporaneo

Tipo di contratto: Tempo pieno

Istruzione richiesto:
Formazione superiore, compresa quella universitaria

Esperienza: Vedere testo libero

Fonte di offerta di lavoro: Banca dati centrale EURES

Come applicare: Lettera + CV al DATORE DI LAVORO

Valuta del salario: EUR

Periodo di retribuzione: Annuale

Tassazione stipendio: Lordo