This job was successfully filled. Explore other exciting opportunities at CertiK or browse similar active positions below.
Senior Software Engineer
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.
Requirements
Responsibilities Lead end-to-end feature development, from user interface implementation/backend logic to smart contract/blockchain integration, in a fast-paced/product-driven environment. Design/develop modern/responsive full-stack Web3 applications. Build/deploy/maintain robust backend systems/APIs/microservices for blockchain data processing/user interaction/real-time functionality. Process/analyze on-chain/off-chain data & integrate wallet connectivity via secure/scalable Web3 tools. Create engaging frontend that incorporates interactive data visualizations, animations, UI/UX best practices & SEO strategies to enhance engagement/retention. Monitor advancements in Web3 ecosystem, including developer tooling/blockchain protocols/web technologies, to enhance stack efficiency & maintain architectural modernization. Requirements Master’s degree in Computer Science/Engineering or a related field Advanced knowledge of algorithms/data structures/operating systems/computer architecture/network protocols. In-depth understanding of blockchain fundamentals, including decentralized networks/Web3 infrastructure/smart contract development (EVM/Web3.js) Expertise in frontend development using React/JavaScript/TypeScript/HTML/CSS & backend development, including API architecture/design, server-side development & caching strategies Proficiency in cloud services (AWS/S3/EC2).
About CertiK
CertiK is a pioneer in securing the Web3 landscape, leveraging cutting-edge formal verification technology and AI to audit and monitor blockchain protocols and smart contracts. Our mission is to raise the security standards of the decentralized world, protecting billions of dollars in digital assets from vulnerabilities and malicious actors. We are at the forefront of blockchain security, ensuring trust and transparency across the crypto ecosystem for projects ranging from DeFi and NFTs to Layer 1s. Our culture thrives on innovation, precision, and a shared passion for a safer Web3. We foster an environment where challenges are met with collaborative problem-solving, and continuous learning is encouraged. Team members are empowered to shape the future of blockchain security, working alongside world-class experts in cryptography, cybersecurity, and artificial intelligence. We value intellectual curiosity, rigorous analysis, and a commitment to excellence in all that we do. Joining CertiK means becoming an integral part of a global team that is truly making an impact. You'll contribute to groundbreaking security solutions, protect the integrity of decentralized finance, and help build a more secure digital future. If you're a talented individual passionate about blockchain, cybersecurity, and making a tangible difference in the Web3 space, we invite you to explore our opportunities and help us secure the next generation of the internet.