Sort by
Refine Your Search
-
Technology, Mechatronics, Robotics, Systems Engineering, Applied Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
26.03.2025, Professuren The Technical University of Munich (TUM) invites applications for the position of Professor in » Logic and Verification in Computer Science « W3 Associate or Full Professor
-
should have very good skills in the English language and a strong background in at least one of the fields relevant for research at ConVeY: Control theory, formal methods in computer science, or machine
-
their system-level integration Develop design architecture and break down requirements into functional blocks Create and execute test benches for RTL and timing simulations Perform formal verification
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | about 11 hours ago
lectures which are offered by the Physics Department of RPTU within the Master of Science in Advanced Quantum Physics programme: https://physik.rptu.de/quantum-master/ The detailed programme of the lectures
-
computer science, electrical engineering, control systems, or a related field. • Prior experience in reachability analysis, formal verification methods, control theory, or related domains. • Proficiency in
-
, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification