-
visibility, professional growth, and future leadership. Your Profile Required Qualifications Master’s degree in physics, electrical engineering, mechanical engineering, biomedical engineering, medical
-
, 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 | 3 months ago
expertise in at least one of the following areas: neurophysiology, bioacoustics, monitoring of animal behavior, neuroanatomy, programming, and electrical engineering shows strong communication and problem
-
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