Designer of supervision architectures dedicated to distributed systems

il y a 2 semaines

Saclay, Île-de-France CEA Temps plein
Designer of supervision architectures dedicated to distributed systems - CDD - Paris-Saclay W/M Category Mathematics, information, scientific, software
Contract Job title Designer of supervision architectures dedicated to distributed systems - CDD - Paris-Saclay W/M
Executive
36

Join CEA to Add Meaning to Your Work, Lead and Support National and International R&D Projects, Nurture and Ignite Your Curiosity.

IN SUMMARY, WHAT DO WE OFFER YOU?
Runtime Verification (RV) is at the crossroads of formal verification and monitoring. It consists in analyzing system executions, as observed by means of a monitoring

architecture, in order to verify their conformity to a formal reference model, characterizing the set of acceptable behaviors of the system.

When dealing with distributed systems, the ability of an RV technique to analyze the communication flows between the subsystems is a central element, since distributed systems are composed of subsystems deployed on different machines and interacting by message passing to perform services.

This ability relies first on the expressivity of the language used to
specify the formal reference models. It is essentially a question of being able to model asynchronous communications between concurrent processes.

This is possible in a wide variety of formalisms, including formalisms derived from Message Sequence Charts (MSC) and UML sequence diagrams (UML-SD).

We refer to such models as "interactions".

CEA LIST is developing the MAAT IAT (Interaction Analysis Tool) to analyze distributed system executions and confront them with interactions.

When the system is running, execution traces are logged on each of the subsystems.

The traces of all the subsystems are gathered in a trace tuple, which is then analyzed by an RV algorithm.

The principles of this approach are detailed in several publications [1,2].
There are two types of RV approaches: offline and online approaches.

In offline approaches, the observed executions are collected a priori during a logging phase, while in online approaches, the verification process continuously interacts with the monitoring architecture.


YOUR MISSION:


The preciseness of the information computed by an RV algorithm depends on how precise the observations of the system executions are.

When dealing with online runtime verification such observations are realized via a so-called monitoring architecture.

The monitoring architecture should be reliable, that is avoid losing information, and rapid enough to allow the RV algorithm to perform its analysis as soon as possible, trying to cope with the frequency of observations imposed by the system execution.

One of the practical limitations of online RV is that, for economic reasons, it is often not possible to design and implement a complete monitoring architecture from scratch, for each new system to be verified.

It is therefore desirable to design a generic library of monitoring functionalities that can be used for that purpose. You will contribute to the design and implementation of such a library for the MAAT IAT tool.
DO YOU STILL HAVE A DOUBT?
The sidelines of your main mission may interest you:
A cutting-edge research ecosystem , unique in its kind and dedicated to themes of high societal importance, which gives meaning to your mission
Training to strengthen your skills, acquire new ones and boost your mission
A work/life balance recognized by our employees
The possibility of teleworking to balance transport times and contribute to your quality of life
A works council rich in benefits and social, cultural and sporting activities
A workplace in the heart of a dynamic plateau, surrounded by schools and tech companies
A subsidized company restaurant nearby
A company savings plan with employer contribution
Public transport costs covered at 75%
Dedicated shuttles from Paris

REQUIRED SKILLS :


You have a PhD in computer science in the field of formal methods , ideally, with knowledge in Runtime Verification or Model-Based Testing .

You also have an interest in software engineering and on applying formal methods on concrete use cases to evaluate their scaling .

You enjoy developing software tools and have programming experience (experience in C++ or Rust would be a plus).

By joining our team, you'll have the opportunity to contribute to the future of real-time verification, making a meaningful difference in the world of distributed systems.

If you're passionate about innovation, research, and software development, we encourage you to apply and be part of our exciting journey.

In accordance with the commitments made by the CEA in favor of the integration of people with disabilities, this job is open to everyone.

[1] Mahe, E., Gaston, C.

, Le Gall, P:

Revisiting semantics of interactions for trace validity analysis. FASE 2020. Springer.
[2] Mahe, E., Bannour, B., Gaston, C., Lapitre, A.

, Le Gall, P:

