[Om-announce] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler

[Marco Roveri]

(Apologies if you have received multiple copies of this announcement)


A RESEARCHER IN THE FIELD OF PLANNING AND SCHEDULING FOR THE EMBEDDED
SYSTEMS RESEARCH UNIT (ES)

--------------------------------------------------
Job Description
--------------------------------------------------

The Embedded System (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 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 and/or industrial projects;
* Oral and written proficiency in English.

Additional requirements:

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

--------------------------------------------------
Employment
--------------------------------------------------

Type of contract: Fixed Term Contract (research profile CCPL)
Gross annual salary: about Euro 39.300
Working hours: full time
Start date: January 2019
End Date: December 2020
Workplace: Trento - Povo
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 by clicking "Apply online" at
the bottom of this page. 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:  20th December 2018


Please read our Regulations on the recruitment and selection of
fixed-term personnel (effective from October 15, 2018) before
completing your application.

For further administrative information, please contact the Human
Resources Services at jobs at fbk.eu

For technical inquiries about the position, send an e-mail at
es-info at fbk.eu.


--------------------------------------------------
The Embedded System Unit (ES Unit)
--------------------------------------------------

The Embedded Systems Research Unit (ES Unit) of the Information and
Communication Technology Center of the Bruno Kessler Foundation
(FBK-irst), Trento, Italy consists of about 25 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 automated planning
and in the field of design and verification of embedded systems for
different applicative contexts,

Current research directions include:

* Model-based planning and scheduling for robotic systems (e.g.,
  autonomous vehicles, UAVs), factory automation, and process
  optimizations (with applications in the field of Industry 4.0),
  leveraging model checking, satisfiability modulo theory, and
  combining explicit and symbolic search techniques;
* Model-based on-board autonomy for different vehicles (e.g., AUV,
  ROV) using planning and scheduling techniques;
* Model-based execution and monitoring of mission plans and
  assumptions under which the mission plan have been generated;
* Model-based recovery relying on planning and scheduling techniques;
* Formal Verification of complex embedded systems leveraging on model
  checking techniques;
* Formal Safety Analysis, based on the integration of traditional and
  symbolic techniques; ( Contract-based engineering and contract-based
  formal verification of aerospace systems using model checking
  techniques;
* Formal contract-based verification relying on model checking
  techniques;
* Formal Requirements Analysis based on temporal logic checks;
* Predictive maintenance by combining model based reasoning with
  machine learning approaches;
* Satisfiability Modulo Theory, and its application to planning and
  scheduling, verification of hardware, embedded critical software,
  and hybrid systems (Verilog, SystemC, C/C++, StateFlow/Simulink,
  SCADE);
* Combination of machine learning and symbolic reasoning for
  predictive maintenance.

More information about the ES Unit is available at http://es.fbk.eu/.