-
the Wallenberg Initiative Materials Science for Sustainability (WISE) and the Wallenberg AI, Autonomous Systems and Software Program (WASP), providing a unique opportunity to work within a strong Swedish research
-
verifiability for AI systems, based at the Department of Computer and Information Science. These positions are funded by the Wallenberg AI, Autonomous Systems and Software Program (WASP). Wallenberg AI
-
mathematics. The applicant should be skilled at implementing new models and algorithms in a suitable software environment, with documented experience. Experience in applying or developing machine learning
Searches related to software verification
Enter an email to receive alerts for software-verification positions