Postdoc: Mathematics
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
CNRS, Institut de Recherche en Informatique Fondamentale, seeks a Recognised Researcher (R2) to advance a new generation of proof assistants. You will contribute to modular reasoning frameworks and formal systems blending linguistic layers with automated assistance for certified mathematics.
The role focuses on algebraic and categorical methods, type theories, and semantics, with a strong emphasis on machine learning aided formalisation and collaboration within a multidisciplinary team.
#J-18808-Ljbffr-
France, Auvergne-Rhône-Alpes CNRS Temps pleinOrganisation/Company CNRS Department Institut de Recherche en Informatique Fondamentale Research Field Computer science Mathematics » Algorithms Researcher Profile Recognised Researcher (R2) Application Deadline 14 Oct 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Nov 2026 Is the...
-
Postdoc (M/F) Theory of Nonequilibrium Quantum Matter
Il y a 3 jours
France, Auvergne-Rhône-Alpes CNRS Temps pleinOrganisation/Company CNRS Department Jeunes équipes de l'Institut de Physique du Collège de France Research Field Computer science Mathematics » Algorithms Researcher Profile Established Researcher (R3) Application Deadline 14 Oct 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 2 Nov...
-
Postdoc in the dynamics of high-dimensional disordered systems
Il y a 1 semaine
France, Auvergne-Rhône-Alpes CNRS Temps pleinOrganisation/Company CNRS Department Laboratoire de physique théorique et modèles statistiques Research Field Physics Chemistry » Computational chemistry Researcher Profile Recognised Researcher (R2) Application Deadline 9 Oct 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Dec 2026...
-
M/F Postdoc
Il y a 2 semaines
France, Auvergne-Rhône-Alpes CNRS - National Center for Scientific Research Temps pleinOrganisation/Company CNRS Department Laboratoire d'analyse et d'architecture des systèmes Research Field Computer science Mathematics » Algorithms Researcher Profile First Stage Researcher (R1) Application Deadline 1 Oct 2026 - 00:00 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Oct 2026 Is the...
-
Saclay - France CEA Temps pleinInformations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition...