Software Engineer – Formal Methods

🕒 March 31

🏄 California, New York, +1 more states – Remote

🏄 California – Remote 🗽 New York – Remote ☕ Washington – Remote

💵 $115k - $230k / year

⏰ Full Time

🔴 Lead

🧑‍💻 Full-stack Engineer

👻 Ghost score 38%

What it means: how likely this posting is sitting open without active hiring.How to read it: 60% or higher means we think this is a ghost. Lower scores are less of a worry.How we score it: age, reposts, open roles vs team size, how fast jobs close, and whether pay is listed.Fine print: an estimate from public data, not a judgment of the company. Real jobs can score high, so treat it as a hint, not a fact.

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

CertiK

WebsiteLinkedInAll Job Openings

201 - 500 employees

Founded 2018

🌐 Web 3

🔐 Security

₿ Crypto

💰 $60M Series B on 2022-04

Web 3 • Security • Crypto

CertiK is leading the charge in enhancing security within the Web3 ecosystem. As the industry's foremost smart contract auditor, CertiK provides a comprehensive suite of tools designed to secure the Web3 space at scale. Their services include code security audits, smart contract audits, and blockchain audits, with an emphasis on provable trust and comprehensive security evaluations. With a track record of serving thousands of clients and scrutinizing numerous projects, CertiK is recognized for its formal verification expertise, including groundbreaking work in zero-knowledge proofs (zkProofs) and partnerships to strengthen blockchain integrity. They offer advanced services like KYC, penetration testing, and risk management, while maintaining compliance with prominent standards like SOC 2 and ISO 27001. CertiK has been acknowledged by tech giants like Apple and Samsung for its contributions to securing tech ecosystems.

📋 Description

• Design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. • 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. • Build and extend translators from different input languages into intermediate representations. • Identify new classes of security properties of smart contracts and formalize properties for automated verification tools.

🎯 Requirements

• Master's Degree in Computer Science or a related field or 5 years of equivalent experience. • Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development). • Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines. • Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory.

🏖️ Benefits

• medical, vision, and dental insurance • 401(k) plan with company matching • life and accidental death and dismemberment insurance • HSA (with high deductible plan) • FSA • flexible paid time off • holidays • variable commission program for business development sales roles