Formal Verification Intern

This role is based in London, England, United Kingdom.

Responsibilities:

• Understand numerical hardware implementations
• Create corresponding formal specifications
• Develop formal verification plans
• Prove mathematical properties, find bugs, and improve architectures
• Design innovative solutions for verifying sophisticated numerical hardware
• Implement reusable and optimized formal models and verification tools

Minimum Qualifications:

• Strong background in logic or mathematics
• Experience developing rigorous proofs
• Good knowledge of at least one programming language
• Excellent problem-solving and interpersonal skills
• Strong written and verbal communication in English
• Currently enrolled in penultimate year of a Master's or PhD Degree program in a relevant field

Preferred Qualifications:

• Understanding of formal methods/formal verification for real-world systems
• Understanding of computer architecture and operating systems
• Understanding of algorithms, data structures, and programming paradigms
• Experience with Theorem Provers such as Lean, Rocq, or Isabelle
• Experience using Generative AI for improving productivity or quality of work