Remote Research Software Engineer – Blockchain Verification

CryptoproNetwork; United States; Remote; USD 115,000 - 230,000; Full time

Benefits offered by this job

Medical and dental insurance

Vision insurance

401(k) with company match

Life insurance

HSA and FSA options

Paid time off and holidays

Job summary

CertiK is seeking a Research Software Engineer to advance automated analyses for provably secure blockchain applications. You will design and develop tools to verify smart contracts, tackle complex verification challenges, and collaborate across a multinational team of researchers.

You will work on symbolic model checking, SMT solving, and formal verification, contributing from idea to implementation while maintaining high quality software and supporting customers.

Qualifications

• Master's degree in CS or 5 years of equivalent experience.
• 4+ years of software development experience (research, internships, OSS).
• 2+ years with model checking, formal verification, or SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol).
• Strong fundamentals in data structures, algorithms, logic, and automata theory.

Responsibilities

• Extend automated program verification tools and implement new ones.
• Improve symbolic software model checking: BMC, CEGAR, IC3/PDR.
• Build translators to intermediate representations for analysis.
• Formalize security properties for verification tools.
• Collaborate with engineers to set technical direction and deliver usable software.
• Deliver software from analysis to testing, deployment, and support.

Skills

Model checking

Formal verification

SAT/SMT solving

Abstract interpretation

Automata theory

Data structures

Algorithms

Programming languages

Team collaboration

Education

Master's degree in Computer Science

PhD in automated reasoning

Tools

Z3

CVC4

Yices

MathSAT

SMTInterpol

OCaml

Haskell

Job description

CertiK is seeking a Research Software Engineer to advance automated analyses for provably secure blockchain applications. You will design and develop tools to verify smart contracts, tackle complex verification challenges, and collaborate across a multinational team of researchers.

You will work on symbolic model checking, SMT solving, and formal verification, contributing from idea to implementation while maintaining high quality software and supporting customers.