Find your next role
Discover roles across ambitious teams
7,762 jobs
- More jobs
CertiK
Software Engineer, Formal Methods
Remote · USA · Full time · Mid level
$115k–$230k / year
About the role
Design and develop tools to ensure correctness and security of smart contracts. Work on automated analyses for blockchain applications.
What you’ll do
• Extend automated program verification tools. • Improve algorithms for symbolic software model checking. • Build translators for input languages to intermediate representations. • Identify and formalize new security properties for smart contracts. • Collaborate on tool development and technical direction.
What you’ll bring
• Master's degree or 5 years equivalent experience. • 4 years software development experience. • 2 years experience in model checking or formal verification. • Knowledge of data structures, algorithms, logic, automata theory. • Collaborative and adaptable to startup environment.
Life at CertiK
Offers medical, vision, dental insurance, 401(k) with matching, life insurance, HSA, FSA, flexible PTO and holidays.
About CertiK
CertiK pioneers blockchain security by applying academic innovations to secure blockchain protocols and smart contracts.