Contexte et atouts du poste
The candidate will be a member of the Picube team at the IRIF lab (irif.fr) and a member of the Malinca project (malinca.org).
Travel expenses will be covered within the limits of the scale in force.
Mission confiée
The recruited person will work in collaboration with Hugo Herbelin and logicians at IRIF.
The objective of the postdoc is to specially study variants of Kruskal's theorem and of the graph minor theorem from a constructive mathematics point of view.
Principales activités
The work will notably consist in independent research, collaborative research, publications of the results obtained, deepened bibliographical work, participation to the research activities in proof theory at IRIF and laboratories nearby.
Compétences
Technical skills and level required : expertise in constructive mathematics and order theory
Avantages
Post-Doctoral Research Visit F/M Constructive proof theory of structural extensions of well-quasi orders • Paris, FR
Seeking an AI Research Scientist to design, train, and scale deep learning models for biological foundation models in drug discovery.This role involves working with multimodal biological data and t... Voir plus
Le directeur du Business Analytics & Research est chargé de la conception et de l'amélioration des systèmes d'évaluation et de pilotage, ainsi que de l'exploitation des données pour... Voir plus
Job DescriptionFortrea is recruiting!Our FSP department in Paris is looking for a Senior Clinical Research Associate II (SCRAII).Key Responsibilities:Monitor Clinical Trials - conduct site visits t... Voir plus
A leading biotechnological firm based in Montpellier is seeking a VP Engineering to lead their engineering organization.You will oversee the development of AI-powered bioinformatics solutions, ensu... Voir plus
Être militaire, c’est servir l’État, au sein des Armées, en portant l’uniforme.Cela implique discipline, disponibilité et loyauté.Le sens de l’adaptation et le goût de l’effort sont des qualités in... Voir plus
Vous gérez un portefeuille de laboratoires que vous accompagnez à l'obtention et au suivi de financements de recherche publics régionaux (Région Ile-de-France, collectivités locales) et nationa... Voir plus
ICON plc is a world-leading healthcare intelligence and clinical research organization.We’re proud to foster an inclusive environment driving innovation and excellence, and we welcome you to join u... Voir plus
AI Research Scientist – Datadog AI Research (DAIR) Join to apply for the AI Research Scientist – Datadog AI Research (DAIR) role at Datadog As a research scientist on our team, you will partner w... Voir plus
Traditional microbiology testing is slow, costly, and a bottleneck to production — results take days when manufacturers need them in hours.We built something better: a platform combining advanced o... Voir plus
Poste : Médecin Coordonnateur H/F.Pour un EHPAD situé à proximité de Compiègne avec une capacité d’accueil de 62 lits, comprenant une Unité de Vie Alzheimer de 12 places, un Pôle d'Activités et... Voir plus
Research Engineer in digital solutions for product quality managementJoin to apply for theResearch Engineer in digital solutions for product quality managementrole atArcelorMittal Long Carbon LATAM... Voir plus
A prominent French university in Paris is looking for a Research Engineer in Bioimage Analysis to support innovative research projects.The role involves collaborating with biologists and contributi... Voir plus
AMR detection to microbiome research and beyond.We are building a high-impact interdisciplinary team at the intersection of biophotonics, machine learning, and microbiology, with a shared mission: ... Voir plus
Headquartered in San Francisco, our investors include.Solve research-level physics challenges end-to-end with verifiable derivations, code, and peer-reviewed references.Decompose challenges into st... Voir plus
Immunothrombosis, or the interaction between immune responses and coagulation, contributes to cardiovascular disease by promoting microvascular thrombosis, inflammation, and endothelial dysfunction... Voir plus
We are partnered with a cutting‑edge AI safety startup that is building the foundational reliability and optimization layer for advanced AI systems capable of managing hundreds of millions of API c... Voir plus
Postdoc position at ENS Paris applying statistics and machine learning to analyze animal communication systems using monkey call recordings. Voir plus
We are creating the factory of the future where disruptions are avoided, processes synchronized and value captured.Our factory operations management platform enables factory teams to be more agile ... Voir plus
Senior CRA, Large Pharma, Paris or Lyon Home or Office.ICON plc is a world-leading healthcare intelligence and clinical research organization.We’re proud to foster an inclusive environment driving ... Voir plus
Headquartered in San Francisco, our investors include.Solve research-level physics challenges end-to-end with verifiable derivations, code, and peer-reviewed references.Decompose challenges into st... Voir plus
