Sort by
Refine Your Search
-
particularly welcome strong candidates from physics, engineering, computational science, or other areas of chemistry, with high motivation and strong theoretical/analytical/coding ability. Your opportunity We
-
, formal methods, convex geometry). 2. Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. 3. Experience in reachability analysis, formal verification
-
Max Planck Institute for Biological Intelligence (Seewiesen site), Seewiesen | Germany | 2 months ago
information in freely flying birds. It aims at uncovering which sensory modality the birds use for sound reception during echolocation. Combining behavioral monitoring and cutting-edge wireless technology to
-
. Mutations and deletions of NR2F1 lead to Bosch-Boonstra-Schaaf optic atrophy syndrome (BBSOAS). Using neuronal cells derived from CRISPR/Cas9 engineered human induced pluripotent stem cells (hiPSC) we model
-
and are not yet used regularly in industrial development processes. We believe that fully automating the verification process is a crucial step towards a broad acceptance of this technology. Our pre