Integration of modern and easy ways to define behaviors at the system level
Context
Καιρος (Kairos) est une équipe de recherche, en forte cohésion avec les industries, travaillant sur des méthodes et outils permettant de gérer les comportements (potentiellement temporisés et concurrents) de programmes écrits dans des langages dédiés à différents niveaux d’abstractions. Les langages visés sont principalement dédiés au développement de systèmes cyber physiques (par exemple des satellites, des moteurs d’avions ou des drones). Dans ce cadre nous proposons des outils permettant de simuler un (ensemble de) programmes(s) avec la possibilité d’utiliser un debugger omniscient.
Mission
En collaboration avec des grands groupes français, nous cherchons à permettre à un architecte système de définir un comportement d’une manière naturelle à un haut niveau d’abstraction. Par exemple en lui permettant de tracer une courbe de réponse attendue, de donner des abaques ou encore d’utiliser un petit langage équationnel simple.
Profile
A M2 student, curious and motivated by the world of the simulation of physical cyber models, not afraid to navigate in the middle of different technologies. Note that a PhD on related topics is a possible follow up.
How to apply
Please send your application (PDF) to Julien Deantoni as soon as possible. Screening of applications starts immediately and continues until the position is filled.
