CertiK leads blockchain security by securing smart contracts and blockchains with cutting-edge Formal Verification technology. The company is looking to hire software engineers to design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts.
Requirements
- 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).
Responsibilities
- Design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts.
- Participate in the development of tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification.
- Work on all stages of tool development from idea generation to implementation and iterative improvements.
- 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.
Other
- Background in programming language theory and automated reasoning.
- Love to work on the forefront of applying results from theoretical computer science.
- Love to tackle computationally hard problems and have a proven track record of achieving results.
- Collaborative: share ideas, love to brainstorm with peers, and give and receive feedback.
- Comfortable with the unknown and understand that startuplife means that you will be wearing multiple hats.
