Software Engineer (Engineer III to Principal) - Formal Methods

Role overview Develop software tools that analyze smart contracts and help establish their correctness or uncover security defects before deployment. The work applies formal methods and automated reasoning to blockchain applications, spanning research ideas, algorithm design, implementation, and continued improvement. Level and title are aligned with experience.

Responsibilities - Design and extend automated verification tools for smart contracts, including tools that detect bugs and security issues. - Adapt symbolic model-checking algorithms, including bounded model checking, abstraction refinement, and property-directed reachability. - Build translators from programming languages into intermediate representations suitable for automated analysis. - Formalize security properties for use in verification tools. - Collaborate on technical direction and develop tools with other engineers. - Contribute across the software lifecycle, including design, implementation, testing, operations, CI/CD, customer feedback, and support.

Requirements - A master’s degree in computer science or a related field, or five years of equivalent experience. - At least four years of software development experience; research, internship, and open-source work count. - At least two years working with model checking, formal verification, SAT/SMT solving, abstract interpretation, or a closely related area. - Knowledge of data structures, algorithms, mathematical logic, and automata theory. - Strong problem-solving skills and a collaborative approach to learning and feedback.

Nice to have - A PhD in automated reasoning or a broader related field. - Publications in formal methods or programming-language research venues. - Experience with functional programming, especially OCaml or Haskell. - Experience in a professional software development environment.

Benefits and work setup - The role is listed as remote. - US target annual base salary is $115,000–$230,000, with the final amount based on skills and experience. - Full-time benefits include medical, dental, and vision coverage; retirement plan matching; life and accidental death coverage; HSA/FSA options; flexible paid time off; and holidays.