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.
Senior DevRel Engineer
In this role, you will work closely with developers who integrate our smart contracts, APIs, and protocols. Your mission is to make complex systems understandable, integrations smooth, and feedback actionable for the core engineering team.
Responsibilities
• Support developers integrating our protocols and APIs
• Create clear technical content such as guides, examples, demos, and reference implementations
• Act as a technical bridge between the developer community and internal product and engineering teams
• Identify recurring integration issues and help improve tooling and documentation
• Represent the protocol in technical discussions, workshops, hackathons, and conferences
• Collaborate with ecosystem partners such as wallets, DeFi apps, and infrastructure providers
Qualifications
• Practical experience with Solidity and smart contract interaction
• Strong understanding of DeFi concepts and Ethereum based systems
• Ability to explain complex technical topics in a clear and structured way
• Experience working with developers or technical communities
• Comfort reading and reasoning about production smart contracts, security considerations, and gas efficiency
Why You’ll Love Working With Us
• Join a young, creative team in a fast-paced and supportive environment
• We’re open to new ideas if you’ve got a vision, pitch it and make it happen
• Enjoy competitive pay that matches your skills and experience
• Be part of a company that’s shaping the future of DeFi
• Take time when you need it we offer unlimited vacation days
• Get fully compensated for your work gear we’ll set you up for success
• Travel with us! We host an annual team retreat at a top international location
Hiring Process
• Test assignment: a practical exercise relevant to the role
• Technical interview: to discuss your solution, skills, and problem-solving
• HR interview: to talk about culture fit, expectations, and the role
Why this role matters
You will directly shape how developers experience the protocol. Your work will influence adoption, integration quality, and long term ecosystem growth by making powerful technology accessible and reliable for others to build on.
You don’t need to meet every requirement to apply - don’t worry. We value potential, motivation, and willingness to learn just as much as experience.
If this role excites you, we’d love to hear from you.
Senior Software Engineer (Blockchain)
MentTech is a forward-thinking technology company dedicated to transforming how mentoring and learning are delivered in the digital age. By combining advanced tools, intelligent systems, and a human-first approach, MentTech helps individuals, teams, and organizations harness the power of mentorship to unlock potential, build skills, and achieve lasting growth.
The Role
We are seeking a Smart Contract Developer responsible for ensuring that game listings within MentTech work properly and ensuring compliance with all game store policies.
Key Responsibilities:
• Architect, implement, and deploy secure smart contracts for an on-chain Play-to-Earn GameFi ecosystem
• Lead contract design decisions with a focus on robustness, auditability, gas efficiency, and resilience to attack vectors
• Mentor/junior developers: perform code reviews, establish standards, best practices in security & testing
• Collaborate cross-functionally with game designers, backend, QA, and security teams to align smart contract features with product roadmap
Qualifications:
• 2+ years hands‐on experience developing & deploying smart contracts (Solidity / EVM or equivalent) in production environments
• Track record of writing secure contracts, familiarity with common vulnerabilities (reentrancy, integer over/underflow, front-running, flash loans, etc.)
• Experience with audits, formal verification, fuzz testing, or other advanced contract assurance methods
• Strong test suite / CI workflow skills; comfortable using tools like Hardhat, Foundry, Truffle etc.
• Solid understanding of GameFi mechanics and how on-chain economics work
Bonus Points:
• Experience on multiple EVM chains or Layer-2 / sidechains
• Knowledge of cross-chain bridges, oracles, NFTs, tokenomics design
• Contributions to open-source security tooling or prior audit reports or published code you’re proud of
Why join MentTech?
At MentTech, we cultivate a culture of flexibility, autonomy, and the freedom to make a real impact on the broader Web3 ecosystem. Experience the advantages of a fully remote working environment where your expertise and contributions are rewarded with competitive compensation tailored to your role and project influence.
Ment Tech Labs
• Employee Equity & Incentives: Unlock future growth with equity and other potential incentives.
• Entrepreneurial Culture: Join a collaborative environment where we innovate together as partners.
• Cutting-edge Innovation: Work at the forefront of gaming and blockchain.
• Key Strategic Projects: Be part of transformative initiatives that are redefining the gaming landscape.
• Remote Flexibility: Enjoy a truly flexible, fully remote work setup that supports your lifestyle.
• Talented Team: Collaborate with a team of passionate, driven, and skilled professionals.
• Community Impact: Contribute to the growth and success of the Web3 and gaming communities.
• Flexible Payment Options: Receive payments in crypto or fiat, tailored to your preference.
• Growth Opportunities: Access valuable learning experiences and development paths.
MentTech Labs, Inc. is an equal opportunities workplace that doesn’t discriminate based on race, ethnicity, gender, ancestry, national origin, religion, sex, sexual orientation, gender identity, age disability, veteran status, genetic information, marital status, or any other legally protected status.
🚀 Hiring Solana Developers – Pump.fun
Hi,
I’m reaching out from Valiant Solution LLC. We’re currently working with a U.S.-based client who is an experienced crypto professional and we’re looking for a skilled Solana developer to help build a platform similar to Pump.fun.
We already have a basic codebase from GitHub that the developer can start from, so the project will mainly involve customizing, improving, and completing the functionality rather than building everything from scratch.
Key requirements:
• Experience with Solana smart contracts (Rust / Anchor)
• Knowledge of token launch mechanics and bonding curves
• Experience with Solana Web3 integrations
• Ability to work with an existing codebase and extend it
If this sounds interesting, please reply with:
• Your Solana development experience
• Links to relevant projects or GitHub
• Your availability for a quick discussion
Looking forward to connecting.
Best regards,
Valiant Solution LLC
Web3 Fullstack Developer
Neonflick is a tech organization specializing in Web3 development.
We believe Web3 solutions are not as popular as they could be — mainly due to complexity. Our mission is to simplify the user experience and make decentralized technology more accessible and easy to use for everyone.
🚀 About the Role
We are looking for a Web3 Fullstack Developer who is passionate about decentralized technologies and excited to contribute to building meaningful Web3 products. You will work on developing new products, improving existing ones, and fixing bugs, all while proposing innovative ideas to enhance our platform.
🔹 Responsibilities
Develop functional and user-friendly Web3 products
Improve and optimize existing products and features
Identify and fix bugs or issues in the system
Propose and implement new ideas for product development
Collaborate with the team to ensure high-quality software delivery
🔹 Requirements
Strong interest in Web3 / blockchain / decentralized technologies
Fullstack development experience (frontend + backend)
Experience with smart contracts and decentralized frameworks is a plus
Problem-solving skills and attention to detail
Ability to work independently and proactively
🔹 What You Get
Early-stage involvement in a Web3 tech organization
Influence over product development and feature design
Opportunity to build experience and a portfolio in the Web3 space
Potential long-term collaboration and future compensation as the project grows
A chance to contribute to making Web3 simpler and more accessible
⚠️ Important
This is an unpaid position. We are looking for someone motivated by vision, learning, and long-term impact rather than immediate salary.
If you are passionate about Web3 and building meaningful decentralized products, we’d love to hear from you.
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.