Sort by
Refine Your Search
-
/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks
-
within the team and with external partners, contribution to teaching activities, and active engagement in the broader academic life of the group. Work Environment The successful candidates will join a
-
and external collaborators, contributing to teaching activities, and participating in various activities of the group. The successful candidate will have the opportunity to engage in research within a
-
and startups. It is committed to excellence in research and teaching, interdisciplinary education, and the active promotion of promising young scientists. TUM benefits from the healthy mix of companies
-
), the European Commission and the European Research Council (ERC). Moreover, the group are actively involved in Munich Quantum Valley and the clusters of excellence MCQST and e-conversion. Successful candidates
-
partner research institutions. You will support us in making these cooperations efficient and productive. You will also support our teaching activities teaching and improving courses and supervising student
-
advancement Full-time position according to remuneration group TV-L E13 (in line with the German public sector payment scheme) A collaborative, engaged and socially active lab environment with regular academic
-
teaching and supervising activities, enriching your academic and professional skills. Application Process: Interested candidates should submit the following documents (preferably in a single PDF) to Prof. Dr
-
development strategies based on your own background and expertise. You will also be responsible for serving as a teaching assistant for our courses in neuroengineering materials, biomaterials, and probability
-
institutions. You support us in making this cooperation efficient and productive. As Research Associate you will also support our teaching activities in several Bachelor and Master programs offered by the School