Post-Doctoral Research Visit F/M PostDoc position in Software Language Engineering.

Type de contrat : CDD Contrat renouvelable : Oui 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 different 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 researcher 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 fields: 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 Informations générales Thème/Domaine : Ingénierie logicielle (BAP E) Ville : Sophia Antipolis Centre Inria : Centre Inria d'Université Côte d'Azur Date de prise de fonction souhaitée : 2025-01-01 Durée de contrat : 3 ans Date limite pour postuler : 2024-12-31 Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti. Consignes pour postuler Applications must be submitted online on the Inria website. Collecting applications by other channels is not guaranteed. Sécurité défense : Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement. Politique de recrutement : Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap. Contacts Équipe Inria : KAIROS Recruteur : Deantoni Julien / [email protected] 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'e?orce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie. #J-18808-Ljbffr