5 verification-computer-science Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
Listed
-
Category
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
://mediatum.ub.tum.de/doc/1687691/ltbbjgwihiht96fqfeblxdyj7.ITSC22_CommonOcean.pdf Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in computer science, engineering, or related disciplines
-
://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
-
, 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
-
) 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