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
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- The National Academies of Sciences, Engineering, and Medicine
- University of Melbourne
- University of Victoria
- Vanderbilt University
- Yangzhou University
- 5 more »
- « less
-
Field
-
available in the further tabs (e.g. “Application requirements”). Programme Description Applicants holding a PhD or who are eligible to be a junior professor in the historical humanities are invited to apply
-
- 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
Enter an email to receive alerts for computer-programmer-"the" positions