Formal Verification Lead
Code Metal
Boston, massachusetts
Description: We are seeking an experienced Formal Verification Lead to join our team. The ideal candidate will be instrumental in leading verification efforts for systems software and will ideally have experience doing so both within startups and established tech businesses. This is an incredible opportunity to join an experienced founding team who have collectively raised $1bn+ in capital across several previously successful ventures and lead this area of R&D.
In this role, you will work closely with a dedicated team of talented researchers and engineers to enhance our verification capabilities. The focus will be on implementing robust practices and technologies to optimize the performance and reliability of our software systems.
Core Responsibilities:
· Design and implement formal verification methodologies for software systems.
· Collaborate with research and engineering teams to ensure seamless integration and deployment of verification...