Job description
Summary
Key Qualifications
- Experience creating your own original, inventive and robust mathematical proofs to a publishable standard, or experience in formal verification, preferably of mathematical hardware
- Ability to critically examine the mathematical proofs or formal testbenches of others, and find any errors, omissions, inconsistencies, or over-constraints
- Tenacity, and the ability to collaborate, convince, and get things done in a large organisation spread across many countries
- Detail oriented mindset and desire to overcome challenges