Formal Verification Lead

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 solutions.

· Monitor and ensure the reliability, availability, and performance of software verification processes.

· Develop and maintain automated tools for static analysis and formal verification.

· Stay updated with emerging trends and technologies in formal verification and static analysis.

Requirements

Required Qualifications:

· PhD or Master’s degree in Computer Science, Software Engineering, or a related field, or equivalent professional experience.

· At least 3+ years of industry experience in formal verification roles, with a significant focus on static analysis and formal verification of software.

· Hands-on industrial experience, as evidenced by publications or projects, with static analysis and formal verification of software.

· Experience with compiler stacks like LLVM.

· Proficient in using major verification tools and software.

· Strong understanding of formal verification methodologies and static analysis techniques.

· Skilled in scripting and automation using relevant languages.

· Familiarity with software constraints and deployment challenges.

Preferred Qualifications:

· Experience with large language models (LLMs) or theorem provers.

· Industry experience in formal verification and related fields.

Benefits

• Competitive salary and benefits including:
• Health Care Plan (Medical, Dental & Vision)
• Retirement Plan (401k, IRA)
• Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
• Flexible hybrid work arrangement
• Relocation assistance for qualifying employees

If you are passionate about formal verification and static analysis, and looking to make a significant impact, we would love to hear from you. Apply now to join our innovative team!