Software Engineer (Engineer III to Principal) - Formal Methods
beyond-tabs.com · San Francisco, CA · Yesterday
EngineeringFull-time
About the role
Build automated verification tools for smart contracts using formal methods.
Responsibilities
- Develop and maintain model checking and SAT/SMT solving algorithms for smart contract verification.
- Collaborate with cross-functional teams to integrate verification tools into the development process.
- Contribute to the design and implementation of programming language theory-based solutions for smart contract verification.
Requirements
- Bachelor's degree in Computer Science, Mathematics, or a related field.
- 5+ years of experience in formal methods, model checking, SAT/SMT solving, and programming language theory.
- Experience with at least one of Haskell or OCaml.
- Strong analytical and problem-solving skills.
- Excellent communication and collaboration skills.
Qualifications
- Experience with blockchain technology and smart contracts is a plus.
- Knowledge of concurrency and distributed systems is beneficial.
Skills
- Model Checking
- SAT/SMT Solving
- Programming Language Theory
Benefits
- Competitive compensation package.
- Flexible work schedule.
- Remote-friendly environment.
Pay
- Commensurate with experience.
Schedule
- Full-time.
Benefits
- Health insurance.
- Retirement plans.
- Employee discounts.