Modeling Expert

il y a 4 semaines


Palaiseau, Île-de-France CEA Temps plein
Job Description

We are seeking a highly skilled Modeling Expert to join our team at the CEA List institute. As a key player in research, development, and innovation, we are committed to technological innovation in digital systems.

About the Role

The successful candidate will be responsible for evaluating the scalability of our workflow for detecting Timing Anomalies (TAs) in safety-critical systems. This will involve representing basic blocks in the formal specification of programs and studying the propagation of TAs across multiple basic blocks. The candidate will also investigate ways to optimize the scalability of our workflow using WCET cache analyses, varying the verification instant, and employing different model-checkers.

Requirements
  • Computer engineering student (final year) or master 2 student with knowledge in computer architecture and formal methods, particularly model checking.
  • Excellent communication and writing skills, with the ability to work in a team and demonstrate motivation and eagerness to learn.
About the Company

The CEA is a key player in research, development, and innovation in four main areas: defense and security, nuclear and renewable energies, technological research for industry, and fundamental research in the physical sciences and life sciences. Our List institute is committed to technological innovation in digital systems, and our DSCIN department is dedicated to the analysis and verification of timing properties of embedded systems.


  • Python Engineer

    il y a 3 semaines


    Palaiseau, Île-de-France Descartes Underwriting Temps plein

    About Descartes UnderwritingDescartes Underwriting is a leading provider of parametric insurance solutions for weather and climate-related risks. Our team of experts uses machine learning and real-time monitoring from satellite imagery and IoT to deliver innovative risk management solutions.About the RoleWe are seeking a Python Engineer to join our Data,...

  • Modeling Expert

    il y a 4 semaines


    Palaiseau, Île-de-France CEA Temps plein

    Unlock the Secrets of Multisensory IntegrationJoin CEA in a cutting-edge internship that delves into the intricacies of multisensory integration (MSI) through whole brain network modeling. MSI is a fundamental aspect of perception, enabling organisms to combine inputs from different sensory modalities to form a unified representation of the external...

  • Game Mathematician

    il y a 3 semaines


    Palaiseau, Île-de-France Ancient Gaming Temps plein

    About the RoleAncient Gaming is seeking a highly skilled Game Mathematician to join our team. As a pioneer in the iGaming software industry, we are constantly pushing the boundaries of what's possible, setting new standards with engaging software and transformative experiences.As a Game Mathematician, you will leverage advanced mathematical principles and...


  • Palaiseau, Île-de-France INRIA Temps plein

    ContextArtificial intelligence is rapidly advancing, yet the majority of computing power remains focused on modeling and predicting physical phenomena, such as climate models, weather forecasting, or nuclear physics. These simulations are run on highly parallel supercomputers that are optimized for the task at hand. However, the communication networks and...

  • Data Scientist

    il y a 3 semaines


    Palaiseau, Île-de-France Descartes Underwriting Temps plein

    About Descartes UnderwritingDescartes Underwriting is a pioneering company in the field of parametric insurance for weather and climate-related risks. Our team of experts uses cutting-edge technology, including machine learning and real-time monitoring from satellite imagery and IoT, to deliver innovative risk management solutions.About the RoleWe are...

  • Data Architect F/H

    il y a 3 semaines


    Palaiseau, Île-de-France Safran companies Temps plein

    Job DescriptionReporting to the Safran Landing Systems Director of IS Architecture and Cloud Factory, the Data Architect will design and implement the organization's data architecture and strategy. As part of a digital transformation program initiated by the group, you will be involved in the design and support of the construction of the DATA 4.0 environment...


  • Palaiseau, Île-de-France INRIA Temps plein

    Job DescriptionContext and OpportunitiesIn the rapidly evolving field of artificial intelligence, the majority of the world's computing power is dedicated to modeling and predicting physical phenomena, such as climate models, weather forecasting, or nuclear physics. These simulations are run on highly parallel supercomputers, optimized for the task at hand....

  • Data Architect

    il y a 3 semaines


    Palaiseau, Île-de-France Safran companies Temps plein

    Job DescriptionThe Data Architect will be responsible for designing and implementing the organization's data architecture and strategy. As part of a digital transformation program initiated by the group, you will be involved in the design and support of the construction of the DATA 4.0 environment for Safran Landing Systems.The Data Architect will define...

  • Data Architect

    il y a 3 semaines


    Palaiseau, Île-de-France Safran companies Temps plein

    Job DescriptionThe Data Architect will play a key role in designing and implementing the organization's data architecture and strategy. As part of a digital transformation program initiated by the group, you will be involved in the design and support of the construction of the DATA 4.0 environment for Safran Landing Systems.The Data Architect will define...


  • Palaiseau, Île-de-France Inria Temps plein

    About the Centre or DepartmentThe Inria Saclay-Île-de-France Research Centre was established in 2008. It has developed as part of the Saclay site in partnership with Paris-Saclay University and with the Institut Polytechnique de Paris. The centre has 39 project teams, 27 of which operate jointly with Paris-Saclay University and the Institut Polytechnique de...


  • Palaiseau, France INRIA Temps plein

    Contexte et atouts du poste While artificial intelligence is growing at a fast pace, the bulk of the world’s computing power remains targeted at modeling and predicting physical phenomena, such as climate models, weather forecasting, or nuclear physics. These simulations are run on highly parallel supercomputers on which both the hardware and the...

  • Quantum Algorithm Developer

    il y a 2 semaines


    Palaiseau, France PASQAL Temps plein

    **About Pasqal** PASQAL designs and develops Quantum Processing Units (QPUs) and associated software tools. In addition to the exceptional computing power they provide, QPUs are highly energy efficient and will contribute to a significant reduction in the carbon footprint of the HPC industry. Pasqal's Quantum Graph Machine Learning (QGML) team is a...


  • Palaiseau, France CEA Temps plein

    Position description Category Electronics components and equipments Contract Fixed-term contract Job title Post-doc application of formal methods for interferences management H/F Socio-professional category Executive Contract duration (months) 18 Job description Within a multidisciplinary technological research...


  • Palaiseau, France PASQAL Temps plein

    About PasqalPASQAL designs and develops Quantum Processing Units (QPUs) and associated software tools.Our innovative technology enables us to address use cases that are currently beyond the reach of the most powerful supercomputers; these cases can concern industrial application challenges as well as fundamental science needs.In addition to the exceptional...


  • Palaiseau, France Socotec Temps plein

    Description de l'entrepriseLet's SOCOTEC your potential !Leader dans son secteur, SOCOTEC est le seul groupe international 100% dédié, depuis 70 ans, à la gestion des risques et au conseil technique dans la construction, l'immobilier et les infrastructures. Pour accompagner sa croissance, SOCOTEC recrute 1500 nouveaux collaborateurs en 2024.Travailler...