Forwarded from Fanoos_PhD
PhD/PostDoc in Cyber-Physical Systems – Logical Zonotopes & Formal Verification
🎖پوزیشن: علوم کامپیوتر، مهندسی برق، سیستمهای کنترل، ریاضیات کاربردی
💼 دانشگاه: Technical University of Munich (TUM), Germany 🇩🇪
⏰ مهلت: مشخص نشده (applications reviewed on a rolling basis)
🎯 حوزه تحقیقاتی:
This PhD/PostDoc position at the Cyber Physical Systems group, TUM Heilbronn Campus focuses on formal verification and reachability analysis for discrete-space systems. Research involves logical-zonotope-based model checking, digital circuit verification, and the development of scalable verification methodologies and open-source tools. Candidates will design and implement prototypes using C++, Python, and MATLAB, and contribute to teaching. Ideal candidates hold a Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or related fields, with strong skills in linear algebra, optimization, formal methods, convex geometry, and experience in reachability analysis or formal verification.
👀 اطلاعات بیشتر
#Germany
#Technical_University_of_Munich
#phd
#postdoc
✅@free_academic_positions
🎖پوزیشن: علوم کامپیوتر، مهندسی برق، سیستمهای کنترل، ریاضیات کاربردی
💼 دانشگاه: Technical University of Munich (TUM), Germany 🇩🇪
⏰ مهلت: مشخص نشده (applications reviewed on a rolling basis)
🎯 حوزه تحقیقاتی:
This PhD/PostDoc position at the Cyber Physical Systems group, TUM Heilbronn Campus focuses on formal verification and reachability analysis for discrete-space systems. Research involves logical-zonotope-based model checking, digital circuit verification, and the development of scalable verification methodologies and open-source tools. Candidates will design and implement prototypes using C++, Python, and MATLAB, and contribute to teaching. Ideal candidates hold a Master’s or PhD in Computer Science, Electrical Engineering, Control Systems, or related fields, with strong skills in linear algebra, optimization, formal methods, convex geometry, and experience in reachability analysis or formal verification.
👀 اطلاعات بیشتر
#Germany
#Technical_University_of_Munich
#phd
#postdoc
✅@free_academic_positions
Linkedin
I have an open PhD/PostDoc position (TV-L E13) in my Cyber Physical Systems group at the Technical University of Munich, Heilbronn…
I have an open PhD/PostDoc position (TV-L E13) in my Cyber Physical Systems group at the Technical University of Munich, Heilbronn campus, to start as soon as possible.
- About the Role
Join us to push the state of the art in formal verification and reachability…
- About the Role
Join us to push the state of the art in formal verification and reachability…