Software Engineer (Engineer III to Principal) - Formal Methods
** Why Us?**
In a world witnessing tremendous innovation fueled by blockchain technology, ensuring the security and correctness of blockchain code, including protocols and smart contracts, is paramount. CertiK, a leading blockchain security company, is dedicated to securing the digital space by leveraging cutting-edge academic techniques to safeguard blockchain code. Join us in our mission to develop automated analyses for provably secure and correct blockchain applications.
What You Will Do
As a Research Software Engineer at CertiK, you will be responsible for designing and implementing tools that autonomously verify the accuracy of smart contracts and detect security vulnerabilities and bugs in them. Various positions are available at different seniority levels, with titles and responsibilities aligned with experience and background.
Working alongside a diverse team of programming language experts, you will contribute to the creation of tools based on techniques like symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will engage in all aspects of tool development, from conception to enhancements, in a collaborative and supportive environment that encourages continuous learning and professional growth.
About You
You possess a background in programming language theory and automated reasoning and thrive on applying theoretical computer science outcomes to practical solutions. You excel in solving complex computational challenges and have a history of delivering impactful results that enhance user workflows. Collaboration is key to you, as you enjoy exchanging ideas, engaging in group brainstorming, and providing and receiving constructive feedback. You are adaptable and understand the dynamic nature of a startup environment, where versatility is essential.
Responsibilities
- Enhance automated program verification tools and foster the development of new tools
- Refine algorithms for symbolic software model checking, such as BMC, CEGAR, and IC3/PDR
- Develop translators for diverse input languages into optimized models for automated analysis
- Define new security properties for smart contracts and integrate them into verification tools
- Collaborate closely with software engineers to drive tool development and problem-solving efforts
- Engage in the complete software lifecycle, including analysis, design, testing, operations, and customer support
Required Qualifications
- Master's Degree in Computer Science or equivalent experience
- Minimum of 4 years of software development experience
- At least 2 years of experience in model checking, formal verification, SAT/SMT solving, or related fields
- Proficiency in fundamental computer science concepts
Preferred Qualifications
- Ph.D. in automated reasoning or related discipline
- Record of publications in conferences like POPL, CAV, and TACAS
- Familiarity with functional programming languages like OCaml or Haskell
- Strong problem-solving skills and a willingness to learn and collaborate
- Previous experience in a professional software development setting
About the Company
Established in 2018 by Yale University and Columbia University professors, CertiK is a pioneer in blockchain security, utilizing advanced technology to safeguard blockchain protocols and smart contracts. With a commitment to enhancing security across the digital realm, CertiK integrates cutting-edge academic innovations into enterprise solutions, enabling the development of secure and accurate mission-critical applications.
Compensation
The targeted annual base salary for this role in the U.S. ranges from $115,000 to $230,000. The actual salary offered will depend on the candidate's skills and background.
At CertiK, full-time employees receive comprehensive benefits, including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, and flexible paid time off. The company also offers a variable commission program for certain roles.
CertiK adheres to federal employment regulations and maintains a commitment to equal opportunity employment, welcoming applicants without bias based on various characteristics.
All CertiK team members are encouraged to actively promote diversity within their teams and the organization as a whole.
Growth Marketing Lead (User & Volume Growth Focus)
This is not a traditional community manager role. We’re looking for someone with a proven track record of onboarding users, increasing engagement, and directly contributing to product adoption and transaction/activity volume.
What You’ll Own
Develop and execute user growth strategy end-to-end
Drive measurable increases in active users and platform volume
Build acquisition funnels (organic + partnership-driven)
Optimize onboarding flows and activation metrics
Lead social presence across Twitter/X and other platforms
Represent the project in Twitter Spaces and relevant community events
Launch and manage growth campaigns, incentives, and referral programs
Track and report on growth KPIs (CAC, activation rate, retention, volume impact)
Must-Have Experience
Proven track record of growing users and/or trading/activity volume in a startup, Web3, fintech, or SaaS environment
Demonstrated ability to turn social presence into measurable growth
Experience hosting or speaking in Twitter Spaces and similar forums
Strong understanding of growth funnels, activation metrics, and retention loops
Data-driven mindset (comfortable with analytics tools and experimentation)
Bonus Points
Experience in crypto, trading platforms, or financial products
Experience designing referral or incentive systems
Existing relevant audience/network
What We Care About
We don’t care about vanity metrics (likes, impressions).
We care about:
Active users
Retention
Conversion
Volume growth
Sustainable acquisition loops
If you’ve scaled a product before and can show real numbers behind your impact, we want to talk.
Senior Blockchain Engineer
Protocol Core: Development and optimization of L2-settlement logic on Solidity/Yul.
Bridge Security: Designing secure cross-chain gateways with protection against double spending and reorgs.
Node Infrastructure: Optimizing the interaction of node validators with the EVM stack.
Gas Engineering: Extreme cost reduction for publishing data in L1 (Deneb/Cancun-ready).
Requirements:
Deep knowledge of Solidity (0.8.20+) and Assembly (Yul).
Experience working with Foundry (Fuzzing/Invariants) and understanding the architecture of OP Stack or Arbitrum Orbit.
Skills of working with indexers (The Graph/Envio) and the RPC layer.
Social media manager
Senior Blockchain Engineer
DApp & Smart Contract Developer (Vesting Platform)
This role is ideal for someone who thrives in fast-moving environments, values clean and secure code, and understands the nuances of blockchain-based application architecture.
Responsibilities
Diagnose and resolve issues in vesting smart contracts and their front-end integrations.
Implement new features and system enhancements to improve UX and overall platform performance.
Maintain smooth interaction between the web interface and deployed smart contracts.
Conduct testing, audits, and deployments across testnet and mainnet environments.
Optimize contract logic for performance, security, and gas efficiency.
Collaborate with our engineering team to identify pain points and deliver stable, secure solutions.
Requirements
Proven experience building full-stack decentralized applications.
Strong proficiency in Solidity, JavaScript/TypeScript, and modern frameworks (Angular, React, or Vue).
Hands-on experience with Hardhat or Foundry for smart contract development and testing.
Familiarity with Ethers.js or Web3.js for blockchain interaction layers.
Solid understanding of Ethereum, Polygon, or other EVM-compatible chains.
Experience integrating wallets such as MetaMask and managing on-chain/off-chain data flows.
Strong debugging skills, attention to detail, and a security-first mindset.
Nice to Have
Experience with smart contract security audits and gas optimization techniques.
Knowledge of Node.js-based backend services or API integration layers.
Previous experience with vesting, staking, or token distribution mechanisms.
Project Scope
This role supports a short-to-mid-term initiative focused on stabilizing and enhancing an existing crypto vesting platform. High-performing developers may have opportunities for ongoing collaboration across additional blockchain and product engineering projects.
Hiring Process
Technical Assessment - Selected candidates will complete a short, clearly scoped technical exercises designed solely to evaluate coding approach and smart contract knowledge.
CTO interview - A final discussion to evaluate technical reasoning, architectural thinking, and team fit. Successful candidates may receive an offer through Contra following this conversation.