-
://mediatum.ub.tum.de/doc/1696192/aab7jokzk7x4paq7m2y9pa2p6.Wetzlinger-2022-NAHS.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related
-
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
-
Computer Science, Artificial Intelligence, Mathematics, Electrical Engineering, or a similar subject. Most importantly, you should be creative, passionate about research, driven by curiosity, and be able to think
-
for various technologies and develop algorithms and software tools dedicated to accelerating research on multiple levels. We are working at the intersection of computer science, physics, and material science to
-
(at places all over the world) and present your work at top-notch conferences and journals in our domain. You should have completed your Master/Diploma studies with top grades in Computer Science, Artificial
-
(at places all over the world) and present your work at top-notch conferences and journals in our domain. You should have completed your Master/Diploma studies with top grades in Computer Science, Mathematics
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering