286 software-formal-method-phd positions at CNRS

  • CNRS | Champs-sur-Marne, Île-de-France | France | 2 months ago

    explored. The person recruited will be responsible for conducting this environmental assessment using the Life Cycle Assessment (LCA) method, while also contextualizing the work through the most

  • CNRS | Montpellier, Languedoc-Roussillon | France | about 2 months ago

    —ranging from molecular systems to periodic solids, including nanoparticles and interfaces. The Department's long-standing ambition is to maintain close ties with experimental work by developing formal

  • CNRS | Lyon 07, Rhône-Alpes | France | 21 days ago

    radiocarbon-dating method for lagoon-coastal environments based on ostracods, in order to improve the resolution of palaeoenvironmental age-depth models (MAPP). Activity 1: Sedimentological and

  • CNRS | Chasseneuil-du-Poitou, Poitou-Charentes | France | about 1 month ago

    tribology—and LMGC, an expert in simulating contact and wear phenomena using DEM. In addition to the work conducted at the Pprime Institute, the PhD student will participate in and present his/her

  • CNRS | Grenoble, Rhône-Alpes | France | 28 days ago

    mats will be developed using the Multi-Particle Finite Element Method (MPFEM), each fiber being represented as a deformable finite-element body, interacting with its neighbours through contact/cohesive

  • CNRS | Japan | about 2 months ago

    data and produce the new samples, which will be compared with those obtained using the traditional likelihood-based method. Finally, with this more robust algorithm, the researcher will evaluate the

  • CNRS | Toulouse, Midi-Pyrénées | France | about 2 months ago

    simulation in physics rely on a similar formulation of the problem to be solved and an identical resolution method: a probabilistic formulation of the transport problem and Monte Carlo methods for its

  • CNRS | Paris 05, Île-de-France | France | about 2 months ago

    Research Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No Offer Description This project will combine data analysis and method development

  • CNRS | Villeurbanne, Rhône-Alpes | France | 6 days ago

    extend its applicability to X-ray dark-field microscopy using refractive lenses. You will first establish and validate the method in a monochromatic beam configuration, before extending it to the

  • CNRS | Rennes, Bretagne | France | about 2 months ago

    desired products as well as their complete photophysical studies using classical spectroscopies (absorption, luminescence) and electrochemical method (cyclic voltammetry). He/She will analyze and

Enter an email to receive alerts for software-formal-method-phd positions