Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- DAAD
- ;
- Queensland University of Technology
- Brandenburg University of Technology Cottbus-Senftenberg •
- Leiden University
- University of Melbourne
- University of Nebraska–Lincoln
- University of Nottingham
- FAU Erlangen-Nürnberg •
- KNAW
- McGill University
- NHH Norwegian School of Economics
- NTNU - Norwegian University of Science and Technology
- Radix Trading LLC
- Technical University of Denmark
- University of Antwerp
- University of Bonn •
- University of Groningen
- University of Miami
- University of Twente
- University of Tübingen •
- ; University of Surrey
- Aarhus University
- Freie Universität Berlin •
- German Cancer Research Center (DKFZ) Heidelberg •
- Ghent University
- Hannover Medical School •
- Heidelberg University •
- Julius-Maximilians-Universität Würzburg •
- Justus Liebig University Giessen •
- Karlsruhe Institute of Technology •
- Leiden University; Leiden
- Max Planck Institute for Human Cognitive and Brain Sciences •
- Mälardalen University
- Tallinn University
- Technical University of Munich
- Technische Universität München
- Umeå University
- University of Adelaide
- University of Bayreuth •
- University of Bergen
- University of Kassel •
- University of Luxembourg
- University of Newcastle
- 34 more »
- « less
-
Field
-
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
-
welcoming environment with an international atmosphere that fosters creativity, empathy, teamwork, and outstanding academic collaborations. You will also benefit from strong connections to leading companies
-
from short lectures and talks to compact courses or workshops lasting up to five days. We recommend that you earn 18 ECTS during your PhD phase. A Diploma supplement will be issued Yes Certificates
-
employees and 43,000 students work to create knowledge for a better world. You will find more information about working at NTNU and the application process here. ... (Video unable to load from YouTube. Accept
-
archaeological excavations and dating with climate modelling on the one hand and research on human minds and sociality on the other. The PhD position will be part of an interdisciplinary project with the goal
-
, symbolic, and human intelligence, as well as industry-scale reasoning systems. Instances of the former class are different variants of formal argumentation, whereas in the latter case, the focus can lie on
-
industry, the vast majority of ideas will fail. So, since inception, we’ve focused on continuous enhancement of our automated research platform and cutting-edge technology, allowing us to fail faster than
-
majority of ideas will fail. So, since inception, we’ve focused on continuous enhancement of our automated research platform and cutting-edge technology, allowing us to fail faster than the day prior, glean
-
Description This PhD project builds on ongoing research projects in the area of photocatalytic membranes at IAMT. Current work will be expanded to (select) novel materials and membrane preparation
-
Description This PhD project builds on ongoing research projects in the area of Nanofiltration for Contaminant Removal at IAMT. Novel nanofiltration membrane materials will be examined with