3 control-systems-engineering Postdoctoral positions in PhD in Germany

PhD/PostDoc position (TV-L E13)

Technical University of Munich | Germany | about 20 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

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