Sort by
Refine Your Search
-
Listed
-
Employer
- CNRS
- Université Paris-Saclay GS Physique
- Inria, the French national research institute for the digital sciences
- Université de Montpellier
- Ecole Normale Supérieure
- IMT Atlantique
- Institut Pasteur
- Nature Careers
- University of Tours
- Université Sorbonne Paris Nord
- Université de Lille
- Université de Lorraine
- Aix-Marseille Université / CNRS
- Artois University
- Arts et Métiers Institute of Technology (ENSAM)
- BENAJIBA team - INSERM U1342 - Saint-Louis Research Institute
- CEA
- CNRS C2N
- Centrale Lyon Innovation - Ecole Centrale de Lyon
- Centre de recherche en Automatique de Nancy
- Chemistry laboratory ENS de Lyon
- Commissariat à l'Energie Atomique et aux Energies Alternatives - Groupe
- ECOLE NORMALE SUPERIEURE DE LYON
- Ecole européenne de sciences politiques et sociales (ESPOL)
- GREMAN (UMR CNRS 7347)
- ICube laboratory - CNRS
- IFP Energies nouvelles (IFPEN)
- IMT MINES ALES
- IMT Mines Ales
- IMT mines Alès, Mines Saint Etienne (50%/50%)
- Inserm 1266
- Institut Jean Lamour - CNRS
- Institut Jean Lamour - CNRS - Université de Lorraine
- NLOPTICS
- UNIVERSITE ANGERS
- Universite de Montpellier
- Universite de Poitiers
- University Paul Sabatier
- University of Lille
- Université Bourgogne Europe
- Université Claude Bernard Lyon 1
- Université Grenoble Alpes
- Université Gustave Eiffel
- Université Paris Cite - INSERM
- Université Paris-Saclay GS Santé et médicaments
- Université Paris-Saclay GS Sciences de l'ingénierie et des systèmes
- Université de Bordeaux / University of Bordeaux
- Université de Caen Normandie
- Université de Pau et des Pays de l'Adour
- Université de Rennes
- Université de Strasbourg
- École nationale des ponts et chaussées
- École polytechnique
- 43 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 2 months ago
Inference https://arxiv.org/abs/2312.02179 Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving https://arxiv.org/abs/2507.23726 Kimina-Prover Preview: Towards Large Formal Reasoning Models
-
. Characterize the adaptive immune response in vivo (Th1/Th2 profile, CD4/CD8 responses). Study the effect of different RNP structures (monomers, multimers, chaperone-bound complexes) on immune efficacy. Proposed
-
Centrale Lyon Innovation - Ecole Centrale de Lyon | Saint Etienne, Rhone Alpes | France | 2 months ago
Contact Website https://ltds.ec-lyon.fr/equipes-de-recherche/geomateriaux-et-construction-durable-gcd/ STATUS: EXPIRED
-
carried out in the team Soft Matter: Structure and Dynamics, at the Paul-Pascal Research Center, a laboratory affiliated to the CNRS and the University of Bordeaux. The laboratory is located in Pessac and
-
Infrastructure? No Offer Description The research will take place at the IPREM laboratory, UMR CNRS 5254 (website: https://iprem.univ-pau.fr/fr/index.html /). IPREM (Institute of Analytical Sciences and Physico
-
(UMR), une structure de recherche commune à plusieurs institutions (CNES, CNRS, IRD, UT). Where to apply Website https://emploi.cnrs.fr/Candidat/Offre/UMR5126-DOMTAR-034/Candidater.aspx Requirements
-
steps between natural language texts and formalized proof documents, and automation tools for the efficient construction of definitions, theorems, and proofs. Where to apply Website https://emploi.cnrs.fr
-
nanoparticles will be characterized structurally and photophysically, then studied by fluorescence microscopy in the presence of cells on 2D or 3D substrates in order to assess force measurements. The project
-
are looking for a postdoctoral researcher in the field of additive manufacturing of construction materials for research fellowship through the European HORIZON-MSCA-COFUND programme, Bienvenüe+. Thisis
-
Polytechnic Engineering School, bringing together 30,000 students. With 36 nationally and internationally recognized research units, the University contributes to the regional structuring of research. It