-
experience AI-assisted theorem proving or algorithm discovery is an asset You have working knowledge of numerical analysis, ideally numerical methods for PDEs You are independent and comfortable with open
-
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
Searches related to numerical methods
Enter an email to receive alerts for numerical-methods positions