A small-step approach to multi-trace checking against interactions. SAC 2021. ACM.
Site Saclay
Job location France
Location Saclay
Languages Recommended training PhD formal methods
Requester 01/06/2024
General information Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas : Organisation The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :

  • defence and security,
  • nuclear energy (fission and fusion),
  • technological research for industry,
  • fundamental research in the physical sciences and life sciences. Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners. The CEA is established in ten centers spread throughout France #J-18808-Ljbffr

  • Phd Thesis Graph Neural Networks For Predicting Power Consumption In Digital Electronic Architectures H/F

    il y a 2 semaines

    Saclay, Île-de-France CEA Temps plein

    Power consumption analysis is an important step in the development of a digital architecture. This power analysis is necessary early on in the RTL (Register Transfer Level) coding stage when the most advantageous modifications can BE made. As designs become larger, power analysis relies on longer simulation traces and becomes nearly impossible because the...

  • PhD thesis: Graph Neural Networks for Predicting Power Consumption in Digital Electronic Architectures

    il y a 4 semaines

    Saclay, Île-de-France Cea Temps plein

    Power consumption analysis is an important step in the development of a digital architecture. This power analysis is necessary early on in the RTL (Register Transfer Level) coding stage when the most advantageous modifications can be made. As designs become larger, power analysis relies on longer simulation traces and becomes nearly impossible because the...

  • Implementation of a Web3 Application for Green

    il y a 2 semaines

    Saclay, Île-de-France CEA - Commissariat à l'Energie Atomique Temps plein

    General information:Organisation :The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas:defence and security,- nuclear energy (fission and fusion),- technological research for industry,- fundamental research in the physical sciences and life sciences.Drawing on its widely...

  • Generation of Multi-parameter Cross-section

    il y a 2 semaines

    Saclay, Île-de-France CEA - Commissariat à l'Energie Atomique Temps plein

    Domaine:Neutronique et physique des réacteursContrat:StageIntitulé de l'offre:GENERATION OF MULTI-PARAMETER CROSS-SECTION LIBRARIES FOR THE WATTS BAR BENCHMARK USING APOLLO3 H/FSujet de stage:Durée du contrat (en mois):6Description de l'offre:The new code APOLLO3 is currently under development at CEA, whose main goal is to provide a unified deterministic...

  • Director Global Safety Case Processing

    il y a 2 semaines

    Saclay, Île-de-France Servier Temps plein

    We are looking for you as a Case Processing & Tools management Director to join our Global Safety You will ensure that robust processes are in place for the management of case processing activities and IT tools maintenance, coordinating the development of our systems in order to allow continuous improvement of the department's activities, managing these...

  • Pharmacovigilance Regulatory

    il y a 2 semaines

    Saclay, Île-de-France Servier Temps plein

    The Pharmacovigilance Regulatory & Compliance Officer is mainly responsible for : Contributing to maintain or improve quality performance and compliance of operational PV activities Ensuring Deviation and CAPA Management, Document Control, and other Quality Management System activities. Developing, managing, and executing quality management processes...

  • Research Engineer on Attosecond Laser Platform H/F

    il y a 2 semaines

    Saclay, Île-de-France CEA Temps plein

    A research engineer position is available on the ATTOLab and Nanolight platforms of LIDYL at CEA Paris-Saclay. The person, recruited on 3-year contract, will contribute to R&D programs aimed at increasing the performance of beamlines and end-stations to maintain them at the international state-of-the-art, and to guarantee and organize their operation. In...

  • Ingénieur(e) Analyse Physico Chimique

    il y a 2 semaines

    Saclay, Île-de-France Mondelēz International Temps plein

    Description Are You Ready to Make It Happen at Mondelēz International? Join our Mission to Lead the Future of Snacking. Make It With Pride. You plan and execute experiments and apply your fundamental understanding to analysis of results. You also plan and implement projects, taking corrective measures when necessary and communicate effectively...

  • Ingénieur en Instrumentation et Système Embarqué H/F

    il y a 2 semaines

    Saclay, Île-de-France CEA Temps plein

    Le Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) recherche un(e) ingénieur(e) de recherche en instrumentation et système embarqué.Vous serez amené(e) à développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire.A partir des concepts d'emplois définis...

  • Responsable de Coordination Projet Productivité

    il y a 2 semaines

    Saclay, Île-de-France Mondelēz International Temps plein

    **Job Description**:**Are You Ready to Make It Happen at Mondelēz International?****Join our Mission to Lead the Future of Snacking. Make It With Pride.**Working as part of a cross functional team, you lead RDQ activities to complete packaging design and packaging deployment for innovation/growth projects and productivity projects across multiple...

  • Energy Quantitative Modelling Engineer

    il y a 3 semaines

    Saclay, Île-de-France Cea Temps plein

    a - The main missionsWithin the Institute, you are a member of a team of 8-10 energy systems modellers. You participate in our energy systems modeling work, in particular our long-term global and power systems partial equilibrium models. You are a source of proposals for research and experimentation with innovative modeling and data analysis techniques. You...

  • Ingénieur(e) en instrumentation et système embarqué

    Il y a 2 mois

    Saclay, Île-de-France Cea Temps plein

    Le Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) recherche un(e) ingénieur(e) de recherche en instrumentation et système embarqué.Vous serez amené(e) à développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire.A partir des concepts d'emplois définis...

  • Ingénieur(e) en instrumentation et système embarqué

    il y a 4 semaines

    Saclay, Île-de-France Cea Temps plein

    Le Laboratoire Architectures Electroniques, Modélisation et Analyse de données (LEMA) recherche un(e) ingénieur(e) de recherche en instrumentation et système embarqué.Vous serez amené(e) à développer des outils de détection de rayonnements ionisants dans le cadre d'un projet pour l'instrumentation nucléaire.A partir des concepts d'emplois définis...

  • Research engineer on attosecond laser platform

    il y a 4 semaines

    Saclay, Île-de-France Cea Temps plein

    A research engineer position is available on the ATTOLab and Nanolight platforms of LIDYL at CEA Paris-Saclay. The person, recruited on 3-year contract, will contribute to R&D programs aimed at increasing the performance of beamlines and end-stations to maintain them at the international state-of-the-art, and to guarantee and organize their operation. In...

  • Director Global Safety B/R Evaluation

    il y a 2 semaines

    Saclay, Île-de-France Servier Temps plein

    You are leading the management of Signal detection, Risk management system, the responses to questions from competent authorities, ensuring Safety communication and the management of studes's safety part, observing domestic and international regulatory requirements.Ensuring the review and the approval of periodic safety update reports required at...

  • Director Global Safety B/R Evaluation

    il y a 2 semaines

    Saclay, Île-de-France Servier Temps plein

    We are looking for you as a Benefits & Risks Evaluation Director to join our Global Safety Head Dept You are leading the management of Signal detection, Risk management system, the responses to questions from competent authorities, ensuring Safety communication and the management of studes's safety part, observing domestic and international regulatory...

  • Intégration Sensorimotrice de La Variabilité

    il y a 2 semaines

    Saclay, Île-de-France Université Paris-Saclay GSLife Sciences and Health Temps plein

    **Intégration sensorimotrice de la variabilité pendant l'apprentissage du chant // Sensorimotor integration of variability during birdsong learning**:- Réf- **ABG-118439****ADUM-50925**- Sujet de Thèse- 25/11/2023- Université Paris-Saclay GSLife Sciences and Health- Lieu de travail- Saclay - France- Intitulé du sujet- Intégration sensorimotrice de la...

  • Post-doctoral position

    il y a 4 semaines

    Saclay, Île-de-France Cea Temps plein

    Context : New nanostructured or two-dimensional materials, thanks to their specific intrinsic properties, - optical, -magnetic, -electrical, -catalytic, -mechanical, etc. hold great potential for the fabrication of ultrasensitive nanodevices, for screening, early diagnosis of diseases or detection of pollutants. Among them, compact 2D-assembly of gold...

  • Post-doctoral position

    Il y a 2 mois

    Saclay, Île-de-France Cea Temps plein

    Context : New nanostructured or two-dimensional materials, thanks to their specific intrinsic properties, - optical, -magnetic, -electrical, -catalytic, -mechanical, etc. hold great potential for the fabrication of ultrasensitive nanodevices, for screening, early diagnosis of diseases or detection of pollutants. Among them, compact 2D-assembly of gold...

  • Tech Lead plateforme progicielle Pharmaceutique

    il y a 2 semaines

    Saclay, Île-de-France emagine Consulting Temps plein

    emagine recherche pour son client final grand compte, un(e) Tech Lead Intégration plateforme progicielle. Vous serez en charge de la partie coordination et support technique sur le stream intégration et interfaçage de la plateforme et de l'ensemble de ses modules au sein du SI et ce sous la responsabilité du Stream Leader du Stream intégration. Vos...