Senior Software Engineer

About You

We are seeking individuals with a strong background in programming language theory and automated reasoning, who are passionate about applying theoretical computer science concepts to real-world problems. Successful candidates will have a proven track record of solving complex computational challenges and delivering valuable tools that are actively used by end-users. Collaboration is key, as you will be expected to work closely with peers, share ideas, engage in brainstorming sessions, and provide constructive feedback. Adaptability is crucial in this dynamic environment, as you will be required to take on various roles and responsibilities.

About the Company

CertiK is a frontrunner in blockchain security, leveraging Formal Verification technology to secure smart contracts and blockchains. Founded by esteemed Computer Science professors from Yale and Columbia University, CertiK has audited and protected assets totaling over $500B, encompassing numerous prominent blockchain projects.

About the Role

The role entails designing and developing tools that automatically validate the accuracy of smart contracts or detect security vulnerabilities and bugs. Positions are available for software engineers at different levels of seniority, with job titles and duties aligned with individual experience and expertise. You will be part of a diverse team of programming language experts, contributing to the creation of tools based on cutting-edge techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. The role offers the opportunity to be involved in all phases of tool development, from ideation to implementation and continuous enhancements. The team culture is characterized by strong support and collaboration, providing an enriching environment for professional development.

Responsibilities

• Lead the end-to-end development of features, spanning user interface implementation, backend logic, and integration with smart contracts and blockchains within a fast-paced, product-focused setting.
• Design and develop modern, responsive full-stack Web3 applications that cater to user needs.
• Construct, deploy, and maintain robust backend systems, APIs, and microservices for processing blockchain data, facilitating user interactions, and enabling real-time functionality.
• Analyze and process on-chain and off-chain data, integrating secure and scalable Web3 tools to enable wallet connectivity.
• Create engaging front-end interfaces featuring interactive data visualizations, animations, best UI/UX practices, and SEO strategies to enhance user engagement and retention.
• Stay informed about advancements in the Web3 ecosystem, including developer tools, blockchain protocols, and web technologies, to improve stack efficiency and ensure architectural modernization.

Requirements

• Master's degree in Computer Science or a related field
• Advanced knowledge of algorithms, data structures, operating systems, computer architecture, and network protocols
• Proficiency in blockchain fundamentals, encompassing decentralized networks, Web3 infrastructure, and smart contract development (EVM/Web3.js)
• Expertise in frontend development using React, JavaScript, TypeScript, HTML, and CSS, as well as backend development involving API architecture, server-side development, and caching strategies
• Experience with cloud services, particularly AWS, S3, and EC2

Compensation: The anticipated annual compensation for this role ranges between $132,000 - $180,000, contingent upon the skills and experience of qualified candidates.

CertiK extends various benefits to full-time employees, including medical, vision, and dental insurance, a 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, and holidays. Additionally, CertiK offers a commission program for business development sales roles.

During the recruitment process, CertiK ensures compliance with federal law, requesting all hires to verify identity and eligibility to work in the US and complete the necessary employment eligibility verification form.

CertiK is committed to maintaining an inclusive workplace and upholds equal employment opportunities, refraining from discriminating against applicants or employees based on various factors. The company is open to considering qualified applicants with criminal histories in accordance with relevant laws and regulations.

CertiK encourages diversity within its teams and expects all employees to actively support diversity efforts. In parts of the hiring process, the company may utilize AI tools to assist with activities such as application review, resume analysis, or responses assessment; however, final hiring decisions are made by human evaluators. For further information on data processing, applicants are welcome to reach out for clarification.