About CertiK
Securing the future of blockchain technology
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...
Skills & Technologies
Overview
CertiK is hiring a Senior Software Engineer to design and develop tools for ensuring the correctness of smart contracts. You'll work with programming language theory and automated reasoning in New York. This role requires a strong background in theoretical computer science.
Job Description
Who you are
You have a background in programming language theory and automated reasoning — you love to work on the forefront of applying results from theoretical computer science. You enjoy tackling 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.
What you'll do
As a Senior Software Engineer at CertiK, you will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. You will have the opportunity to work on all stages of tool development from idea generation to implementation and iterative improvements. You will collaborate with a multinational team of programming language experts, contributing to the development of cutting-edge Formal Verification technology that secures smart contracts and blockchains.
What we offer
At CertiK, you will be part of a highly supportive and collaborative team with great opportunities to learn and grow. You will work in an environment that values innovation and encourages you to push the boundaries of what is possible in blockchain security. Join us in our mission to secure over $500B in assets and be part of a company founded by esteemed Computer Science professors from Yale and Columbia University.
Interested in this role?
Apply now or save it for later. Get alerts for similar jobs at CertiK.
Similar Jobs You Might Like
Based on your interests and this role
Software Engineering
Clear Street is hiring a Senior Software Engineer to build applications for their Securities Finance and Futures businesses. You'll work closely with engineering teams in New York and Sweden. This position requires significant experience in software engineering.
Software Engineering
Justworks is hiring a Senior Software Engineer to independently own large-scoped projects and collaborate with cross-functional teams to improve customer experiences. This role requires demonstrated ability in building and maintaining complex applications.
Software Engineering
Clear Street is hiring a Senior Software Engineer to build their flagship Clear Street Studio, a modern brokerage experience. You'll tackle complex problems and develop core services for a world-class financial platform. This role requires strong system design skills and experience in Java.
Software Engineering
Optiver is seeking a Software Engineer specializing in US cash equities and ETFs to lead technical projects and enhance trading infrastructure. You'll work with Java and C++ to develop low-latency trading systems. This position requires expertise in financial markets and software development.
Software Engineering
SeatGeek is hiring a Senior Software Engineer to join their R&D team and help modernize the ticketing industry. You'll work with technologies like Java, JavaScript, and Docker to build scalable software solutions. This position requires experience in building business-critical software in fast-paced environments.