Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Deutsches Elektronen-Synchrotron DESY
- Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
- Leibniz
- Technical University of Munich
- Forschungszentrum Jülich
- Academic Europe
- Deutsches Krebsforschungszentrum
- Helmholtz-Zentrum Berlin für Materialien und Energie
- Nature Careers
- Charité – Universitätsmedizin Berlin
- GFZ Helmholtz-Zentrum für Geoforschung
- Heidelberg University
- Helmholtz-Zentrum Dresden-Rossendorf - HZDR - Helmholtz Association
- Leibniz University Hannover
- University of Greifswald
- University of Potsdam, Faculty of Sciences
- Universitätskinderklinik Bochum
- Center for Advanced Systems Understanding, Helmholtz Center Dresden-Rossendorf
- Christian-Albrechts-Universitaet zu Kiel
- Cluster of Excellence ROOTS
- Constructor University Bremen gGmbH
- DAAD
- Deutsches Institut für Ernährungsforschung Potsdam-Rehbrücke
- European XFEL
- FBN Dummerstorf
- GSI Helmholtzzentrum für Schwerionenforschung
- Helmholtz Zentrum Hereon
- Helmholtz-Zentrum Hereon
- Johannes Gutenberg University Mainz
- Karlsruhe Institute of Technology
- Max Delbrück Center
- Max-Planck-Institut für Physik
- Senckenberg Gesellschaft fuer Naturforschung
- University of Bayreuth
- University of Bonn
- University of Bremen
- University of Cologne
- University of Duisburg-Essen
- University of Potsdam, Faculty of Science
- 30 more »
- « less
-
Field
-
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 Prof. Jan Kretinsky
Enter an email to receive alerts for computer-programmer-"https:" positions