-
funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Join our world-leading research lab in Requirements Engineering, part of the Software
-
, Algorithms, Data Science & Artificial Intelligence, and Software Systems. The atmosphere is collegial and informal. In the AI Technology for Life group , we focus on explainable AI. We work with many different
-
. Beyond membership of the FoRECAST team, you’ll join the Software Technology group led by Gabriele Keller . As our research group contains core members of the popular Accelerate and Stan DSLs for machine
Searches related to software verification
Enter an email to receive alerts for software-verification positions