Design and develop tools for smart contracts ensuring correctness, lead feature development, and create responsive web applications within a collaborative team.
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. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background.
As part of our multinational team of programming language experts, you will 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. 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.
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).
Compensation: The target annual compensation is $132,000 - $180,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates.
#blockchain
#startups
#hiring
CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.
In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.
CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.
CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements.
https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf
All CertiK employees are expected to actively support diversity on their teams, and in the Company.
Top Skills
AWS
Blockchain
CSS
Ec2
HTML
JavaScript
React
S3
Smart Contracts
Typescript
Web3
CertiK New York, New York, USA Office
1001 Ave of Americas, New York, NY, United States, 10018
Similar Jobs
eCommerce • Food • Pet
Lead the development of complex systems and features, improve team processes, collaborate with cross-functional teams, mentoring juniors, and ensure system sustainability.
Top Skills:
AWSNode.jsOpenapiReactTypescript
Consumer Web • eCommerce • Marketing Tech • Payments • Software • Design • SEO
Design and maintain backend services and APIs using Java, lead technical discussions, collaborate on product requirements, and mentor junior engineers.
Top Skills:
AmqpAWSCockroachdbGCPJavaKafkaMongoDBPub/SubSpring
AdTech • Cloud • Digital Media • Information Technology • News + Entertainment • App development
The Senior Software Engineer will design and develop scalable web applications using .NET and Angular, integrate back-end services with Java, Node.js or Python, and influence technical direction in Ad Tech applications.
Top Skills:
.NetAngularJavaNode.jsPython
What you need to know about the NYC Tech Scene
As the undisputed financial capital of the world, New York City is an epicenter of startup funding activity. The city has a thriving fintech scene and is a major player in verticals ranging from AI to biotech, cybersecurity and digital media. It also has universities like NYU, Columbia and Cornell Tech attracting students and researchers from across the globe, providing the ecosystem with a constant influx of world-class talent. And its East Coast location and three international airports make it a perfect spot for European companies establishing a foothold in the United States.
Key Facts About NYC Tech
- Number of Tech Workers: 549,200; 6% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Capgemini, Bloomberg, IBM, Spotify
- Key Industries: Artificial intelligence, Fintech
- Funding Landscape: $25.5 billion in venture capital funding in 2024 (Pitchbook)
- Notable Investors: Greycroft, Thrive Capital, Union Square Ventures, FirstMark Capital, Tiger Global Management, Tribeca Venture Partners, Insight Partners, Two Sigma Ventures
- Research Centers and Universities: Columbia University, New York University, Fordham University, CUNY, AI Now Institute, Flatiron Institute, C.N. Yang Institute for Theoretical Physics, NASA Space Radiation Laboratory
