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.
Business Development Lead — Web3 / DeFi (KOL & BDM Growth)
Remote | FBYT
We are building FBYT, a decentralized money management platform designed to redefine how capital is managed and deployed in Web3.
We are looking for a Business Development Lead to scale our growth engine by recruiting and managing a global network of Business Development Managers.
Role Overview
This is a strategic growth role focused on building and scaling a BD team.
You will be responsible for:
Sourcing and onboarding high-quality BDMs
Building a scalable partner acquisition engine
Ensuring BDMs are productive and aligned
Driving consistent KOL / Money Manager acquisition through your team
What You’ll Be Doing
Recruit and onboard BDMs globally
Train and guide BDMs on:
KOL acquisition
attracting and onboarding retail and institutional crypto managers
onboarding process
performance expectations
Monitor performance and optimize output
Build systems, playbooks, and processes for scaling BD
Act as a key driver of user and revenue growth
Compensation Structure
This role offers a competitive fixed salary + performance-based upside
Why This Role is Unique
Build and lead a global BD network
High ownership and strategic impact
Combination of:
leadership
recruiting
growth strategy
Strong upside tied to team performance
What We’re Looking For
Experience in:
Web3 / crypto / DeFi
Business Development or affiliate growth
Proven ability to:
recruit
build teams
scale partnerships
Strong network in:
KOL / trading / crypto communities
Highly organized and performance-driven
Ideal Candidate
Thinks in systems, not just individual deals
Knows how to scale people + processes
Motivated by building and leading a team
Join Us
If you want to build and scale a global BD operation in Web3 and be rewarded for real impact — we’d love to hear from you.
Telegram: @DT_7717
X: https://x.com/FBYTio
Quantitative Developer
Responsibilities
Design and develop backtesting frameworks, research tooling, and simulation environments for quant strategy development
Implement and maintain trading algorithms and execution systems across live crypto markets
Optimize code for performance and low latency across the full research-to-production pipeline
Collaborate directly with quantitative researchers to productionize strategies and ensure research assumptions hold in production
Build and maintain data pipelines for market data ingestion, processing, and storage
Monitor and improve live system reliability, catching and resolving issues before they affect trading outcomes
Requirements
Bachelor's degree or equivalent in Computer Science, Mathematics, Physics, or a related quantitative field
3+ years of professional software engineering experience with a focus on performance-critical or financial systems
Strong proficiency in Python as a primary language, with working knowledge of C++ or another compiled language preferred
Solid understanding of financial markets, trading concepts, and quantitative methods including time-series analysis and statistical modeling
Experience building or working with backtesting engines, execution frameworks, or real-time data systems
Ability to read and reason about mathematical models and translate them into reliable, testable code
Quantitative Researcher
Responsibilities
Develop, backtest, and continuously improve quantitative trading models and algorithms, translating mathematical insights into production-ready code
Collaborate with trading and development teams to refine existing strategies and build new ones with a direct focus on P&L impact
Work through large and complex datasets to identify patterns, validate hypotheses, and stress-test models against real market conditions
Conceptualize valuation frameworks, improve mathematical models, and maintain strategy performance in live environments
Conduct ongoing statistical research into crypto market microstructure and price dynamics using both conventional and unconventional data sources
Requirements
Advanced degree in mathematics, statistics, physics, computer science, or a related quantitative field
Strong proficiency in probability and statistics, including time-series analysis, machine learning, and pattern recognition applied to financial data
Hands-on programming experience in Python, with familiarity in R or MATLAB and ideally some exposure to compiled languages like C++
Prior experience in crypto markets, digital asset trading, or algorithmic finance
Proven ability to work in a data-driven research environment with minimal direction
Rigorous, evidence-based approach to problem-solving with the ability to move quickly from hypothesis to testable implementation
Marketing Performance Manager
Location: Tbilisi, Georgia
Format: On-site · Full-time
Elements of a Soul (EOAS) is a Web3 MMORPG set in 2137, combining open-world gameplay, real Bitcoin mining integration, and an NFT-driven player economy.
We are looking for a Marketing Performance Manager to turn marketing performance data into clear growth decisions.
Key Responsibilities
Lead performance analytics and reporting
Set up tracking, build dashboards, define KPIs per KOL, cohort, channel, and campaign, manage UTM and on-chain attribution, run A/B tests, and translate data into actionable growth decisions.
Optimize campaign performance
Track paid, token-based, and performance-based partnerships, evaluate ROI, identify growth opportunities, and improve conversion from community attention to measurable results.
Support Web3 growth strategy
Contribute to campaign planning around NFT mints, token-related activations, whitelist campaigns, community growth, and player acquisition.
Requirements
Crypto/Web3 experience is a hard requirement
You have personally worked on or launched projects involving token launches, NFT mints, on-chain economies, Web3 communities, or crypto-native growth campaigns.
Deep Web3 fluency
You understand NFTs, tokens, tokenomics, P2E models, DAOs, crypto community behavior, and what drives trust, hype, engagement, and conversion in Web3 audiences.
Strong performance marketing background
3+ years of experience in performance marketing, ideally with proven results in crypto/Web3, community acquisition, or growth experiments.
Analytics-driven mindset
Analytics is part of your daily workflow. You are confident with platform analytics, Google Analytics, spreadsheets, A/B testing, campaign reporting, and performance optimization.
Nice to Have
These are not hard requirements, but they will make a candidate especially strong for this role:
Hands-on experience with NFT mints, OpenSea campaigns, token launches, tokenomics-based activations, or whitelist campaigns
Experience with crypto-native analytics tools such as Dune, Nansen, DappRadar, or similar platforms
Basic SQL or Dune query skills
Experience with automation tools such as n8n, Zapier, Make, CRM systems, or campaign tracking workflows
Experience in running KOL’s & Ambassador campaigns
Gaming, Crypto, GameFi, or player community growth experience
What We Offer
Competitive compensation
Direct collaboration with the founders
Freedom to build the marketing performance function from scratch
Career growth path
On-site work in Tbilisi with the core team
How to Apply
Please send:
CV (Marketing/Growth Portfolio would be an advantage)
Links to crypto/Web3 projects you have worked on, including your specific role and impact
An analytics, dashboard, reporting, or A/B test case study
Examples of KOL, ambassador, creator, or community growth campaigns with results (nice to have)
A short note on why EOAS interests you
Apply via: yulia@elementsofasoul.com
Support Agent
We are particularly interested in candidates with prior experience in customer support or the crypto industry, as this will be considered a strong advantage, proficiency in additional languages (such as Russian) will also be considered an advantage.. If you are proactive, detail-oriented, and comfortable working in a fast-paced environment, we would love to hear from you.