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.
Looking for a Growth-Driven Sales Partner (Co-founder mindset) for Oferli Startup📉
The Approach & Reality of our Startup:
We are operating lean from the ground up. We believe in proof of work, direct outreach, and real-world traction rather than hiding behind heavy corporate setup before talking to clients. If you understand how early-stage startups scale from zero through hustle, strategy, and direct execution, this role is for you.
What We Are Looking For:
Proven experience in sales, business development, or client acquisition.
A true "startup mindset"—flexible, proactive, and resilient.
Comfortable with an early-stage environment where execution and direct pitching matter most.
Strong English communication skills for international collaboration.
If you are ready to build something remarkable from day one and grow alongside a dedicated team, send us a message with your background and why you are a fit!
Senior Smart Contract Engineer
We are hiring a Senior Blockchain Developer to design and build smart contract systems across multiple client and internal projects.
You will work on a variety of blockchain applications - from DeFi protocols to tokenized systems and Web3 platforms - ensuring high standards in security, scalability, and architecture.
This is a senior-level, hands-on role with exposure to multiple products and industries.
What You’ll Do
Design, develop, and deploy smart contracts using Solidity
Implement token standards (ERC-20, ERC-721, ERC-1155) and custom logic
Build and maintain contract architectures across multiple projects
Ensure security, audit readiness, and upgradeability
Optimize gas usage and performance
Collaborate with backend and frontend teams for integrations
Participate in code reviews and technical decision-making
Contribute to documentation and internal best practices
What We’re Looking For
4+ years of experience in blockchain / smart contract development
Strong expertise in Solidity and EVM-based ecosystems
Experience with Ethereum and L2s (Polygon, Arbitrum, Optimism)
Solid understanding of smart contract security and vulnerabilities
Experience with Hardhat, Foundry, or similar frameworks
Strong software engineering fundamentals (testing, Git, CI/CD)
Ability to work across multiple projects and adapt quickly
Nice to Have
Experience with DeFi protocols, staking, or token economies
Experience working with auditors or security reviews
Familiarity with upgradeable contracts (proxy patterns)
Backend experience (Node.js / TypeScript)
Experience in client-facing or consulting environments
Tech Stack
Solidity · Ethereum · Polygon · Arbitrum
Hardhat / Foundry · Node.js · TypeScript
React · ethers.js · IPFS
Why Join
Work across a diverse portfolio of blockchain projects
Exposure to both client work and internal ventures
Opportunity to influence architecture and technical direction
Collaborative, globally distributed team
Fast-paced environment with continuous learning
What Success Looks Like
Secure, production-ready smart contracts delivered across projects
Successful audits with minimal critical issues
Scalable and reusable contract architectures
Strong collaboration with cross-functional teams
Consistent delivery across multiple initiatives
Hiring Process
Application review
Technical Assessment
Technical interview (Solidity & architecture)
Final discussion
Web3 Sales & Business Development Partner📉
Building the Future of Web3: Join Oferli as a Long-Term Core Partner
Oferli is officially expanding its core leadership. Having successfully established our foundational technical team, we are now opening strategic partnership opportunities for high-level Sales and Business Development Partners specialized in technology and Web3.
We are not looking for short-term contractors; we are searching for dedicated builders ready to scale and elevate this vision to a high international level from the ground up. Our tech team is already set, and now we are expanding to build out the sales and partnership side to bring in major projects.
For security, privacy, and professional efficiency, we have already prepared our dedicated workspace on Notion, along with a secure email-based group discussion space.
What We Are Looking For:
Proven expertise and network within the Technology and Web3 industries.
A long-term entrepreneurial mindset, fully committed to building a powerful ecosystem with us from day one.
Strong capabilities in driving strategic growth, securing high-value projects, and expanding our vision internationally.
If you are a serious professional ready to build this vision with us from the ground up, let’s connect!
Data Analyst
Founding Technical Partners for Oferli – Elite Web & Mobile Development Team🌐
The Vision:
Oferli is a 100% decentralized ecosystem. While we are rooted in Web3, our expertise spans across professional web and mobile application development. We are not just another agency; we are crafting the next generation of digital solutions. Our goal is to set a new standard for excellence, transparency, and decentralization.
What I am looking for:
I am building a professional, senior-level "Elite Team." I am looking for partners who are truly passionate about the vision—not just short-term gains. By combining our individual expertise and portfolios, we will establish Oferli’s collective professional reputation.
Requirements:
Proven Expertise: You must be a senior-level professional. Please provide your portfolio showcasing your best work in web and mobile development.
Commitment: This is a founding partnership. We are looking for those who believe in the mission and are ready to tackle complex challenges together.
Professionalism: We operate with high standards. Communication and efficiency are key.
How We Work:
Collaboration: We use professional, secure channels for all communications. Qualified candidates will be contacted via email to be invited to our private workspace on Notion to align on our roadmap and launch our upcoming projects.
Decentralized Operations: We leverage Web3 tools for collaboration and compensation, maintaining a fully decentralized environment.
Growth: We are launching with a core team of at least 5 founding partners, scaling to 10, to deliver high-impact results for our clients.
Application Process:
If you are a senior professional ready to build a world-class, decentralized ecosystem, apply here on LaborX. Qualified candidates will be contacted via email for further professional vetting and onboarding.
Let’s build the future, together.
Sadr B
CEO, Oferli