Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Forschungszentrum Jülich
- Academic Europe
- Leibniz
- Technical University of Munich
- University of Greifswald
- Deutsches Elektronen-Synchrotron DESY
- Deutsches Krebsforschungszentrum
- GFZ Helmholtz-Zentrum für Geoforschung
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- Nature Careers
- University of Bremen
- Center for NanoScience Munich
- Deutsches Zentrum für Neurodegenerative Erkrankungen
- GESIS - Leibniz Institut für Sozialwissenschaften
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Helmholtz-Zentrum Hereon
- Leibniz University Hannover
- TH Köln - University of Applied Sciences
- University of Potsdam, Faculty of Sciences
- Center for Advanced Systems Understanding, Helmholtz Center Dresden-Rossendorf
- Cluster of Excellence ROOTS
- DAAD
- DWI-Leibniz-Institute für Interaktive Materialien e.V.
- FUB - Free University of Berlin
- Free University of Berlin
- GSI Helmholtzzentrum für Schwerionenforschung
- Goethe-University Frankfurt
- Hamburg University of Technology
- Helmholtz-Zentrum Berlin für Materialien und Energie
- Johannes Gutenberg University Mainz
- Karlsruhe Institute of Technology
- Karlsruhe Institute of Technology, KIT
- Leibniz Institute for Neurobiology
- Max Delbrueck Center for Molecular Medicine
- Max Delbrück Center
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Dynamics and Self-Organization
- Max Planck Institute for the Physics of Complex Systems
- Max Planck Institute of Colloids and Interfaces
- Max Planck Institute of Molecular Cell Biology and Genetics
- Max-Planck-Institut für Physik
- University Medical Center Göttingen
- University of Bonn
- University of Cologne
- University of Potsdam, Faculty of Science
- Universität Bremen
- Universität Hamburg
- Universität Tübingen
- 40 more »
- « less
-
Field
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
computer science department is the Top-1 ranked computer science department in Germany. Our culture is highly international with over 40% international students in the MA program. The visual computing lab embraces
Enter an email to receive alerts for computer-programmer-"https:"-"Brookhaven-Lab" positions