CertiK
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.
Blockchain • Formal Verification • Cybersecurity • Smart Contracts • Infosec
Software Engineer - Formal Methods
January 9
🏄 California – Remote
🗽 New York – Remote
+1 more states
💵 $115k - $230k / year
⏰ Full Time
🔴 Lead
🧑💻 Full-stack Engineer
CertiK
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.
Blockchain • Formal Verification • Cybersecurity • Smart Contracts • Infosec
📋 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
Apply NowSimilar Jobs
January 7
Join Airbnb's Trust team to design systems for fraud detection and risk mitigation at scale.
🇺🇸 United States – Remote
💵 $204k - $259k / year
💰 Post-IPO Equity on 2020-12
⏰ Full Time
🔴 Lead
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
January 7
Join Addepar as a senior backend software engineer to build a new platform. Focused on third-party engagement with large data systems.
🇺🇸 United States – Remote
💵 $144k - $225k / year
💰 $130M Corporate Round on 2021-11
⏰ Full Time
🔴 Lead
🧑💻 Full-stack Engineer
🦅 H1B Visa Sponsor
January 4
Architect and develop software for Thanx, enhancing loyalty solutions for restaurants. Join a leading platform focused on customer engagement.
🇺🇸 United States – Remote
💵 $200k - $250k / year
💰 $17.1M Series B on 2016-12
⏰ Full Time
🔴 Lead
🧑💻 Full-stack Engineer
January 3
Join Carrum Health as a Staff Full-Stack Engineer. Lead the design and development of web and mobile applications.
January 2
As a Staff Engineer, you'll build decentralized infrastructure software. Collaborate with experts at Chainlink Labs to revolutionize smart contracts.
Discover 100,000+ Remote Jobs!
Wall of Love
Frequently asked questions
We use powerful scraping tech to scan the internet for thousands of remote jobs daily. It operates 24/7 and costs us to operate, so we charge for access to keep the site running.
Of course! You can cancel your subscription at any time with no hidden fees or penalties. Once canceled, you’ll still have access until the end of your current billing period.
Other job boards only have jobs from companies that pay to post. This means that you miss out on jobs from companies that don't want to pay. On the other hand, Remote Rocketship scrapes the internet for jobs and doesn't accept payments from companies. This means we have thousands more jobs!
New jobs are constantly being posted. We check each company website every day to ensure we have the most up-to-date job listings.
Yes! We’re always looking to expand our listings and appreciate any suggestions from our community. Just send an email to Lior@remoterocketship.com. I read every request.
Remote Rocketship is a solo project by me, Lior Neu-ner. I built this website for my wife when she was looking for a job! She was having a hard time finding remote jobs, so I decided to build her a tool that would search the internet for her.