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.
Junior Crypto Analyst & Trader (Remote, Training Included)
We bring together enterprising people who want to master modern approaches to trading, analysis and decision-making in a dynamic market environment.
We are currently looking for a Junior Crypto Analyst & Trader, a novice specialist who is ready to complete training, perform real trading operations and develop under the guidance of experienced mentors.
Your Responsibilities:
Execution and support of trading operations on digital markets.
Tracking asset dynamics and market trends.
Maintaining internal records on transactions and statistics.
Analyzing market data, news, and charts for decision-making.
Work with analytical tools and participate in discussions with a team of traders.
The gradual formation and improvement of your own trading strategy.
What We Offer:
Working for a young and growing international company.
Remote format — you can work from anywhere in the world.
Flexible schedule — up to 20 hours per week, it is convenient to combine with study or main activity.
Learning from scratch — all processes and trading tools are mastered with a mentor.
The opportunity for professional growth and transition to more advanced levels.
Ideal Candidate:
He is interested in digital assets and trading processes.
He is attentive to details and is able to analyze data.
He learns quickly and is ready to act in a dynamic environment.
Knows how to work independently and in a team.
Trading experience is not required — the desire to develop is important.
Smart Contract Developer
We’re looking for an experienced Smart Contract Developer to join our remote team. You’ll be responsible for designing, developing, and deploying secure and efficient smart contracts for blockchain-based applications. The role involves close collaboration with other developers and product leads to bring new ideas to life.
Key Responsibilities:
- Design, write, and test smart contracts (Solidity)
- Review and optimize existing contracts for gas efficiency and security
- Integrate contracts with front-end or backend services via Web3
- Participate in code reviews, audits, and documentation
- Stay current with blockchain trends and best practices
Requirements:
- Proven experience with Solidity, EVM-based blockchains, and related frameworks (Hardhat, Truffle, Foundry, etc.)
- Good understanding of DeFi protocols, NFT standards (ERC-721/1155), or Layer-2 solutions
- Familiarity with smart contract security and testing methodologies
- Experience using GitLab, Git, and version control workflows
- Ability to work independently and communicate effectively in English
Nice to Have:
- Background in cryptography, auditing, or backend development
- Contributions to open-source blockchain projects
What We Offer:
- Fully remote and flexible working hours (team across EST, CET, GMT+2)
- Flexible payment options — including crypto payments (USDT, USDC) or traditional methods
- Collaborative and friendly international team
- Opportunities to grow into lead or architecture roles
Senior Software Developer
We’re looking for a Senior Backend Software Developer to join our remote US-based team and help craft the next generation of innovative products. If you thrive on solving complex problems, building scalable systems, and staying ahead of technology trends, this role is for you.
What You’ll Do:
Develop scalable and maintainable backend systems using Node.js and MongoDB
Collaborate with cross-functional teams to build features for customers and internal tools
Ensure high code quality through unit, integration, and functional testing, code reviews, and thorough documentation
Address challenges in scalability, reliability, and logging during development
Mentor and guide other developers, fostering growth and knowledge-sharing
Stay up-to-date with emerging technologies to keep our team innovative and competitive
What We’re Looking For:
5+ years of professional backend development experience
Expert in Node.js and MongoDB
Proven experience delivering production-ready APIs
Strong desire for continuous learning and process improvement
Track record of delivering high-quality software in professional environments
Passion for your craft, drive for progress, and commitment to excellence
Portfolio showcasing your work (e.g., GitHub)
Blockchain or fintech development experience
Highly Preferred: blockchain or fintech development experience
Bachelor’s degree in Computer Science or equivalent experience with notable projects
What We Offer:
Collaborate with a team of intelligent, enthusiastic individuals.
Thrive in a rapidly expanding crypto company with global reach, where your contributions make a tangible impact.
Work remote with a generous vacation policy, including the opportunity to take a sabbatical and select your own holidays.
Access to continuous learning and development opportunities, supported by professional development reimbursement.
Competitive salary package with comprehensive benefits, including fully covered medical and dental plans. We also offer telemedicine, life insurance, disability insurance, vision coverage, 401k, travel assistance, and more.
Option to receive payment in cryptocurrency, along with a crypto match program.
Stock option awards available to all employees.
Home office allowance, reimbursement for internet/cell expenses, complimentary Amazon Prime and Spotify subscriptions.
BitPay is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees. All qualified applicants will receive consideration for employment without regard to race, color, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status.
If interested, please apply here: https://bitpay.applytojob.com/apply/jobs/details/4eZJqEucfX
Blockchain Expert
Community Team Members
DeepRoots is building a global movement in Web3:
From Silence to Voice — Together We Rise.
We’re hiring Community Team Members to help grow our ecosystem. If you’re looking to kickstart your Web3 career, this is your chance.
💰 Rewards & Benefits
$150 Micro-Contract (60 days, 2h/day)
Daily Rewards: Top comment, best post, most active
Voice of the Day: Recognition + bonus
Bring-a-Voice Bonus: Earn when new members join through you
Extra Prizes: For leaders who keep the fire alive
👊🏻Clear Growth Path:
Community Team Leader (part-time, higher pay)
Community Team Manager (full-time, full salary + benefits)
Moderator Roles (group management)
📌 Your Role
❤️ Engage actively: like, comment, share
🌍 Push the march forward — “From Silence to Voice”
⏰ 2h/day → 7:00–9:00 PM Dubai time
📆 6 days per week (Sunday OFF)
🧠 Bring a builder mindset (not hype / pump-dump)
✅ Requirements
Stable internet connection
Basic knowledge of Web3
LinkedIn & Twitter (X) account (or willingness to create one)
🌱 How to Apply
Send the following details to: connect@deeproots.earth
Full Name
Country
LinkedIn Account
Twitter (X) Account
Confirmation: “Ready to start and apply to sign the agreement and NDA of the project.”
🌍 Website: deeproots.earth
⚡ This is not hype. It’s a mission. It’s a movement.
✊ Be one of the 25 voices that help shape the future.