2020-02766 - Poste d'ingénieur de développement dans l'équipe SUMO à INRIA Rennes. Développement d'un simulateur dans le cadre de l'ADT MOCHY. Application aux techniques intelligentes de régulation ferroviaire urbaine.

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Autre diplôme apprécié : Master, PhD

Fonction : Ingénieur scientifique contractuel

Niveau d'expérience souhaité : Jeune diplômé

A propos du centre ou de la direction fonctionnelle

Le centre Inria Rennes - Bretagne Atlantique est un des huit centres d’Inria et compte plus d'une trentaine d’équipes de recherche. Le centre Inria est un acteur majeur et reconnu dans le domaine des sciences numériques. Il est au cœur d'un riche écosystème de R&D et d’innovation : PME fortement innovantes, grands groupes industriels, pôles de compétitivité, acteurs de la recherche et de l’enseignement supérieur, laboratoires d'excellence, institut de recherche technologique

Contexte et atouts du poste

Ce poste est un contrat d’ingénieur proposé par l’INRIA Rennes dans le cadre d’une action de Développement Technologique (ADT). L’objectif de cette ADT est de développer un simulateur de modèles concurrents permettant notamment de modéliser des réseaux ferroviaires urbains, d’en analyser les performances, et de proposer des outils de gestion de réseaux ferroviaires urbains efficaces et eécologiques. Cette activité de développement viendra étayer l’activité transports de l’équipe SUMO d’INRIA Rennes, et ses interactions avec des partenaires industriels (Alstom Transport) et académiques.

Le logiciel développé durant l’ADT sera un logiciel Open Source. Le développement sera fait en JAVA (ou éventuellement C++).

L'ingénieur(e) recruté(e) sera intégré(e) dans l'équipe SUMO. Il/elle sera associé(e) aux futures interactions de l'équipe avec des partenaires industriels dans le domaine des transports et aux montages de collaborations.

 

Mission confiée

Missions :
La personne recrutée devra développer un outil de simulaton pour des modèles concurrents. Cet outil permettra de modéliser entre autres des réseaux ferroviaires urbains. La personne recrutée devra concevoir l'architecture de l'outil pour qu'il puisse facilement integrer de nouveaux modules issus de la recherche de l'équipe SUMO en matière de régulation. 

 

Pour une meilleure connaissance du sujet de recherche proposé :
Les références ci-dessous permettront au candidat de se familiariser avec les techniques de régulation et les modèles formels utilisés dans le futur outil.

[BBDHP15] P. Ballarini, B. Barbot, M. Duflot, S. Haddad and N. Pekergin.  HASL: A New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation.  Performance Evaluation 90, pages 53-77, 2015.

[Oris] András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario, Transient analysis of non-Markovian models using stochastic state classes, Performance Evaluation, 2011.

[Romeo] Didier Lime, Olivier H. Roux, Charlotte Seidner, and Louis-Marie Traonouez, Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS’09, 2009.

[Demongodin01] Isabel Demongodin, Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays, Discrete Event Dynamic Systems: Theory and Applications, 11, 137–162, 2001.

[SIMSTORS] K. Kecir, L. Hélouët, A Simulator for Stochastic Regulated Systems, http://www.irisa.fr/sumo/Software/SIMSTORS/, 2015.

[Kecir19] K. Kecir, Performance Evaluation of Urban Rail Traffic management techniques, PhD, Université de Rennes 1, 2019.

[TAPAAL] L. Jacobsen, M. Jacobsen, M. H. Møller, and J. Srba. Verification of timed-arc Petri nets. In SOFSEM’11,  LNCS 6543, p.46-72, 2011.

[Du19] Duplouy, Yann, Applying Formal Methods to Autonomous Vehicle Control, Thèse de doctorat de l’Université Paris-Saclay, 2019.

 

 

 

Collaboration :
La personne recrutée travailera dans l'équipe SUMO. Elle pourra interagir avec des ingénieurs d'Alstom transport.

Responsabilités :
La personne recrutée a la charge de la diffusion en Open Source de l'outil. Elle pourra également, si elle le souhaite, participer à la rédaction de projets (ANR et européens).

Pilotage/Management :
La personne recrutée aura la responsabilité du développement et des choix techniques et architecturaux de l'outil.

Principales activités

Principales activés (5 maximum) :

  • développer l'outil de simulation de modèles concurrents (en JAVA ou C++)
  • rédiger des documentations
  • diffuser le logiciel
  • réaliser des expérimentations

Activités complémentaires (3 maximum) :

  • Lectures d'articles scientifiques
  • participation à des propositions de projets (ANR & Europe)

 

Compétences

Compétences techniques et niveau requis : JAVA, C++ niveau confirmé, distribution Open Source, gestion de projets

Langues : francais et/ou anglais

Compétences relationnelles : esprit d'équipe et curiosité

Compétences additionnelles appréciées : compétences de base en mathématiques (probas et stats niveau terminale), compétences en méthodes formelles appréciées.

Avantages

  • Restauration subventionnée
  • Transports publics remboursés partiellement

Rémunération

Rémunération mensuelle brute à partir de 2562 euros selon diplôme et expérience