Sort by
Refine Your Search
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
Enter an email to receive alerts for gpu-computing-"https:" positions