[Hol-info] PostDoc Positions on Planning and Scheduling in the Embedded System Research Unit

[Marco R. <ro...@fb...>]

(We apologize if you receive multiple copies of this message)

======================================================================
Call  ES_PANDS_2017_postdoc
======================================================================
Opening date:  December 1, 2016
Closing date:  January 16, 2017

A PostDoc position is available in the Embedded Systems Research
Unit (ES) at Bruno Kessler Foundation (FBK), Center for Information
Technology.

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
centers, whose activities and production are available at
http://www.fbk.eu/research-centers.

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
for different application contexts, and design and verification of
embedded systems.

Current research directions include:

* Model based planning and scheduling for aerospace systems, for the
  management of autonomous vehicles, for factory automation, and for
  process optimizations (with applications in Industry 4.0),
  leveraging model checking and satisfiability modulo theory
  techniques;

* Formal Requirements Analysis based on techniques for temporal logics
  (consistency checking, vacuity detection, input determinism,
  cause-effect analysis, realizability and synthesis);

* Model-based engineering and formal verification of aerospace systems
  using model checking techniques;

* Model based on-board reasoning systems for autonomous vehicles using
  planning and scheduling techniques;

* Formal Safety Analysis, based on the integration of traditional
  (e.g. Fault-tree analysis, FMEA) with symbolic verification
  techniques.

* Model based techniques for fault detection, identification relying
  on model checking techniques;

* Model based recovery relying on planning and scheduling techniques;

* 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);

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

======================================================================
Job Description
======================================================================

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). He/She will carry out research activities
in the field of planning and scheduling and architectures for autonomy
(planning, scheduling, execution, monitoring) applied to the design
and implementation of adaptive systems with critical timing, safety
and security requirements. In particular, the activities will focus
on:

* 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 validation techniques for
  validation of planning and scheduling domains, and 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.

The candidate is expected to work in collaboration with other
researchers, programmers, and students involved in the project.

Required:

* PhD in computer science, mathematics or electronic engineering (to
  be completed within 2017);
* 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;

Preferred:

In depth previous experience in at least one of the following areas:
* Planning and Scheduling
* Autonomy Architecture
* Symbolic Model Checking
* Solid background in logic
* Temporal Logics and Property Specification Languages
* Satisfiability Modulo Theory
* Formal Specification and Analysis of Architectures
* Software Model Checking

======================================================================
Employment
======================================================================

Type of contract: Fixed Term Contract
Gross annual salary: about 38.100 Euro
Working hours: full time
Benefits: flexible-time, company subsidized cafeteria or meal vouchers,
          internal car park, welcome office support for visa
          formalities, support for early accommodation, social
          security, etc., reductions on bank account opening fees,
          public transportation, sport, and language course fees.

Start date: February/March 2017
Workplace: Povo (TN)
Application deadline: January 16, 2017

======================================================================
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 jo...@fb....

The position is subject to budget approval.

Candidates who pass the preliminary curricula screening will be
contacted shortly afterwards for an interview. Non selected applicants
will be notified of their exclusion at the end of the selection
process.

Please note that FBK may contact shortlisted candidates within a
period of 12 months, for the selection processes of similar vacancies.

For reasons of professional transparency, the name of the successful
candidate will be published on the FBK website following acceptance of
the position.