2 Electrical-Engineering "https:" "https:" Postdoctoral scholarships in Germany

PhD/PostDoc position (TV-L E13)

Technical University of Munich | Germany | about 6 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 for Automatic Formal Verification of Cyber-Physical Systems Using Reachability Analysis

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