Post a job to reach 2,500,000+ remote workers worldwide.
Post a remote job→
Back to all jobs
C

Software Engineer (Engineer III to Principal) - Formal Methods

Verified Salary
$135k - $185k
Location
USA
Published
4d ago
RemoteSoftware EngineeringFull-Time
91% ATS Fit Match
Tailor a custom CV & Cover Letter PDF for CertiK

Perks & Benefits

🌎Distributed team⏰Async workflow🏖Unlimited vacation🖥Home office budget

🎯 Direct Sniper Outreach & Decision-Maker Kit

Bypass the 500+ applicant ATS black hole — reach CertiK's hiring team directly

Sniper Kit Active
⚡ Founder / Hiring Manager Sniper DM
Hi [Name] — saw CertiK just opened the Software Engineer (Engineer III to Principal) - Formal Methods role. I've shipped production systems in this exact stack and put together a tailored breakdown of how I can contribute in my first 30 days. Just submitted via your portal — worth a quick 5-min chat this week?
c*****s@jobicy.com(Direct HR Inbox)

Why us? Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot b

Subscriber Exclusive

Unlock Complete Job Details & Direct Apply

Full technical requirements, interview process breakdown, and direct ATS application links are reserved for active subscribers.

7-Day 100% Refund Policy•Weekly & Monthly Plans • Cancel Anytime

Subscriber-Only Opportunity

Only registered candidates with an active subscription can apply directly to verified remote positions on Remote Work Daily.

Don't have an account?