6 software-verification-computer-science-"Prof"-"Embry-Riddle-Aeronautical-University" positions at Technical University of Munich
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative 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, Mathematics
-
(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
-
) 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