Postdoc position in mathematics and fondamental computer science
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é.
Organisation/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 job funded through the EU Research Framework Programme? Horizon 2020 Is the Job related to staff position within a Research Infrastructure? No
Offer Description
- Development of a higher-dimensional algebraic and formal framework which enables one to reason in a modular fashion, independent of the choice of logical and algebraic representation of the concept and definitions
- Design, implementation and experimentation of a dependent type system with equality integrating elements of linearity and resource
- Design of a mathematical semantics (Scott domains, dialogue games, intersection types) of this linear dependent type system
- Integration of resources and effects to homotopy type theory with a concrete implementation perspective
- Comparing Scott models and realisability models of linear dependent type theory
- Auto-formalisation of the fundamental theorems of type theory and denotational semantics using machine learning methods
The aim of the project is to participate in the development of a new generation of proof assistants that integrate both a linguistic layer and automated assistance tools to guide scientists and facilitate the construction of certified mathematical documents, from the choice of concepts and definitions to the elaboration of theorems and proofs.
- Expert in homological and homotopical algebra
- Expert in category theory and higher dimensional algebra
- Good knowledge of type theory and categorical logic
- English: B2 (European Framework of Reference)
- Ability to conceptualise
- Critical thinking skills
- Organisational skills
- Ability to work in a team
-
PhD in mathematics and fondamental computer science
Il y a 3 jours
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 First Stage Researcher (R1) 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 position in cognitive computational neuroscience
Il y a 3 jours
France, Auvergne-Rhône-Alpes Ecole Normale Supérieure Temps pleinOrganisation/Company Ecole Normale Supérieure Research Field Neurosciences » Neurophysiology Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application Deadline 31 Oct 2026 - 23:59 (Europe/Paris) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Jan 2027 Is the job funded...
-
Research Engineer in Computer Vision
Il y a 22 heures
France, Auvergne-Rhône-Alpes IDEMIA Group Temps plein 60 000 € - 90 000 € ContratSelect how often (in days) to receive an alert:Since our founding, IDEMIA has been on a mission to unlock the world and make it safer through our cutting-edge identity technologies. Our technology leadership makes us the partner of choice for hundreds of governments and thousands of enterprises in over 180 countries, including some of the biggest and most...
-
Postdoc in evolution and public health
Il y a 6 jours
France, Auvergne-Rhône-Alpes Universite de Montpellier Temps pleinOrganisation/Company Universite de Montpellier Department Human Resources Research Field Biological sciences Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Application Deadline 25 Oct 2026 - 23:59 (Europe/Paris) Country France Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework...
-
France, Auvergne-Rhône-Alpes CNRS - National Center for Scientific Research Temps pleinOrganisation/Company CNRS Department Institut des Neurosciences Cellulaires et Intégratives Research Field Neurosciences Biological sciences Researcher Profile First Stage Researcher (R1) Application Deadline 20 Oct 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 4 Jan 2027 Is the job...
-
Le Bourget du Lac - France, Auvergne-Rhône-Alpes, Savoie (73), Auvergne-Rhône-Alpes 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...
-
Post doc position in food microbiology and toxicology
Il y a 6 jours
France, Auvergne-Rhône-Alpes Universite de Montpellier Temps pleinBiological sciences » Biology Chemistry » Analytical chemistry Organisation/Company Universite de Montpellier Department Human Resources Research Field Agricultural sciences » Agricultural products Biological sciences » Biology Chemistry » Biochemistry Chemistry » Analytical chemistry Researcher Profile Recognised Researcher (R2) Positions
-
France, Auvergne-Rhône-Alpes CNRS - National Center for Scientific Research Temps pleinOrganisation/Company CNRS Department Institut Franche-Comté Electronique Mécanique Thermique et Optique – Sciences et Technologies Research Field Engineering Computer science Mathematics Researcher Profile First Stage Researcher (R1) Application Deadline 21 Oct 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per...
-
PhD in structural bioinformatics and modeling
Il y a 2 jours
France, Auvergne-Rhône-Alpes CNRS - National Center for Scientific Research Temps pleinOrganisation/Company CNRS Department Laboratoire de Biologie et Modélisation de la Cellule Research Field Mathematics History » History of science Researcher Profile First Stage Researcher (R1) Application Deadline 22 Nov 2026 - 23:59 (UTC) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Jan 2027 Is...
-
France, Auvergne-Rhône-Alpes Université Bourgogne Europe Temps plein 27 000 € - 33 000 € ContratOrganisation/Company Université Bourgogne Europe Department Nuclear Medecine Research Field Chemistry » Molecular chemistry Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Application Deadline 19 Oct 2026 - 00:00 (Europe/Paris) Country France Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 15...