Sort by
Refine Your Search
-
Listed
-
Employer
- University of Tübingen
- Humboldt-Stiftung Foundation
- DAAD
- Bielefeld University •
- CISPA (at University of Stuttgart)
- Karlsruhe Institute of Technology •
- Ludwig-Maximilians-Universität München •
- Max Planck Institute for Biogeochemistry •
- Max Planck Institute for Biogeochemistry, Jena
- Nature Careers
- Technical University of Munich
- University of Göttingen •
- WIAS Berlin
- 3 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
-
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
-
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