Post-Doctoral Research Visit F - M Postdoc Position In Software Language Engineering. H/F - 06

A propos d'Inria

Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.Post-Doctoral Research Visit F/M PostDoc position in Software Language Engineering.
Le descriptif de l'offre ci-dessous est en Anglais
Type de contrat : CDD

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

Fonction : Post-Doctorant

A propos du centre ou de la direction fonctionnelle

The Inria center at Université Côte d'Azur includes 42 research teams and 9 support services. The center's staff (about 500 people) is made up of scientists of dierent nationalities, engineers, technicians and administrative staff. The teams are mainly located on the university campuses of Sophia Antipolis and Nice as well as Montpellier, in close collaboration with research and higher education laboratories and establishments (Université Côte d'Azur, CNRS, INRAE, INSERM ...), but also with the regional economic players.

With a presence in the fields of computational neuroscience and biology, data science and modeling, software engineering and certification, as well as collaborative robotics, the Inria Centre at Université Côte d'Azur is a major player in terms of scientific excellence through its results and collaborations at both European and international levels.

Contexte et atouts du poste

Context :

Currently, there is a significant transformation underway in car manufacturing, driven by the concept of Software Defined Vehicles. Software Defined Vehicles (SDVs) allow cars to be upgraded throughout their lifetimes via a centralized architecture, enabling updates and integration of new applications to enhance their functions. This represents the next revolution in the automotive industry, for which many manufacturers are preparing.

A primary objective of Software Defined Vehicles is to establish a flexible and scalable architecture, facilitating faster development and integration of new features over the vehicle's lifespan.

In this context, HAL4SDV is an innovative collaborative European project that is starting, bringing together major industrial and academic partners to establish a set of standards and new development practices aimed at making SDV development more agile.

The Kairos team, a collaboration between Inria Sophia Antipolis and the I3S laboratory, is seeking a researcher to contribute to this ambitious European project.

Mission confiée

As a reseacher in the Kairos team, you will apply your research skills at defining innovative design/coding environments that help in implementing the vehicle services/apps of tomorrow. The Kairos vision is that these design environments could leverage an abstraction of the services API and lifecycle to provide feedback to developers and system architects regarding the functional and extra-functional impact of their services within the global architecture. Determining the appropriate abstraction and analysis techniques will be an open discussion between the postdoc and the team. The scope of work is broad, encompassing activities such as creating new languages for service API abstraction, employing formal languages for feedback provision, generating simulation environments, studying meta-languages for behavioral semantic definition, and more. Collaboration with our French and European partners will be essential for the success of the project.

Principales activités

The researcher will apply their skills in defining an innovative modeling and development environment, enabling SDV development to be more insightful in their service and deployment choices.

Compétences

Required skills :

- PhD degree in computer science, software engineering, embedded systems, or a related field.
- Proficiency in one of the following research field:

- Language Engineering
- Modeling and Simulation
- Formal Analysis
- Contract Based Design
- innovative Development Methods and Tools

Avantages

- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Contribution to mutual insurance (subject to conditions)

Rémunération

Gross Salary : 2788 € per month