Sort by
Refine Your Search
-
, 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
-
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
-
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