Software Engineer (Engineer III to Principal) - Formal Methods

CertiK
New York
Workplace: RemoteFull timeUSD 115,000 - 230,000 annuallyFunction: Software EngineeringExperience: 4+ yearsEducation: mastersSkills: ["Collaboration","Problem-solving","Communication","Teamwork"]

We are seeking a Software Engineer to contribute to automated program verification tools and formal methods at CertiK. You will extend symbolic model checking techniques (BMC, IC3/PDR, CEGAR), develop translators to intermediate representations, and help define security properties for smart contracts. You’ll collaborate across a multinational team to deliver robust, customer-focused software from design to CI/CD.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
CertiK
CertiK
4 years ago

Software Engineer (Engineer III to Principal) - Formal Methods

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 6 hours agoStatus: Live

Job Summary

We are seeking a Software Engineer to contribute to automated program verification tools and formal methods at CertiK. You will extend symbolic model checking techniques (BMC, IC3/PDR, CEGAR), develop translators to intermediate representations, and help define security properties for smart contracts. You’ll collaborate across a multinational team to deliver robust, customer-focused software from design to CI/CD.
Location: New York
Workplace: Remote
Employment Type: Full time
Job Function: Software Engineering

Key Responsibilities

  • •Extend the scope and depth of automated program verification tools and brainstorm, design, and implement new tools.
  • •Adapt and improve algorithms for symbolic software model checking (e.g., bounded model checking, IC3/PDR).
  • •Build and extend translators from different input languages into intermediate representations, optimizing generated models for automated analysis.
  • •Identify new classes of security properties of smart contracts and formalize properties for use in automated verification tools.
  • •Collaborate with other software engineers to set technical direction and deliver working software that meets customer needs, including analysis, design, automated testing, CI/CD, and feedback incorporation.

Pay and Benefits

Salary: USD 115,000 - 230,000 annually
Perks:Health InsuranceVisionDental401kRemote WorkPaid LeaveHolidaysLife InsuranceDisability Insurance

Key Requirements

  • •Master's Degree in Computer Science or related field or 5 years of equivalent experience
  • •Minimum of 4 years of software development experience (including internships, research software, or open-source)
  • •Minimum of 2 years of experience with model checking, formal verification, SAT/SMT solving (e.g., Z3, CVC4, Yices, MathSAT), abstract interpretation, or related areas
  • •Fundamental CS knowledge: data structures, algorithms, mathematical logic, and automata theory
  • •Strong collaboration and problem-solving abilities to work across teams and deliver customer-focused results
Experience:4+ yearsBlockchainFormal methodsSecurity
Education:Master's
Skills:CollaborationProblem-solvingCommunicationTeamwork
Tech Stack:Z3CVC4YicesMathSATSATSMTOCamlHaskellModel checkingSymbolic executionFormal verification

Company Brief

CertiK
Provides blockchain and smart contract security services, including automated formal verification, security audits, and real-time monitoring to protect decentralized finance protocols, smart contracts, and blockchain ecosystems from vulnerabilities and exploits.
Industry: Cybersecurity
Company Size: Large (251 to 1,000 employees)
Growth: Scaleup
Headquarters: New York, United States
Founded: 2018
WebsiteLinkedIn