LeethubLeethub
JobsCompaniesBlog
Go to dashboard

Leethub

Curated tech jobs from FAANG and top companies worldwide.

Top Companies

  • Google Jobs
  • Meta Jobs
  • Amazon Jobs
  • Apple Jobs
  • Netflix Jobs
  • All Companies →

Job Categories

  • Software Engineering
  • Data, AI & Machine Learning
  • Product Management
  • Design & User Experience
  • Operations & Strategy
  • Remote Jobs
  • All Categories →

Browse by Type

  • Remote Jobs
  • Hybrid Jobs
  • Senior Positions
  • Entry Level
  • All Jobs →

Resources

  • Google Interview Guide
  • Salary Guide 2025
  • Salary Negotiation
  • LeetCode Study Plan
  • All Articles →

Company

  • Dashboard
  • Privacy Policy
  • Contact Us
© 2026 Leethub LLC. All rights reserved.
Home›Jobs›CertiK›Senior Software Engineer
CertiK

About CertiK

Securing the future of blockchain technology

🏢 Tech👥 101-200 employees📅 Founded 2018📍 Garment District, New York, NY⭐ 3.1
B2BCyber SecurityBlockchainWeb 3.0

Key Highlights

  • Audited over 3,500 Web3 projects
  • Protects $515 billion in market capitalization
  • Launched CertiKShield for community-based crypto insurance
  • Headquartered in New York City with 101-200 employees

CertiK is a leading blockchain cybersecurity company headquartered in the Garment District of New York, NY. With over 3,500 Web3 projects audited, CertiK's security reports protect more than $515 billion in market capitalization. In response to the $3.9 billion lost to hacking and fraud in 2022, Cer...

🎁 Benefits

CertiK offers competitive salaries, equity options, flexible remote work policies, and generous PTO. Employees also benefit from a supportive environm...

🌟 Culture

CertiK fosters a culture focused on security and innovation within the rapidly evolving Web3 landscape. The company prioritizes engineering excellence...

🌐 Website💼 LinkedIn𝕏 TwitterAll 27 jobs →
CertiK

Senior Software Engineer

CertiK • New York, New York

Posted 1w ago🏛️ On-SiteSeniorSoftware engineering📍 New york
Apply Now →

Skills & Technologies

PythonJavaC++Automated reasoningFormal verification

Job Description

About You
You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You love to tackle computationally hard problems and have a proven track record of achieving results, where results are people using your tool to do their jobs. You are collaborative: you share ideas, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means that you will be wearing multiple hats.

About the Company
CertiK leads blockchain security by securing smart contracts and blockchains with cutting-edge Formal Verification technology. Founded by Computer Science professors of Yale University and Columbia University, CertiK has audited and secured over $500B in assets, including many of the world’s top blockchain projects. 

About the Role
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. As part of our multinational team of programming language experts, you will have the opportunity to work on all stages of tool development from idea generation to implementation and iterative improvements. Our team is highly supportive and collaborative with great opportunities to learn and grow.

Interested in this role?

Apply now or save it for later. Get alerts for similar jobs at CertiK.

Apply Now →Get Job Alerts