Software Engineer (Engineer III to Principal) - Formal Methods

Skills

About the Role

You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs. You will implement and improve algorithms such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will build translators from input languages to intermediate representations, optimize models for automated analysis, run automated tests, and work across the full software lifecycle from design through deployment and support. You will collaborate with peers to set technical direction and iterate on tooling based on feedback and measured results.

Requirements

• Master's degree in Computer Science or related field or 5 years equivalent experience
• Minimum of 4 years of software development experience (including internships, research, and open-source)
• Minimum of 2 years of experience with model checking, formal verification, or SAT/SMT solving (e.g., Z3, CVC4)
• Knowledge of data structures, algorithms, mathematical logic, and automata theory
• Preferred: PhD in automated reasoning or publication record in venues like POPL, CAV, TACAS
• Preferred: Experience in functional programming such as OCaml or Haskell

Responsibilities

• Extend the scope and depth of automated program verification tools and implement new tools
• Adapt and improve algorithms for symbolic software model checking such as BMC, CEGAR, and IC3/PDR
• Build and extend translators from input languages into intermediate representations and optimize generated models
• Identify and formalize new classes of security properties for automated verification
• Collaborate with other engineers to set technical direction and solve engineering problems
• Deliver working software including analysis, design, automated testing, operations, CI/CD, and support

Benefits

• Medical insurance
• Vision insurance
• Dental insurance
• 401(k) plan with company matching
• Life and accidental death and dismemberment insurance
• HSA (with high deductible plan)
• FSA
• Flexible paid time off and holidays
• Variable commission program for business development sales roles