Remote opportunity at
CertiKSoftware Engineer (Engineer III to Principal) - Formal Methods
CertiK is a blockchain security firm founded in 2018 by professors from Yale University and Columbia University. The company applies advanced academic techniques to secure smart…
Career Tools
About This Role
CertiK is a blockchain security firm founded in 2018 by professors from Yale University and Columbia University. The company applies advanced academic techniques to secure smart contracts and blockchain protocols, aiming to protect the digital world from vulnerabilities and financial risks. CertiK is currently hiring a Software Engineer specializing in Formal Methods, with open positions ranging from Engineer III to Principal levels depending on candidate background and experience. In this…
Job Description
CertiK is a blockchain security firm founded in 2018 by professors from Yale University and Columbia University. The company applies advanced academic techniques to secure smart contracts and blockchain protocols, aiming to protect the digital world from vulnerabilities and financial risks. CertiK is currently hiring a Software Engineer specializing in Formal Methods, with open positions ranging from Engineer III to Principal levels depending on candidate background and experience.
In this remote role, team members design and build automated verification software to evaluate smart contract correctness and pinpoint security flaws. Professionals collaborate within a multinational group of programming language experts, utilizing methods such as symbolic model checking, abstract interpretation, deductive verification, and SAT/SMT solving. The position covers the complete software development lifecycle, from initial concepts to implementation, maintenance, and user support.
Ideal candidates possess a strong foundation in automated reasoning and programming language theory, enjoying complex theoretical challenges. Applicants should thrive in a collaborative startup environment, comfortably managing diverse responsibilities while working closely with colleagues and management to set technical direction.
Responsibilities
- Design, build, and expand automated program verification tools while developing new software solutions
- Adapt and enhance algorithms for symbolic software model checking, including Bounded Model Checking, CEGAR, and PDR/IC3
- Develop and extend language translators into intermediate representations while optimizing models for automated analysis
- Discover new classes of smart contract security properties and formalize them for verification tools
- Partner with engineering peers to establish technical direction and solve complex problems
- Manage all phases of software delivery including design, automated testing, operations, CI/CD, and customer support
Requirements
- Minimum of 4 years of software development experience, including research projects, internships, and open-source contributions
- At least 2 years of professional or research experience in formal verification, model checking, SAT/SMT solving, abstract interpretation, or related fields
- Demonstrated proficiency in fundamental computer science concepts such as algorithms, data structures, automata theory, and mathematical logic
Qualifications
- Master's Degree in Computer Science or a related discipline, or 5 years of equivalent experience
- Ph.D. in automated reasoning or a closely related field
- Publication history in relevant academic conferences such as CAV, POPL, TACAS, FMCAD, or FM
- Practical background in functional programming using OCaml or Haskell
- Prior working history within a professional software development setting
Core Skills
Benefits
- Medical, vision, and dental insurance
- 401(k) retirement plan with company matching
- Life and accidental death and dismemberment insurance
- Health Savings Account with a high deductible plan
- Flexible Spending Account
- Flexible paid time off and holidays
Frequently Asked Questions
Answers are based only on the employer’s listing; where it doesn’t say, neither do we.
What is the salary range for this position?
The target annual base salary for candidates performing this role in the United States is $115,000 to $230,000, with final compensation depending on qualifications and experience.
Is this a remote position?
Yes, this role is listed as remote.
What education or equivalent experience is required?
Applicants must hold a Master's Degree in Computer Science or a related field, or possess 5 years of equivalent experience.
What employment type is this role?
The posting specifies that this is a full-time position.
Sample Interview Questions
AI-generated questions tailored to this specific role — a preview of the full practice set.