-
of Computer Science, Electrical and Space Engineering as part of the national research program WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a
-
the research findings in real life operating conditions, in an approach to close the gap between pure theory and experimental verifications. You will need to represent the group in different contexts, both in
Searches related to software verification
Enter an email to receive alerts for software-verification positions