Sort by
Refine Your Search
-
Category
-
Employer
- DAAD
- Nature Careers
- Technical University of Munich
- CISPA Helmholtz Center for Information Security
- CISPA (Stuttgart)
- Forschungszentrum Jülich
- GFZ Helmholtz Centre for Geosciences
- Hannover Medical School •
- Heidelberg University
- Max Planck Institute for Sustainable Materials •
- Uni Tuebingen
- University of Bremen •
- University of Tübingen
- 3 more »
- « less
-
Field
-
interest in agentic AI, online learning and optimization, and applications in economics. The full-time positions (100%) are initially offered for two years, with the possibility of extension, depending
-
algorithms for large-scale or distributed training/Robustness, fairness, and personalization in multi-agent learning/Training efficiency and communication reduction/Distributed training of transformer models
-
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 code via
-
-motivation and interest to learn new skills Great to have: Experience programming in Python, Julia, or C/C++ Experience with Mathematica Experience with finite element methods, agent-based simulations, and/or
-
waves Agentic frameworks (e.g. LLMs with tool-use) for closed-loop idea generation for physics Other projects are certainly possible too. In general, we believe that building autonomous scientific systems
-
Project The PhD project DC7 aims to develop and apply a coupled Agent-Based Model (ABM) and couple it to the Regional Flood Model (RFM) to evaluate the effect of adaptive behaviour of small and medium-sized
-
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
-
CISPA Helmholtz Center for Information Security | Stuttgart, Baden W rttemberg | Germany | 14 days ago
, efficient, and secure software. General areas of research include: Artificial intelligence to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g
-
), mathematical evolutionary modeling (game theory, dynamical systems, agent-based simulations or other), bespoke probabilistic modeling / (Bayesian) data analysis (e.g., in the Rational Speech Act framework
-
experiments Previous experience with quantitative MRI, contrast agents, and cell tracking/labelling is beneficial High motivation for scientific work and willingness to contribute to an interdisciplinary team