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
-
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
-
two fully funded doctoral students to join our WASP-funded project on “Automated Software Verification with Expert-Driven Reasoning”, focused on developing the next generation of AI-assisted programming
-
verification of software systems. Candidates are expected to establish a vibrant research group that, within a few years, is largely funded through external grants. Teaching at all levels is also part of
-
of Computer Science at Luleå University of Technology is now looking for a Research Engineer. DCC conducts research on algorithms, data structures, computational models, and software engineering for the development
-
verification of software systems. Candidates are expected to establish a vibrant research group that, within a few years, is largely funded through external grants. Teaching at all levels is also part of