Sort by
Refine Your Search
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
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
-
, veterinary medicine, pharmacy, natural science, or in another subject area with a biomedical or health-relevant focus The degree must entitle the applicant to pursue PhD studies in Germany. (Verification
-
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