Sort by
Refine Your Search
-
software development practice. SERG is known for its research on software testing, program analysis, mining software repositories, and empirical software engineering with close collaboration with industry
-
useful for research, education, and industrial use. Your research will be published and presented at international AI, software engineering, and security venues. The position is focused on discovering new
-
6 Sep 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Programming Computer science » Systems design Engineering » Control
-
project, you will explore the use of formal methods from computer science (program synthesis and probabilistic programming) and control systems analysis approaches to derive human understandable strategies