Sort by
Refine Your Search
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
parameters that determine energy fluxes and permafrost dynamics using inverse problems techniques. The developed algorithms and methods will be integrated into the LPJmL Dynamic Global Vegetation Model. Close
-
-invasive targeted drug delivery to the brain. Our laboratory recently developed a novel focused ultrasound-mediated targeted drug delivery platform, published in Nature Communications (https://www.nature.com
-
development of digital quantum algorithms for the simulation of non-abelian lattice gauge theories. We are looking for highly motivated individuals, with the desire to perform theoretical physics research
-
to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems. This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic