-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
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
-
the expertise, methods, and software to enhance privacy, data protection, and transparency; notably by the use of cryptography, blockchains and smart contracts, machine learning, software verification, device and
Enter an email to receive alerts for software-verification-phd
positions