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
-
20 Sep 2025 Job Information Organisation/Company CNRS Department Institut Montpelliérain Alexander Grothendieck Research Field Mathematics History » History of science Researcher Profile First Stage
-
. 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
-
(mathematical modeling in ecology, LOMIC, Banyuls-sur-Mer) and Prof. Christoph Grunau (Host-Pathogen-Environment Interactions, IHPE, Perpignan). Both laboratories are equipped with all the necessary computational
-
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
-
» Biological engineering Researcher Profile First Stage Researcher (R1) Country France Application Deadline 15 Oct 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer
-
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
-
will be responsible for performing a sensitivity analysis of SDM modelling applying for five gorgonian species applying BIOMOD2 to the same data set as the one used in Blouet et al. (2024) and extend