Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
, testing, verification, security analysis, deployment, and monitoring Development of generative AI methods for automated test-case generation, software validation, vulnerability analysis, and debugging
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
Max Planck Institute for Extraterrestrial Physics, Garching | Garching an der Alz, Bayern | Germany | 17 days ago
design engineer in any of the primary engineering disciplines (electronics, optical, mechanical, control and/or software engineering). As electronics forms the technical core of the instrument, a design
-
information sources (cameras, sensors, RTLS, HMI systems, robots) Management of context and world state (person, object, machine states) for care activities Implementation of authorization and verification
-
university partners support industrial validation, verification of process-detection concepts, and round-robin testing of the developed data-analysis framework. Key objectives are the development
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
to [email protected]. Employer: AUDI AG, Ingolstadt Academic partner: Technical University of Munich, Heilbronn Campus, Chair of Software Engineering and AI Duration 3 years Start 01.10.2026
-
develops LLMs and agentic AI systems for scientific discovery, engineering and physical systems. We investigate how AI can reason about scientific problems, interact with simulation software and support the
-
Directions AI for Scientific Computing Neural Operators and Learning-Based Surrogates LLMs and Scientific Agents Agentic AI for Engineering Design Multimodal Scientific AI Alignment and Verification
-
looking for a dedicated scientific project assistant for the EU Horizon collaborative project MAR-CO2 — an international research consortium developing and testing monitoring, reporting, and verification