-
Intelligence (DFKI), invites applications for a postdoctoral research position. The group develops foundation models, large language models (LLMs), and agentic AI systems for scientific discovery, engineering
-
learning-based surrogates for physical systems LLMs and scientific agents – large language models that autonomously reason, plan and execute scientific workflows AI for engineering design – LLM-driven agents
Searches related to model checking
Enter an email to receive alerts for model-checking positions