id: MzIyMjEyIDE3

reference: 322212

documentId: 322212

connectionPointId: 17

Titolo di lavoro:
ASSEGNISTA DI RICERCA NELLE SCIENZE DELL'INFORMAZIONE

Descrizione del lavoro:
The ES Unit has an opening for a PostDoc position in the field of planning and scheduling for industrial applications in the framework of 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). She/he will carry out research activities in various aspects of planning and scheduling, and architectures for autonomy applied to the design and implementation of adaptive autonomous systems with critical timing, safety and security requirements. The candidate is expected to perform activities related to the following research topics: Declarative languages to specify planning and scheduling domains, keeping into account controllability, partial observability, timing, and resources issues; Declarative languages to specify conditional time triggered plans suitable to solve complex planning and scheduling problems; Design and implementation of scalable planning and scheduling solution techniques for applications in industrial settings to control autonomous vehicles as well as for factory automation; Design and implementation of formal plan validation techniques to be applied in the planning and scheduling domains, suitable for the verification of conditional time triggered plans; Design and implementation of autonomy architectures encompassing, deliberation, execution and monitoring and interface with low level controls, both for off-line and on-board deployment; Design and implementation of scalable techniques to handle and deal with planning and scheduling domains in continuous spaces (e.g. motion and path planning). 

The candidate is expected to work in collaboration with other researchers, programmers, and students involved in the project. Moreover, the candidate is expected 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 by third quarter 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 and/or industrial projects; Oral and written proficiency in English.
In depth previous experience in at least one of the following areas: Planning and Scheduling; Autonomy Architecture; Robotic infrastructures (e.g. ROS); Solid background in logic, temporal logics and property specification languages; Symbolic Model Checking; Satisfiability Modulo Theory; Formal Specification and Analysis of Architectures; Software Model Checking
Type of contract: Fixed Term Contract (research profile R3 CCPL) full time - Gross annual salary: about 39.300 € Start date: April 2019 Duration: 24 Months. 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 - 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). Application deadline: 15th March 2019. For further administrative information, please contact the Human Resources Services at jobs (at) fbk.eu

numberOfPosts: 1

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

positionTypeCode: temporary

contractTypeCodes_0: fulltime

Nome del datore di lavoro: FONDAZIONE BRUNO KESSLER

employer_website: es-info (at) fbk.eu

source: Anpal