Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
of proof assistant technology capable of understanding the dynamical linguistic structures found in current high-level mathematical texts. The project includes the study of interpretation mechanisms
-
rates. This PhD project focuses on developing a mathematical model to predict and analyze the effects of using a gene-drive strategy to control Schistosoma mansoni directly, rather than through its snail
-
and Seidel in the early 2000s, inspired by symplectic geometry. This PhD project is part of a broader research program aiming to use categorical tools to derive geometric results about the
-
and guide policy insights; ● Publishing methodological and applied findings, and presenting at international conferences. Your PhD will thus lie at the interface: you'll not only build mathematical
-
. Ignacio Quintero and Dr. Hélène Morlon. Ignacio will assume the lead role of advising the student, with hands-on computational and mathematical tutoring and continuous advising through weekly meetings
-
4 Oct 2025 Job Information Organisation/Company CNRS Department Laboratoire de Mécanique et Génie Civil Research Field Engineering » Materials engineering Physics » Acoustics Researcher Profile
-
4 Oct 2025 Job Information Organisation/Company CNRS Department Heuristique et Diagnostic des Systèmes Complexes Research Field Engineering Computer science Mathematics Researcher Profile First
-
12 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis Research Field Engineering Computer science Mathematics
-
offer rigorous mathematical guarantees adapted to demanding contexts, but encounter a major scalability obstacle. This thesis proposes to develop scalable formal methods to generate robust and
-
, IINS is one of the major players in the neuroscience community in Aquitaine. Development of protein-based biotechnological tools through de novo design, directed evolution and protein engineering in