2019-01455 - Post-Doctoral Research Visit F/M Distributed cosimulation of cyberphysical systems
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD de la fonction publique

Niveau de diplôme exigé : Thèse ou équivalent

Autre diplôme apprécié : PhD degree in applied mathematics or computer science

Fonction : Post-Doctorant

A propos du centre ou de la direction fonctionnelle

Inria, the French National Institute for computer science and applied mathematics, promotes “scientific excellence for technology transfer and society”. Graduates from the world’s top universities, Inria's 2,700 employees rise to the challenges of digital sciences. With its open, agile model, Inria is able to explore original approaches with its partners in industry and academia and provide an efficient response to the multidisciplinary and application challenges of the digital transformation. Inria is the source of many innovations that add value and create jobs.

Hycomes has been created as a new team of the Rennes – Bretagne Atlantique Inria research center in July 2013. The team builds upon the most promising results of the former S4 team-project and of the Synchronics large scale initiative. Two topics in embedded system design are covered:

  • Hybrid systems modelling, with applications to multi-physics embedded systems design;
  • Contract-based design and interface theories, with applications to requirements engineering.

Contexte et atouts du poste

A postdoctoral position is available in the Hycomes team at Inria Rennes (France) in the context of the IPL ModeliScale initiative. This position is funded by the Glose project, funded by Safran, and focused on the co-modeling and co-simulation of cyber-physical systems.

Mission confiée

The objective of the postdoctoral position is to investigate compile-time and run-time techniques for the distributed simulation of large cyber-physical systems. This includes Structural Analysis algorithms for partitioning large Modelica models into networks of FMI components that can be efficiently simulated on a distributed computing architecture, but also novel numerical schemes such as Quantized State Systems (QSS) methods and code-generation techniques for these methods.

Principales activités

The postdoctoral researcher is expected to contribute methods, algorithms and software prototypes on one or several of the following topics:

  • Compile-time analysis methods (structural, causality and sensitivity analyses, discrete-/continuous-dynamics typing, static scheduling of computations) for hybrid Modelica models ;
  • Discretization schemes amenable to large scale distributed simulation, such as Quantized State Systems (QSS) methods ;
  • Distributed simulation protocols for networks hybrid systems, based on the FMI standard.

He will work in close collaboration with researchers in Safran and Inria, to evaluate his contributions on case-studies in aeronautics.

Compétences

Technical skills: The postdoctoral researcher is expected to have excellent skills in one or several of the following topics: numerical analysis, programming language design, compilation, high performance / distributed computing. Experience in the Modelica language is not required.

Languages: Excellent scientific writing and oral presentation skills in English. Knowledge of the French language is not required.

Relational skills: Excellent team work skills

Other valued appreciated: Experience in the development of research software prototypes, using modern software engineering methods and tools.

Avantages

  • Subsidised catering service
  • Partially-reimbursed public transport
  • Social security
  • Paid leave
  • Flexible working hours
  • Sports facilities

Rémunération

Monthly gross salary : 2653 euros