Sort by
Refine Your Search
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | about 1 month ago
dependent type theory, imperative programming (control operators, memory assignment, exceptions, ...), classical axioms (excluded-middle, axiom of choice, extensionality), logical translations (double
-
towards harnessing the full potential of active materials is the understanding and control of their autonomous assembly into complex functional structures. However, almost all active colloidal systems
-
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
-
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
-
of scientific articles and sufficiently documented simulational software. Skills Qualifications/knowledge : - General knowledge of Mathematical Analysis. - General theory of ODEs and Continuous Time Dynamical
-
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 | 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