Sort by
Refine Your Search
-
Country
-
Employer
- DAAD
- Technical University of Munich
- University of British Columbia
- Harvard University
- Nature Careers
- Florida Atlantic University
- Ghent University
- KNAW
- Natural Sciences and Engineering Research Council of Canada
- The National Academies of Sciences, Engineering, and Medicine
- University of Victoria
- Vanderbilt University
- Yangzhou University
- 3 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
-
no later than three weeks before the deadline of the proposed post-doctoral funding body. The fellowship will take effect upon approval of post-doctoral funding. Selection will be made by the CSRS Program
Searches related to computer programmer
Enter an email to receive alerts for computer-programmer positions