Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
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
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 6 days ago
computer science, mathematics, applied mathematics, or engineering. Languages: English. Relational skills: easy communication, sociable with an appetite for working in a group. Additional skills appreciated
-
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
-
. 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
-
équipe.The requirements are the following: - A Master'sdegree in Applied Mathematics / Statistics / Machine Learning, - Advanced programming skills in Python and/or R. - Prior experience in biostatistics and
-
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
-
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
-
, 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
-
10 Sep 2025 Job Information Organisation/Company CNRS Department Laboratoire d'informatique en image et systèmes d'information Research Field Engineering Computer science Mathematics Researcher