3 control-system Postdoctoral positions in PHD in Germany

PhD/PostDoc position (TV-L E13)

Technical University of Munich | Germany | about 3 hours ago

, 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

PhD/Postdoc position in computational biology to elucidate NR2F1 dosage dependent regulatory networks in health and disease (m/f/d)

Heidelberg University | Heidelberg, Baden W rttemberg | Germany | about 2 months ago

neurodevelopment with a focus on how NR2F1 dosage shapes the specification of neuronal lineages and the formation of cortical circuits. NR2F1 is a key transcription factor controlling embryonic neuronal development

PhD/Postdoc Position for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis

Technical University of Munich | Germany | about 2 months ago

Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing