-
outstanding 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
Enter an email to receive alerts for numerical-methods "https:" positions