Software Engineer - Formal Methods

Yesterday

🏄 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

Blockchain • Formal Verification • Cybersecurity • Smart Contracts • Infosec

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