Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Tübingen
- DAAD
- Humboldt-Stiftung Foundation
- 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 •
- Max Planck Institute for Biogeochemistry, Jena
- Technical University of Munich
- University of Göttingen •
- WIAS Berlin
- 4 more »
- « less
-
Field
-
resume with professional and technical skills, and exploring the scientific and cultural diversity in Europe and North America? The graduate training program in Scalable 2D-Materials Architectures (2D
-
, the Max Planck Institute for Biogeochemistry houses a unique and flexible research program that grants German and foreign students a broad selection of learning opportunities while still maintaining a
-
program. Technical queries should be directed to Benedikt Jahnel (benedikt.jahnel@wias-berlin.de ) or Lukas Lüchtrath (lukas.luechtrath@wias-berlin.de ). The working hours are 29,25 hours per week and the
-
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
-
and distinctions Freunde und Förderer History of the University Organisation and management Back University Management Senat Universitätsrat Kommissionen Equity Back Policies Service Support Programmes
-
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
-
and distinctions Freunde und Förderer History of the University Organisation and management Back University Management Senat Universitätsrat Kommissionen Equity Back Policies Service Support Programmes
-
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