Technische Universitat Munchen (@tum.de) is hiring:
https://tenuretracker.info/l/I1HktNhh/phd-postdoc-position-tv-l-e13?utm_source=bluesky
#phd #postdoc #computerscience #cyberphysicalsystems
---
Extract: Join the Cyber Physical Systems group at TUM to advance formal verification and reachability analysis for discrete-space systems. Focus on logical zonotopes in digital circuits.