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

il y a 6 jours


La CellesousGouzon, France Inria Temps plein
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 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

  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • La Celle-sous-Gouzon, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelleThe 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...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • La Celle-sous-Gouzon, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelleThe 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...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelle The Inria centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre'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...


  • La Celle-sous-Gouzon, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelleThe 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...


  • La Celle-sous-Gouzon, FR Inria Temps plein

    A propos du centre ou de la direction fonctionnelleThe 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...


  • La Celle-sous-Gouzon, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelleThe 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...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • Marsannay-la-Côte, Bourgogne-Franche-Comté, France ACTEMIUM BOURGOGNE FRANCHE-COMTE Temps plein

    Job Description:As a **Software Developer**, you will be responsible for designing and implementing software solutions that meet the needs of our clients. You will work closely with cross-functional teams to deliver high-quality software products.Key Responsibilities:• Design and implement software solutions using programming languages and software...


  • La Celle-sous-Gouzon, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelleThe Inria centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre'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...

  • Ingénieur software

    il y a 11 heures


    La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • La Celle-sous-Gouzon, Nouvelle-Aquitaine, France Inria Temps plein

    About Inria and the JobInria is a world-renowned research center that focuses on the development of digital technologies that transform society. The Inria centre at Université Côte d'Azur is a leading player in the field of digital health, with a strong emphasis on research and innovation. This position is part of the research program PEPR Santé...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    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...


  • La Celle-sous-Gouzon, 22410, France Inria Temps plein

    A propos du centre ou de la direction fonctionnelle The Inria centre at Université Côte d'Azur includes 37 research teams and 8 support services. The centre'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...


  • La Tremblade, France Ifremer Temps plein

    The Marine Invertebrate Health Adaptation Unit (ASIM) conducts projects related to i) the study of diseases affecting marine mollusks; ii) the detection and study of disease outbreaks; iii) host adaptation to these diseases (resistance development and associated determinism). The ASIM unit serves as a strong integration point between research activities and...


  • La Celle-sous-Gouzon, Nouvelle-Aquitaine, France Qorvo, Inc. Temps plein

    Job Title: Software Development ProfessionalAre you a highly skilled software developer looking for a new challenge? Do you have experience in modern technologies and a strong foundation in computer science? We are seeking a talented developer to join our team as a software development professional.Responsibilities:• Develop high-quality software...


  • La Celle-sous-Gouzon, 22410, France Helsing Temps plein

    At Helsing, data lies at the core of our AI capabilities and we put huge emphasis on acquiring real world records to validate our algorithms. As this is an entry level role, you are given the task of leading the data acquisition and labelling process for the development of our AI algorithms, enabling you to learn how advanced AI algorithms are trained and...