Sort by
Refine Your Search
-
Category
-
Employer
- DAAD
- Humboldt-Stiftung Foundation
- University of Tübingen
- Technical University of Munich
- Bielefeld University •
- CISPA (at University of Stuttgart)
- European Molecular Biology Laboratory
- Karlsruhe Institute of Technology •
- Leibniz
- Ludwig-Maximilians-Universität München •
- Max Planck Institute for Biogeochemistry •
- Nature Careers
- University of Göttingen •
- ifo Institute – Leibniz Institute for Economic Research at the University of Munich
- 4 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
-
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
-
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
-
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
-
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
-
program, colloquia, workshops). Your tasks Processing and analyzing text-based data from learning management systems, assessment systems and qualitative data sources such as interview transcripts
-
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
-
information, please visit our web page or contact the EMBL Graduate Office . Where to apply Website https://www.embl.org/about/info/embl-international-phd-programme/application/ Requirements Research