Sort by
Refine Your Search
-
Category
-
Employer
- DAAD
- Humboldt-Stiftung Foundation
- University of Tübingen
- Nature Careers
- Bielefeld University •
- CISPA (at University of Stuttgart)
- Karlsruhe Institute of Technology •
- Leibniz
- Ludwig-Maximilians-Universität München •
- Max Planck Institute for Biogeochemistry •
- Technical University of Munich
- University of Göttingen •
- 2 more »
- « less
-
Field
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of
-
opportunity to establish a cutting-edge research program with significant impacts in this field. We are particularly interested in candidates who can develop an innovative research agenda in areas such as
-
admission requirements Please consult the web pages of the participating structured research programmes for specific information about admission requirements: https://www.uni-bielefeld.de/einrichtungen/bgts
-
in applied research abroad for their outstanding scientific achievements. For more information please see the Fraunhofer-Bessel Research Award programme information. Programme information (PDF, 71 KB
-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
Degree PhD Medical Research – International Health Course location München Teaching language English Languages Courses are held in English only. PhD theses are written in English only. Programme
-
opportunity to establish a cutting-edge research program with significant impacts in this field. We are particularly interested in candidates who can develop an innovative research agenda in areas such as
-
the development of scientific networks in an international environment of the Göttingen campus and beyond. GAUSS provides the organisational and regulatory umbrella for this programme. It was founded in 2005 by