Software Engineer (Engineer III to Principal) - Formal Methods
New York, USA +2
Full time
Remote
Compensation is not specified
Role
Software Engineer
Description
** 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.
Skills Required
CertiK
Website
www.certik.comCompany size
Not specified
Location
United States
Description
Not specified
Vitalik Buterin
Community Moderator
Full time
Remote
About Us
We are a boutique, Asia-based Web3 marketing agency working with early-stage and growth-stage crypto projects across DeFi, infrastructure, consumer apps, and gaming.
Our team has executed campaigns with leading L1/L2 ecosystems, DeFi protocols, and community-driven projects.
We focus on narrative design, community activation, cross-market growth, and delivering impactful results for clients in Asia and globally.
We are now expanding our BD and Community Ops teams.
The Role: Community Moderator (36k–90k)
We’re hiring a community moderator to support client communities across Telegram, Discord, and X.
This is a front-line, user-facing role requiring empathy, high engagement, and strong judgment.
Responsibilities
Moderate multiple client communities to ensure safety, clarity, and engagement.
Respond to user questions, coordinate AMA/announcement schedules, post updates.
Keep communities active during key moments: launches, airdrops, campaigns, content releases.
Identify community issues or risks early and escalate appropriately.
Summarize community sentiment and user feedback for internal strategy teams.
Maintain tone, credibility, and professionalism when interacting with users.
Requirements
Prior experience moderating Web3 communities or Web2 social groups.
Familiarity with crypto user behavior, culture, and community patterns.
Excellent written communication and quick response ability.
High reliability; able to cover activity across Asian time zones.
Familiarity with the Southeast Asia KOL landscape, with strong existing relationships preferred.
Bonus
Ability to create short-form content or memes.
Multilingual (EN + CN preferred).
Experience with community analytics tools.
We are a boutique, Asia-based Web3 marketing agency working with early-stage and growth-stage crypto projects across DeFi, infrastructure, consumer apps, and gaming.
Our team has executed campaigns with leading L1/L2 ecosystems, DeFi protocols, and community-driven projects.
We focus on narrative design, community activation, cross-market growth, and delivering impactful results for clients in Asia and globally.
We are now expanding our BD and Community Ops teams.
The Role: Community Moderator (36k–90k)
We’re hiring a community moderator to support client communities across Telegram, Discord, and X.
This is a front-line, user-facing role requiring empathy, high engagement, and strong judgment.
Responsibilities
Moderate multiple client communities to ensure safety, clarity, and engagement.
Respond to user questions, coordinate AMA/announcement schedules, post updates.
Keep communities active during key moments: launches, airdrops, campaigns, content releases.
Identify community issues or risks early and escalate appropriately.
Summarize community sentiment and user feedback for internal strategy teams.
Maintain tone, credibility, and professionalism when interacting with users.
Requirements
Prior experience moderating Web3 communities or Web2 social groups.
Familiarity with crypto user behavior, culture, and community patterns.
Excellent written communication and quick response ability.
High reliability; able to cover activity across Asian time zones.
Familiarity with the Southeast Asia KOL landscape, with strong existing relationships preferred.
Bonus
Ability to create short-form content or memes.
Multilingual (EN + CN preferred).
Experience with community analytics tools.
Payment in Crypto
Vitalik Buterin
Business Development Manager
Full time
Remote
About Us
We are a boutique, Asia-based Web3 marketing agency working with early-stage and growth-stage crypto projects across DeFi, infrastructure, consumer apps, and gaming.
Our team has executed campaigns with leading L1/L2 ecosystems, DeFi protocols, and community-driven projects.
We focus on narrative design, community activation, cross-market growth, and delivering impactful results for clients in Asia and globally.
We are now expanding our BD and Community Ops teams.
The Role : Business Development Manager (75k-150k)
We’re looking for an energetic, relationship-driven BD Manager to help us expand our client base across Asia, Europe, and emerging markets.
You will represent the agency, identify growth opportunities, and build long-term relationships with founders, marketing teams, and communities.
Responsibilities
Identify and reach out to potential clients across DeFi, L1/L2, GameFi, infrastructure, and consumer crypto.
Manage inbound leads and maintain ongoing partner relationships.
Develop proposals for marketing, community growth, content strategy, and campaign execution.
Attend virtual and in-person events; represent the agency in AMAs, panels, or client calls.
Create collaboration opportunities with ecosystems, media outlets, KOL networks, and community groups.
Work closely with internal teams (content, community, strategy) to align solutions with client needs.
Requirements
1–3 years of BD, partnerships, or client-facing experience (Web3 preferred).
Strong communication and negotiation skills.
Understanding of crypto communities, social platforms, and narrative-driven marketing.
Comfortable working in a fast-paced, global, remote environment.
English required; Asian language fluency is a strong plus.
Familiarity with Southeast Asia Web3 projects, with strong relationships with project teams preferred.
Bonus
Experience in a Web3 agency, marketing firm, or KOL network.
Existing network of founders, CMOs, or BD leads within crypto.
Familiarity with China/SEA/India/Korea/Japan market dynamics.
We are a boutique, Asia-based Web3 marketing agency working with early-stage and growth-stage crypto projects across DeFi, infrastructure, consumer apps, and gaming.
Our team has executed campaigns with leading L1/L2 ecosystems, DeFi protocols, and community-driven projects.
We focus on narrative design, community activation, cross-market growth, and delivering impactful results for clients in Asia and globally.
We are now expanding our BD and Community Ops teams.
The Role : Business Development Manager (75k-150k)
We’re looking for an energetic, relationship-driven BD Manager to help us expand our client base across Asia, Europe, and emerging markets.
You will represent the agency, identify growth opportunities, and build long-term relationships with founders, marketing teams, and communities.
Responsibilities
Identify and reach out to potential clients across DeFi, L1/L2, GameFi, infrastructure, and consumer crypto.
Manage inbound leads and maintain ongoing partner relationships.
Develop proposals for marketing, community growth, content strategy, and campaign execution.
Attend virtual and in-person events; represent the agency in AMAs, panels, or client calls.
Create collaboration opportunities with ecosystems, media outlets, KOL networks, and community groups.
Work closely with internal teams (content, community, strategy) to align solutions with client needs.
Requirements
1–3 years of BD, partnerships, or client-facing experience (Web3 preferred).
Strong communication and negotiation skills.
Understanding of crypto communities, social platforms, and narrative-driven marketing.
Comfortable working in a fast-paced, global, remote environment.
English required; Asian language fluency is a strong plus.
Familiarity with Southeast Asia Web3 projects, with strong relationships with project teams preferred.
Bonus
Experience in a Web3 agency, marketing firm, or KOL network.
Existing network of founders, CMOs, or BD leads within crypto.
Familiarity with China/SEA/India/Korea/Japan market dynamics.
Payment in Crypto
FlipFlop launchpad
Business Developer
Part time
Remote
Location: Remote - Worldwide excluding Africa and India, where we have teams already,
About FlipFlop Launchpad:
FlipFlop is a community-driven crypto launchpad connecting innovative projects with global investors. We are building a diverse and dynamic team passionate about blockchain growth and ecosystem development. Join us to help onboard new projects, coordinate events, and grow engaged communities worldwide.
Your Role:
As a Part-Time Business Developer, you will source and onboard new crypto projects, arrange Ask Me Anything (AMA) sessions, and drive community growth. You’ll play a key role in expanding FlipFlop’s reach and impact while earning competitive task-based rewards.
What You’ll Do:
- Bring serious projects and teams to launch on our platform
- Coordinate weekly AMAs with relevant crypto projects
- Grow our Telegram or Discord communities with genuine members
- Develop partnerships and onboard influencers for ecosystem growth
Who You Are:
- Passionate about crypto and blockchain technology
- Self-motivated with strong communication skills
- Able to work independently and as part of a remote global team
- Comfortable with a task-based payment system and targets
Experienced in community building or business development is a plus
Payment structure:
Base Compensation: $500 USD monthly (subject to adjustments based on task completion) + 20% of total minting/launch fees collected from each project you bring onboard + additional rewards.
Core Tasks and Deductions:
1. Bringing New Projects to Launch
Task: Source and onboard at least 1 serious project and team per month to launch on our platform.
Penalty: Failure to complete this task will result in a $100 deduction from the $500 base compensation.
2. Arranging Project AMAs (Ask Me Anything Sessions)
Task: Coordinate and host 1 AMA per week with new or relevant crypto projects.
Penalty: Each AMA not completed will deduct $80 from the base compensation.
3. Community Growth
Task: Attract 100 genuine, legitimate new members to the official Telegram or Discord group monthly via a custom invitation link.
Penalty: Failure to reach the goal will deduct $50 from the base compensation.
Extra Rewards (No deductions):
4. Partnership Development
Task: Secure partnerships with crypto communities, marketing agencies, or influencers.
Reward: $100–$200 per signed partnership depending on scope and value.
5. KOL/KOC and Influencer Onboarding
Task: Recruit Key Opinion Leaders (KOLs) or Key Opinion Consumers (KOCs) to support project launches or campaigns.
Reward: $25–$50 per vetted KOL/KOC added.
Why Join Us:
- Flexible remote work with a supportive global team
- Competitive task-based compensation with bonuses and rewards
- Opportunity to be part of an innovative and fast-growing launchpad
About FlipFlop Launchpad:
FlipFlop is a community-driven crypto launchpad connecting innovative projects with global investors. We are building a diverse and dynamic team passionate about blockchain growth and ecosystem development. Join us to help onboard new projects, coordinate events, and grow engaged communities worldwide.
Your Role:
As a Part-Time Business Developer, you will source and onboard new crypto projects, arrange Ask Me Anything (AMA) sessions, and drive community growth. You’ll play a key role in expanding FlipFlop’s reach and impact while earning competitive task-based rewards.
What You’ll Do:
- Bring serious projects and teams to launch on our platform
- Coordinate weekly AMAs with relevant crypto projects
- Grow our Telegram or Discord communities with genuine members
- Develop partnerships and onboard influencers for ecosystem growth
Who You Are:
- Passionate about crypto and blockchain technology
- Self-motivated with strong communication skills
- Able to work independently and as part of a remote global team
- Comfortable with a task-based payment system and targets
Experienced in community building or business development is a plus
Payment structure:
Base Compensation: $500 USD monthly (subject to adjustments based on task completion) + 20% of total minting/launch fees collected from each project you bring onboard + additional rewards.
Core Tasks and Deductions:
1. Bringing New Projects to Launch
Task: Source and onboard at least 1 serious project and team per month to launch on our platform.
Penalty: Failure to complete this task will result in a $100 deduction from the $500 base compensation.
2. Arranging Project AMAs (Ask Me Anything Sessions)
Task: Coordinate and host 1 AMA per week with new or relevant crypto projects.
Penalty: Each AMA not completed will deduct $80 from the base compensation.
3. Community Growth
Task: Attract 100 genuine, legitimate new members to the official Telegram or Discord group monthly via a custom invitation link.
Penalty: Failure to reach the goal will deduct $50 from the base compensation.
Extra Rewards (No deductions):
4. Partnership Development
Task: Secure partnerships with crypto communities, marketing agencies, or influencers.
Reward: $100–$200 per signed partnership depending on scope and value.
5. KOL/KOC and Influencer Onboarding
Task: Recruit Key Opinion Leaders (KOLs) or Key Opinion Consumers (KOCs) to support project launches or campaigns.
Reward: $25–$50 per vetted KOL/KOC added.
Why Join Us:
- Flexible remote work with a supportive global team
- Competitive task-based compensation with bonuses and rewards
- Opportunity to be part of an innovative and fast-growing launchpad
Payment in Crypto
B S
Junior Crypto Spot & Perpetual Market-Making Trader
Ho Chi Minh, Vietnam
Ho Chi Minh, Vietnam
Full time
Remote
We are hiring Junior Market-Making Traders to operate and manage high-frequency liquidity strategies across spot and perpetual crypto markets. This is a prop-style trading seat: fast, technical, highly automated, and performance-driven.You will be trained directly by senior HFT and volatility traders, learning how to run Deltix-based strategies, manage risk in real time, and operate under true prop-desk conditions.
No prior experience is required — we will train the right candidates from the ground up.If you have 1–2 years of experience, great — but this role is not for senior traders.
We want sharp, disciplined operators who want to grow into high-performance liquidity traders.
You will play a key role in maintaining 24/7 liquidity across global markets, working closely with our quant and infra teams to ensure our systems stay ahead of the market.
Key Responsibilities
Market Making & Strategy OperationRun and monitor HFT market-making systems across spot and perpetual markets.
Maintain competitive spreads and reliable liquidity at all times.
Adjust quoting behavior based on volatility and order-flow patterns.
Assist with hedging and inventory management across correlated instruments.
Deltix Trading SystemsOperate strategies in Deltix QuantServer, TimeBase, and StrategyRunner.
Identify issues quickly — stale quotes, latency spikes, disconnections, or risk throttles.
Work with senior traders and engineering to improve strategy logic and routing.
Real-Time Risk Management
Monitor exposure, leverage, and PnL across multiple venues.React quickly to regime shifts, volatility events, and fast markets.Ensure strategies stay within defined limits while maximizing performance.
Market Awareness & Execution SupportTrack liquidity, trends, microstructure shifts, and arbitrage signals.
Flag inefficiencies and opportunities in market behavior.Support coverage during market events, rapid volatility, and system upgrades.
Desk Coverage & Rotation
Participate in a 6-day rotation, including weekends.
Provide clean handovers between regions to ensure 24/7 liquidity.
What We’re Looking For
No experience required — we will train you intensively.
If experienced, max 1–2 years in trading, operations, quant, engineering, or similar.
Strong numerical, analytical, or technical aptitude.
High attention to detail and situational awareness — able to monitor multiple streams of data.
Ability to stay calm and decisive under pressure.
Hunger to learn, improve, and compete in a performance-driven environment.
Willingness to work weekends and operate in a disciplined 6-day schedule.
Nice to Have (Not Required)
Exposure to crypto markets, order books, or exchange mechanics.
Familiarity with Python, C#, C++, or trading systems.
Experience with Deltix, OMS/EMS tools, or market-making environments.
Compensation
We offer true prop-firm style compensation, designed to reward discipline, precision, and growth
Competitive base salary
Aggressive PnL-based bonus with high upside
Opportunity to scale into more markets and larger risk limits as performance grows
Long-term incentives for top performers
This is a seat where sharp, disciplined talent can grow into high-earning, high-responsibility traders.
No prior experience is required — we will train the right candidates from the ground up.If you have 1–2 years of experience, great — but this role is not for senior traders.
We want sharp, disciplined operators who want to grow into high-performance liquidity traders.
You will play a key role in maintaining 24/7 liquidity across global markets, working closely with our quant and infra teams to ensure our systems stay ahead of the market.
Key Responsibilities
Market Making & Strategy OperationRun and monitor HFT market-making systems across spot and perpetual markets.
Maintain competitive spreads and reliable liquidity at all times.
Adjust quoting behavior based on volatility and order-flow patterns.
Assist with hedging and inventory management across correlated instruments.
Deltix Trading SystemsOperate strategies in Deltix QuantServer, TimeBase, and StrategyRunner.
Identify issues quickly — stale quotes, latency spikes, disconnections, or risk throttles.
Work with senior traders and engineering to improve strategy logic and routing.
Real-Time Risk Management
Monitor exposure, leverage, and PnL across multiple venues.React quickly to regime shifts, volatility events, and fast markets.Ensure strategies stay within defined limits while maximizing performance.
Market Awareness & Execution SupportTrack liquidity, trends, microstructure shifts, and arbitrage signals.
Flag inefficiencies and opportunities in market behavior.Support coverage during market events, rapid volatility, and system upgrades.
Desk Coverage & Rotation
Participate in a 6-day rotation, including weekends.
Provide clean handovers between regions to ensure 24/7 liquidity.
What We’re Looking For
No experience required — we will train you intensively.
If experienced, max 1–2 years in trading, operations, quant, engineering, or similar.
Strong numerical, analytical, or technical aptitude.
High attention to detail and situational awareness — able to monitor multiple streams of data.
Ability to stay calm and decisive under pressure.
Hunger to learn, improve, and compete in a performance-driven environment.
Willingness to work weekends and operate in a disciplined 6-day schedule.
Nice to Have (Not Required)
Exposure to crypto markets, order books, or exchange mechanics.
Familiarity with Python, C#, C++, or trading systems.
Experience with Deltix, OMS/EMS tools, or market-making environments.
Compensation
We offer true prop-firm style compensation, designed to reward discipline, precision, and growth
Competitive base salary
Aggressive PnL-based bonus with high upside
Opportunity to scale into more markets and larger risk limits as performance grows
Long-term incentives for top performers
This is a seat where sharp, disciplined talent can grow into high-earning, high-responsibility traders.
Payment in Crypto
White Bridge LTD
Junior Crypto Analyst & Trader (Remote, Training Included)
Bruges, Belgium +9
Bruges, Belgium +9
Part time
Remote
WhiteBridge-Ltd is a young and rapidly developing company working in the field of digital markets and analytics.
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.
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.
Payment in Crypto