Software Engineer - Formal Methods

January 9

🏄 California – Remote

Although this job is listed in California, this company may be open to hiring remote in other states.

🗽 New York – Remote

Although this job is listed in New York, this company may be open to hiring remote in other states.

+1 more states

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

💵 $115k - $230k / year

⏰ Full Time

🔴 Lead

🧑‍💻 Full-stack Engineer

Apply Now

Receive Emails with Similar Jobs

CertiK

WebsiteLinkedInAll Job Openings

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.

201 - 500 employees

Founded 2018

🌐 Web 3

🔐 Security

₿ Crypto

💰 $60M Series B on 2022-04

📋 Description

• The leading blockchain security company • Join as a research software engineer for automated analyses • Design and develop tools ensuring smart contract correctness • Collaborate with programming language experts • Engage in tool development, from idea to implementation • Share ideas, tackle hard problems, and embrace #startuplife

🎯 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 • Minimum of 2 years of experience with model checking, formal verification, SAT/SMT solving, or closely related disciplines • Demonstrated knowledge of fundamental computer science concepts

🏖️ 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 and holidays • Variable commission program for business development sales roles