Sign in to access this service

Join OwlIndex or sign in to view full service details, contact info, and application options.

Sign In Sign Up

Funded PostDoc position (TV-L E13) in my Cyber Physical Systems group at the Technical University of Munich

Technical University of Munich • TUM School of Computation, Information and Technology
Germany

Summary

Explore a postdoctoral research position focused on formal verification and reachability analysis for discrete-space systems. Develop logical zonotopes for model checking and digital circuit verification, create prototypes in C++, Python, MATLAB, contribute to open-source tools, and support teach...

Description

Sign in or sign up to view this description.

Sign In Sign Up

Contact Information

Sign in or sign up to view contact information.

Sign In Sign Up

Additional Information

Sign in or sign up to view additional information.

Sign In Sign Up

Location

Sign in or sign up to view location details.

Sign In Sign Up