Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- CNRS
- Inria, the French national research institute for the digital sciences
- Université de Strasbourg
- Aix-Marseille Université
- Institut des Hautes Etudes Scientifiques
- Institut des Hautes Études Scientifiques
- Télécom Paris
- CNRS-ENS-UCBL
- Consortium Virome@tlas
- Ecole Normale Supérieure
- Observatoire de la Côte d'Azur
- Université Grenoble Alpes
- Université Savoie Mont Blanc
- Université de Limoges
- École Normale Supéireure
- 5 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 27 days ago
dependent type theory, imperative programming (control operators, memory assignment, exceptions, ...), classical axioms (excluded-middle, axiom of choice, extensionality), logical translations (double
-
Institut des Hautes Etudes Scientifiques | Bures sur Yvette, le de France | France | about 10 hours ago
Description IHES is advertising one (2+1)-year post-doctoral position in theoretical and/or mathematical physics with a starting date in fall 2026. Successful candidate will work with Prof. Slava Rychkov
-
Institut des Hautes Etudes Scientifiques | Bures sur Yvette, le de France | France | about 10 hours ago
+1)-year post-doctoral position in theoretical physics with a starting date in fall 2026. All candidates working on scattering amplitudes, effective field theory and/or gravitational wave physics
-
Institut des Hautes Études Scientifiques | Bures sur Yvette, le de France | France | about 23 hours ago
Description IHES is advertising one (2+1)-year post-doctoral position in theoretical and/or mathematical physics with a starting date in fall 2026. Successful candidate will work with Prof. Slava Rychkov
-
Institut des Hautes Études Scientifiques | Bures sur Yvette, le de France | France | about 23 hours ago
(2+1)-year post-doctoral position in theoretical physics with a starting date in fall 2026. All candidates working on scattering amplitudes, effective field theory and/or gravitational wave physics
-
the dynamics and statistics of topological defects in active systems, using continuum theories of active ordered states. This project will require both numerical and analytical work. The position will be based
-
Testable Theories of Linear Programming, we expect the candidate to perform both theoretical and computational work. The candidate will be working in the MAAD axis at LIMOS under the direction of Dr. Sophie
-
physics. Analytical and numerical calculations/ Laboratoire Jean Perrin theory group Where to apply Website https://emploi.cnrs.fr/Candidat/Offre/UMR8237-RAPVOI-005/Candidater.aspx Requirements Research
-
conceptual DFT (linear response function, Fukui functions) or QTAIM theory (delocalization index), and their validation on a set of compounds known from the literature - interfacing a MLIP (Machine-Learned
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | 4 days ago
on dependent type theory. Strong knowledge in Human Machine Interaction. Languages Advanced English. Relational skills Communicate about your ideas and results. Work autonomously, while talking about strategic