-
experimental verifications. You will need to represent the group in different contexts, both in Sweden and abroad and hence have excellent skills in English. Further information The employment is limited to 2
-
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
Searches related to software verification
Enter an email to receive alerts for software-verification positions