Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 29 days ago
dependent type theory, imperative programming (control operators, memory assignment, exceptions, ...), classical axioms (excluded-middle, axiom of choice, extensionality), logical translations (double
-
conceptual DFT (linear response function, Fukui functions) or QTAIM theory (delocalization index), and their validation on a set of compounds known from the literature - interfacing a MLIP (Machine-Learned
-
the dynamics and statistics of topological defects in active systems, using continuum theories of active ordered states. This project will require both numerical and analytical work. The position will be based
-
for the subject Read scientific literature on the stability analysis of partial differential equations Expertise in control theory and partial differential equation analysis Demonstrate curiosity and scientific
-
Inria, the French national research institute for the digital sciences | Bures sur Yvette, le de France | France | about 2 months ago
theory, and data-driven methods. The postdoc will work in close collaboration with an interdisciplinary group of researchers and students in control theory, signal processing, neuroscience, and sports
-
mathematics. The skills expected for the position are: - excellent command of the theory of random processes, in particular measure-valued Markov processes; - good general knowledge of population dynamics
-
(https://morphomech.wordpress.com/ ), UK, will test our theory. We will measure the spatio-temporal evolution of incompatibility in the Drosophila wing disc [6]. By laser cutting small tissue samples
-
(geophysics, physics, biology, mechanics, and computer science), to other areas of mathematics (e.g., geometry applied to control theory), or to pedagogy. Recurrent algal and/or cyanobacterial blooms constitute
-
specialises in the control and coherent manipulation of superconducting quantum circuits. You will benefit from a dedicated, state-of-the-art measurement bench combining very low temperatures (around 10 mK
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 1 month ago
from statistics, optimization and control, in order to build more efficient algorithms able to better estimate uncertainty, exploit structures, or adapt to some non-stationary context. He was the PI