Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Your Job: In the CrowdING project, you will develop agent-based movement models that realistically simulate different behaviors such as lining up, overtaking, or pushing. Based on this, you will
-
qualification (usually PhD). Research area: Systems of interacting particles are ubiquitous in natural and social sciences. Typically, they comprise many agents that, through intra-specific and inter-specific
-
at obtaining further academic qualification (usually PhD). Research area: Systems of interacting particles are ubiquitous in natural and social sciences. Typically, they comprise many agents that, through intra
-
(ISSE) of the University of Technologies Clausthal is hiring a Research assistant in the field of digitized AI-based classification, sorting, and logistics (if the personal requirements are fulfilled EG
-
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 2 months 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