Designer of supervision architectures dedicated to distributed systems

il y a 1 mois

Saclay, France CEA Temps plein

Position description

Category

Mathematics, information, scientific, software

Contract

Fixed-term contract

Job title

Designer of supervision architectures dedicated to distributed systems - CDD - Paris-Saclay W/M

Socio-professional category

Executive

Contract duration (months)

36

Job description

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.

Applicant Profile

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.

Position location

Site

Saclay

Job location

France

Location

Saclay

Candidate criteria

Languages

English (Fluent)

Recommended training

PhD formal methods

Requester

Position start date

01/06/2024

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

    il y a 1 mois

    Saclay, France CEA Temps plein

    Description de l'offre 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...

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

    il y a 2 semaines

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

  • Pharmacovigilance Case Processing Officer

    il y a 1 mois

    Saclay, France Servier Temps plein

    The PV Case Processing Officer handles responsability for the management of pharmacovigilance cases subcontracted to a vendor from collection to submission.  Activities & Responsibilities The Pharmacovigilance Case Processing Officer is responsible for : Monitoring the activities outsourced to the service providers : Management of pre and...

  • Réparation Du Système Nerveux Central Après Une

    il y a 4 semaines

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

    **Réparation du système nerveux central après une encéphalite virale // Repair of the central nervous system after viral encephalitis**: - Réf - **ABG-112421** **ADUM-47455** - Sujet de Thèse- 23/03/2023- Université Paris-Saclay GSLife Sciences and Health- Lieu de travail- Saclay - France- Intitulé du sujet- Réparation du système nerveux central...

  • Director Global Safety Case Processing

    il y a 1 mois

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

  • Pharmacovigilance Regulatory

    il y a 1 mois

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

  • Head of R&d Western Europe Packaging

    il y a 7 jours

    Saclay, 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.** You ensure that technical, scientific and business programs are completed on time and on budget. In addition, you manage the talent in your assigned area and jointly set the direction for your region...

  • Senior Project Manager

    il y a 1 mois

    Saclay, France D-ploy Temps plein

    D-ploy is an IT and Engineering Solutions company with operations throughout the EMEA region including Switzerland, Germany, Czech Republic, Austria, UK, as well as the USA. We pride ourselves on delivering innovative and superior services and solutions to numerous industry-leading clients. By building relationships and trusted partnerships within the IT...

  • Responsable de Coordination Projet Productivité

    il y a 4 semaines

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

  • Director Global Safety B/R Evaluation

    il y a 4 semaines

    Saclay, 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 7 jours

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

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

    il y a 4 jours

    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é H/F

    il y a 3 semaines

    Saclay, France CEA Temps plein

    Description de l'offre 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...

  • Chercheur en Nutrition

    il y a 7 jours

    Saclay, 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.** French version below At the heart of the long term discover strategy, co-lead the workload of carbohydrate metabolism directly in line with business needs in the context of sugar reduction challenge,...

  • Safety International

    il y a 1 mois

    Saclay, France Servier Temps plein

    The Safety International & EEA QPPV Office Assistant provides assistance in the organizational, administrative and technical coordination of the activities of the International unit & EEA QPPV Office. Technical responsibilities and EEA QPPV Office • Maintain tracking tables related to document the EEA QPPV oversight • Supervise the Generic email...

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

    il y a 5 jours

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

  • Working Student

    il y a 4 semaines

    Saclay, France NXP Semiconductors Temps plein

    **The team**: - This position is located within our Global Sales and Marketing group and part of the Global Sales Operations team. Global Sales operations objective is to support and promote that best practices are accessible and used by Sales, Marketing and Operations. This involves: Sales forecasting, Sales trend analyses, Sales KPIs, Opportunity funnel,...

  • Chef(fe) De Groupe

    il y a 2 semaines

    Saclay, 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. Leading a team of RDQ professionals in product development, you identify and prioritize development activities. You lead teams that deliver RDQ activities needed to complete new product development, and...

  • Responsable de Projet Bâtiment

    il y a 1 semaine

    Saclay, 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, develop and execute capital projects by supporting technical developments, feasibility perspectives of engineering-related activities in supply chain and capital expense project execution to...

  • Chef(fe) De Groupe

    il y a 2 semaines

    Saclay, 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. Leading a team of RDQ professionals in product development, you identify and prioritize development activities. You lead teams that deliver RDQ activities needed to complete new product development, and...