Sort by
Refine Your Search
-
investigate both pre-deployment testing techniques and runtime monitoring approaches. This research aims to contribute frameworks and tools supporting systematic Verification&Validation of AI-enabled software
-
? The Department of Software Engineering consists of about 50 researchers and teachers from 20 countries. Our tradition in software engineering traces back to 1990 when we pioneered Sweden’s first academic
-
of Computer Science at Luleå University of Technology is now looking for a Senior Research Engineer. DCC conducts research on algorithms, data structures, computational models, and software engineering for
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical