Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- DAAD
- Leibniz
- Fraunhofer-Gesellschaft
- Forschungszentrum Jülich
- Ludwig-Maximilians-Universität München •
- University of Tübingen
- CISPA (at University of Stuttgart)
- Deutsches Elektronen-Synchrotron DESY •
- Humboldt-Universität zu Berlin •
- Justus Liebig University Giessen •
- Max Planck Institute for Informatics •
- Nature Careers
- Saarland University •
- Technische Universität Berlin
- University of Göttingen •
- University of Potsdam •
- Universität Hamburg •
- 8 more »
- « less
-
Field
-
05.06.2025, Wissenschaftliches Personal Are you looking for an opportunity to shape the future of quantum computing? With superconducting quantum computers on the verge, we aim to strengthen our
-
-based metadata platform that you will help develop. In collaboration with stakeholders from energy research, you will develop methods to increase data and software interoperability, enabling the automated
-
16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
Deadline 16 May 2025 Financing yes Type of Position Full PhD Working Language English German Required Degree Bachelor Master Areas of study Applied Computer Science, Bioinformatics, Software Engineering
-
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
-
, their achievements and productivity to the success of the whole institution. At the Faculty of Mathematics, Institute of Scientific Computing, within the Dresden Center for Computational Materials Science (DCMS
-
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
-
) Publications at top-tier computer vision conference or journals is a plus Experience with open-source software development is a plus We offer A clear research topic as well as multifold training and support for
-
materials that can host an innovative form of AI which operates in hardware. This technology, called neuromorphic computing, aims to surpass the limitations of current software-based AI models, especially in
-
Description In the research group Dependable and Autonomous Cyber-physical Systems (DACS) on Institute for Software and Systems Engineering (ISSE) at Clausthal University of Technology has