20 model-checking PhD positions at BIOMEDICAL SCIENCES RESEARCH CENTRE "ALEXANDER FLEMING"
Sort by
Refine Your Search
-
20th October 2026 Languages English English English The Department of Biology has a vacancy for a PhD Candidate in Modelling Marine Larval Dispersal and Spatial Population Genetics and Demography
-
, reachability, basic complexity classes. Mathematical logic and formal methods. First-order logic, type systems, SAT/SMT, temporal logic (LTL/CTL) and model checking, pre/post-conditions, invariants, refinement
-
STLO) (https://eng-stlo.rennes.hub.inrae.fr/ ). This work is part of the “Predicting the browning of dairy powders by kinetic modeling of Maillard reaction and caramelization during drying and storage
-
of response and develop predictive models. The work will involve analysis of large-scale datasets through multiomics integration, machine learning, statistical genetics, QTL analysis and development of genetic
-
objective is to develop methods that move beyond correlation-based prediction toward causal reasoning, intervention-aware modelling, and interpretable AI systems. This transition from correlation to causation
-
Inria, the French national research institute for the digital sciences | Saclay, le de France | France | 2 months ago
with language models (e.g., ChatGPT). More recently, AI has begun to be applied to scientific and engineering problems. Its goal is to create an "augmented engineer" who can carry out studies and make
-
student interested in cardiovascular immunology, multi-omics, advanced imaging, and disease models. Prior experience in these areas is not required. Our research focuses on myocardial infarction
-
partners, combining theoretical modeling, device design, and ultrafast THz experiments. Project background This project will combine advanced numerical modeling with experimental demonstrations
-
are made where and when; supernovae (mechanisms and nucleosynthesis); gamma-ray bursts and their progenitors; modelling of Type I X-ray bursts and superbursts (thermonuclear explosions on the surface
-
events with the GOTO telescope network. Projects focussing on thermonuclear bursts will involve analysis of new and archival data from satellite-based X-ray telescopes, and running numerical models