11 proof-checking-postdoc-computer-science-logic positions at CEA

Filters Search
  • CEA | Corbeil Essonnes, le de France | France | 14 days ago

    Within I-Tésé Institute, "Energy Systems and Society" cluster leads approaches in the human and social sciences. In this context, it addresses issues related to energy sufficiency, socio-technical

  • CEA | Corbeil Essonnes, le de France | France | 3 months ago

    responsible to develop and test the new software in collaboration with experts of genomics at Joliot and of computer science at MdS. Your mission will include: Discussions and set-up of the physical models

  • CEA | Corbeil Essonnes, le de France | France | 2 months ago

    REQUIRED SKILLS : Master’s, Engineering or PhD degree in Computer Science, Software Engineering, or related field Minimum 3 years of experience in software development Demonstrable experience in Java, Python

  • CEA | Corbeil Essonnes, le de France | France | 3 months ago

    . We are seeking a motivated researcher with: A PhD in computer science, embedded systems, or related fields. Expertise in fault-injection attacks, formal verification, or microarchitecture security

  • CEA | Port Saint Louis du Rhone, Provence Alpes Cote d Azur | France | about 2 months ago

    may be extended for a further year to include the quantification of 107Pd and 126Sn. You have a PhD in analytical chemistry. You have : - Laboratory skills in chemical analysis using ICP-MS. - Skills in

  • CEA | Tremblay en France, le de France | France | about 2 months ago

    -effectively integrated into advanced technology nodes for sensor, nonvolatile memory, logic, and neuromorphic applications. Currently, hafnium-zirconium mixed oxide (HfxZr1-xO2) offers the widest stoichiometry

  • CEA | Corbeil Essonnes, le de France | France | 3 months ago

    We are looking for a candidate with a Master's degree, Engineer's degree or PhD in computer science, junior or senior, to join a team responsible for the packaging, deployment, and testing

  • CEA | Romans sur Isere, Rhone Alpes | France | 2 months ago

    of components, machining - Parameterization of components - Assembly of the equipment - Functional validation of the developed equipment - Holder of a Ph.D. or an engineering (MSc) degree with a focus on

  • CEA | Corbeil Essonnes, le de France | France | about 1 month ago

    , which performs numerical analytics during the simulation. This is necessary due to the ever-growing gap between file system bandwidth and compute capacities. To this end, we are developing the Deisa

  • CEA | Corbeil Essonnes, le de France | France | 16 days ago

    as needed. Profil du candidat ABOUT YOU ! You are graduated from a PhD ? You are specialized in Energy Economics, Energy Modelling or Operations research ? You have at least minimum 1 to 2 years

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions