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
10arx HR
Marketing Manager in 10 arx
Full time
Remote
Your north star metric is one thing: active traders on the platform generating volume. Not followers. Not Discord members. Not impressions. Traders who deposit and trade.
About 10arx
10arx is an AI-native trading terminal for prediction markets. We aggregate Polymarket, Kalshi, and other exchanges into one professional-grade interface - smart market discovery, AI analytics, agentic automation, advanced execution, and a fully customizable dashboard.
We are building for serious traders - people who trade systematically and want a real edge. This is not a product for casual users. The technical team is in place. Now we are building product and growth.
The role
You are the first person responsible for all of growth. There are no existing processes. No team that already figured it out. You build everything from zero - strategy, channels, agency management, influencer partnerships, and the team itself.
This is not a support role. This is not a social media manager role. You own the entire growth function with full accountability.
What you will own
Go-to-market strategy. Build the full pre-launch and launch plan. Own the budget, justify every line of spend, and report results. Structure and accountability - not guesswork and vibes.
Influencer and KOL partnerships. Identify the right people in the prediction markets and crypto trading community. Build real long-term relationships - not one-off paid posts. We want people who actually trade on platforms like ours and talk about it authentically.
Agency management. Set briefs, control results, don't let agencies run in "report-for-show" mode. Know what you are paying for and defend every decision to the founder in two sentences.
Hiring and building the marketing team. Close the SMM role yourself - write the JD, run interviews, onboard, and build a working system. You define how the team operates.
Community and content. Own the brand voice across Twitter/X, Telegram, and Discord. Build a genuine community around prediction markets - not just manage accounts. In the early days you post yourself, daily. You engage. You make 10arx impossible to ignore in the prediction markets space.
Pre-launch activation. Build the waitlist, create pre-launch momentum, and get the first 1K traders into the product before public release. The core audience needs to exist from day one.
AI-powered marketing systems. Build and run AI agent workflows for growth: automated prospect research, influencer pipeline tracking, content generation pipelines, performance monitoring. If something can be delegated to an AI agent - it should be. This is a core part of the role, not a bonus.
Analytics and retention. Track CAC, funnel conversion, influencer ROI. Own email and Telegram retention flows. Traders leave fast if they don't see value - keeping them is your job too.
Partnerships and BD. Build integrations and co-marketing with projects in the Polymarket and prediction markets ecosystem. Access to existing audiences - not ads.
What we are looking for
You actively trade or closely follow prediction markets and know the trading community from the inside - Polymarket, Kalshi, or similar
You have built or grown a crypto Twitter/X account or Telegram community with measurable results you can show us - not just assisted, but owned it
You have real experience with crypto, Web3, or fintech influencers - not just sending pitches, but building real long-term relationships or a proven method for doing it fast
You have managed or allocated a marketing budget before and can defend every line of spend with data
You have managed agencies: you know what to ask, how to measure results, and where they tend to waste money
You have built a marketing function or team from zero - and you can do it again
You think in systems: you see the full funnel, not individual posts and campaigns
You actively use AI tools - you automate research, build agent workflows, and delegate routine systematically
You can work independently without being managed - we are a small founding team and you will own this function completely
You are proactive, fast, and comfortable operating in a space that moves every hour
Nice to have
You trade on Polymarket or other prediction markets yourself
You have an existing network of crypto traders, KOLs, or analysts
You have launched products in Web3 or fintech from zero
You understand the Polymarket Builders program and builder rewards mechanics
You have grown an audience of serious traders - not mass retail
You have hands-on experience building AI agent pipelines for marketing or growth
Not a fit if
You don't know what a prediction market is and have never traded - this is not a space where you can figure it out later
Your entire influencer experience is e-commerce or lifestyle - crypto and trading audiences work completely differently
You are used to receiving briefs and executing - here you create the strategy yourself
Your growth metrics are follower counts and impressions - we care about traders in the product, not numbers in a report
You think AI tools are for writing captions - we expect full agent workflows, not prompts in ChatGPT
What we offer
Competitive compensation based on experience - discussed individually
Performance bonuses tied directly to active trader growth and platform volume milestones
Full ownership of the growth function from day one - no bureaucracy, no approvals chain
Small founding team, direct line to the founder, decisions made fast
You are building in a market that is genuinely growing
Apply here https://form.jotform.com/261053816290050
About 10arx
10arx is an AI-native trading terminal for prediction markets. We aggregate Polymarket, Kalshi, and other exchanges into one professional-grade interface - smart market discovery, AI analytics, agentic automation, advanced execution, and a fully customizable dashboard.
We are building for serious traders - people who trade systematically and want a real edge. This is not a product for casual users. The technical team is in place. Now we are building product and growth.
The role
You are the first person responsible for all of growth. There are no existing processes. No team that already figured it out. You build everything from zero - strategy, channels, agency management, influencer partnerships, and the team itself.
This is not a support role. This is not a social media manager role. You own the entire growth function with full accountability.
What you will own
Go-to-market strategy. Build the full pre-launch and launch plan. Own the budget, justify every line of spend, and report results. Structure and accountability - not guesswork and vibes.
Influencer and KOL partnerships. Identify the right people in the prediction markets and crypto trading community. Build real long-term relationships - not one-off paid posts. We want people who actually trade on platforms like ours and talk about it authentically.
Agency management. Set briefs, control results, don't let agencies run in "report-for-show" mode. Know what you are paying for and defend every decision to the founder in two sentences.
Hiring and building the marketing team. Close the SMM role yourself - write the JD, run interviews, onboard, and build a working system. You define how the team operates.
Community and content. Own the brand voice across Twitter/X, Telegram, and Discord. Build a genuine community around prediction markets - not just manage accounts. In the early days you post yourself, daily. You engage. You make 10arx impossible to ignore in the prediction markets space.
Pre-launch activation. Build the waitlist, create pre-launch momentum, and get the first 1K traders into the product before public release. The core audience needs to exist from day one.
AI-powered marketing systems. Build and run AI agent workflows for growth: automated prospect research, influencer pipeline tracking, content generation pipelines, performance monitoring. If something can be delegated to an AI agent - it should be. This is a core part of the role, not a bonus.
Analytics and retention. Track CAC, funnel conversion, influencer ROI. Own email and Telegram retention flows. Traders leave fast if they don't see value - keeping them is your job too.
Partnerships and BD. Build integrations and co-marketing with projects in the Polymarket and prediction markets ecosystem. Access to existing audiences - not ads.
What we are looking for
You actively trade or closely follow prediction markets and know the trading community from the inside - Polymarket, Kalshi, or similar
You have built or grown a crypto Twitter/X account or Telegram community with measurable results you can show us - not just assisted, but owned it
You have real experience with crypto, Web3, or fintech influencers - not just sending pitches, but building real long-term relationships or a proven method for doing it fast
You have managed or allocated a marketing budget before and can defend every line of spend with data
You have managed agencies: you know what to ask, how to measure results, and where they tend to waste money
You have built a marketing function or team from zero - and you can do it again
You think in systems: you see the full funnel, not individual posts and campaigns
You actively use AI tools - you automate research, build agent workflows, and delegate routine systematically
You can work independently without being managed - we are a small founding team and you will own this function completely
You are proactive, fast, and comfortable operating in a space that moves every hour
Nice to have
You trade on Polymarket or other prediction markets yourself
You have an existing network of crypto traders, KOLs, or analysts
You have launched products in Web3 or fintech from zero
You understand the Polymarket Builders program and builder rewards mechanics
You have grown an audience of serious traders - not mass retail
You have hands-on experience building AI agent pipelines for marketing or growth
Not a fit if
You don't know what a prediction market is and have never traded - this is not a space where you can figure it out later
Your entire influencer experience is e-commerce or lifestyle - crypto and trading audiences work completely differently
You are used to receiving briefs and executing - here you create the strategy yourself
Your growth metrics are follower counts and impressions - we care about traders in the product, not numbers in a report
You think AI tools are for writing captions - we expect full agent workflows, not prompts in ChatGPT
What we offer
Competitive compensation based on experience - discussed individually
Performance bonuses tied directly to active trader growth and platform volume milestones
Full ownership of the growth function from day one - no bureaucracy, no approvals chain
Small founding team, direct line to the founder, decisions made fast
You are building in a market that is genuinely growing
Apply here https://form.jotform.com/261053816290050
Lunacom
Content Creator
Part time
Remote
Remote /
Content Creator ⭐ /
Part-time /
Web3 · AI · Crypto
Apply for this job
About us
Lunacom is an AI-powered platform that analyzes crypto and on-chain data to deliver clear, actionable insights.
We help users identify opportunities, track market trends, and make smarter decisions - faster and with less noise.
Responsibilities:
Create engaging and high-quality content for social media platforms (X, TikTok, blogs) with a focus on crypto and AI topics
Write threads, posts, and short-form content that clearly explain complex ideas in a simple and engaging way
Adapt content for different platforms and audiences while maintaining a consistent and recognizable brand voice
Analyze content performance using basic metrics and continuously optimize based on data and audience response
Requirements:
Experience in content creation (written, video, or social media) with a strong focus on clarity and engagement
Strong writing and communication skills with the ability to break down complex Web3/AI topics
Basic experience with editing tools such as Canva, CapCut, or similar content creation software
Proactive, creative, and self-driven mindset with genuine interest in Web3, crypto, and AI
Contact:
Telegram @lunacom_io
Email: hello@lunacom.io
Content Creator ⭐ /
Part-time /
Web3 · AI · Crypto
Apply for this job
About us
Lunacom is an AI-powered platform that analyzes crypto and on-chain data to deliver clear, actionable insights.
We help users identify opportunities, track market trends, and make smarter decisions - faster and with less noise.
Responsibilities:
Create engaging and high-quality content for social media platforms (X, TikTok, blogs) with a focus on crypto and AI topics
Write threads, posts, and short-form content that clearly explain complex ideas in a simple and engaging way
Adapt content for different platforms and audiences while maintaining a consistent and recognizable brand voice
Analyze content performance using basic metrics and continuously optimize based on data and audience response
Requirements:
Experience in content creation (written, video, or social media) with a strong focus on clarity and engagement
Strong writing and communication skills with the ability to break down complex Web3/AI topics
Basic experience with editing tools such as Canva, CapCut, or similar content creation software
Proactive, creative, and self-driven mindset with genuine interest in Web3, crypto, and AI
Contact:
Telegram @lunacom_io
Email: hello@lunacom.io
Payment in Crypto
Aryaa .
Business Development (Vietnam)
Ho Chi Minh, Vietnam
Ho Chi Minh, Vietnam
Full time
Hybrid
Stealth Startup: We’re looking for a hungry, well-connected BD who knows the Vietnam trading market scene inside out and can move fast to join our project || Work location: office in District 2, Ho Chi Minh city (Hybrid) || Who we’re looking for: Strong network in Vietnam’s KOL/trader scene. Can close deals (not just pass leads). Proactive, results-driven mindset. Crypto/forex/trading/MCN experience is a plus. Vietnamese native + English/Chinese preferred || Compensation: Base + bonuses + performance incentives 💰💰💰
Payment in Crypto
Metatheory
Senior DevRel Engineer
Mumbai, India +4
Mumbai, India +4
Full time
Remote
We are looking for a technically strong Developer Relations Engineer to help external teams build confidently on top of our DeFi infrastructure.
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.
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.
Payment in Crypto
John Waldron
🚀 Hiring Solana Developers – Pump.fun
Montana City, USA
Montana City, USA
Full time
Remote
Solana Developer Needed – Pump.fun Style Platform (Starter Code Available)
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
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
Payment in Crypto