Sort by
Refine Your Search
-
Category
-
Employer
-
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
-
-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
-
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
-
potential projects: Development of modern auto-differentiation (JAX-based) physics simulators for the discovery of new physics experiments) Developing, benchmarking and advancing state-of-the-art AI-driven
-
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 | about 1 month 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
-
Your Job: Develop AI pipelines that translate -omic signatures into dynamic model parameters Implement reinforcement-learning agents that optimise model performance Collaborate closely with
-
) develop participatory planning methods based on the technical outcomes from the digital twin to create future scenarios for responsible mobility that are technically well-grounded and at the same time
-
relevance. Your Tasks Antibody–Drug Conjugates (ADCs) are a rapidly advancing class of cancer therapeutics that combine the specificity of monoclonal antibodies with the potency of cytotoxic agents. Upon
-
industrial environmental burden of our generation. Disruptive innovations are required for alternative reduction processes that convert mineral ores into metals without today’s carbon-based methods