Sort by
Refine Your Search
-
Employer
-
Field
-
-on; demonstrated exposure to at least one model checker (TLA+/TLC, SPIN, NuSMV, Alloy) or proof assistant (Lean, Coq, Isabelle). Code as data. AST manipulation, `tree-sitter`, static analysis, dependency and
-
in performance of evolution experiments Competences and experience in genome analysis and in genetic manipulation of mikroorganisms Publication(s) from earlier research work
-
with mature trees growing at whole-ecosystem manipulation experiments, you will manipulate drought and carbohydrate supply to tease apart their roles in controlling cambial activity, cell enlargement
-
Max Planck Institute for Biological Cybernetics, Tübingen | Bingen am Rhein, Rheinland Pfalz | Germany | about 1 month ago
causal circuit manipulations in rodents, we aim to uncover the neural mechanisms linking bodily states to cognition. The project is a unique cross-species collaboration between the Max Planck Institute
-
, manipulation, and other adversarial attacks. Conventional cryptographic methods alone may not be sufficient for highly dynamic, distributed, or resource-constrained wireless systems. The project aims to develop
-
their offspring. The project will integrate standard microbiological approaches with experimental manipulations of host-associated microbial communities and gnotobiotic insect experiments. Your Profile. We
-
Max Planck Institute for the Physics of Complex Systems • | Dresden, Sachsen | Germany | about 2 months ago
, Prague/Czech Republic, and Wroclaw/Poland. The central theme of the school (reflecting the research interests of many of our partners) is the study of dynamical manipulation of quantum systems. However
-
Manipulation in Cluttered and Dynamic Environments (ID: TUEILSY-PHD20240930-SCMM) A more detailed topic description can be found at https://www.ce.cit.tum.de/lsy/open-positions/open-phd-positions/ . Requirements