Sort by
Refine Your Search
-
interests. 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
Searches related to software verification
Enter an email to receive alerts for software-verification positions