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
WhiteBit
Web3 Developer - WhiteBit
Full time
Remote
At Whitechain, we’re on a mission to revolutionize blockchain, smart contracts, and cryptography. As part of the WhiteBIT ecosystem, we’re building cutting-edge Web3 solutions, from our own EVM blockchain to non-custodial wallets, DeFi platforms, and GameFi experiences.
We’re looking for a skilled and motivated Blockchain / Web3 Developer to help us design, build, and improve scalable blockchain products and infrastructure. If you’re passionate about decentralization, smart contracts, EVM ecosystems, and the future of digital finance, this is your opportunity to make a real impact.
The future of Web3 starts with you — join us as a Blockchain / Web3 Developer!
Requirements
3+ years of software development experience
1–2+ years of experience in blockchain, Web3, crypto, or DeFi projects
Strong experience with Solidity and smart contract development in the EVM ecosystem
Good understanding of Ethereum / EVM architecture, gas optimization, token standards, and smart contract security
Experience with Web3 tools such as Hardhat, Foundry, Remix, MetaMask, Ethers.js, Web3.js, Viem
Experience deploying and maintaining smart contracts on testnet and mainnet
Knowledge of DeFi: AMMs, staking, lending, bridges, oracles, stablecoins, and liquidity pools
Backend integration experience: APIs, indexers, event listeners, wallets, or transaction services
Understanding of common blockchain security risks
Experience with JavaScript, TypeScript, Python, Node.js, or similar backend technologies
Familiarity with Git, CI/CD, testing frameworks, code reviews, and documentation
Responsibilities
Design, develop, test, and deploy smart contracts for Whitechain and Web3 products
Build blockchain features for DeFi platforms, wallets, GameFi, and ecosystem tools
Write secure and gas-efficient Solidity code
Create unit tests, integration tests, and deployment scripts
Integrate smart contracts with backend services, frontend apps, wallets, APIs, and blockchain infrastructure
Review existing smart contract code and suggest improvements
Support audits, security reviews, and vulnerability remediation
Monitor deployed contracts and help resolve production issues
Research new blockchain protocols, DeFi mechanics, and EVM improvements
Contribute to technical documentation and best practices
Nice to Have
Experience with L1 / L2, rollups, bridges, validators, nodes, or RPC infrastructure
Experience with audit tools such as Slither, Mythril, Echidna, Tenderly, or OpenZeppelin Defender
Knowledge of The Graph, SubQuery, custom indexers, or blockchain analytics pipelines
Experience with account abstraction, cross-chain protocols, or oracle integrations
Open-source Web3 contributions or a public GitHub portfolio
Understanding of tokenomics, staking, governance, or protocol economics
Experience in fintech, crypto exchange, DeFi, wallet, or Web3 infrastructure companies
If you are passionate about Solidity, EVM, DeFi, and building reliable Web3 products, we would be happy to hear from you.
We’re looking for a skilled and motivated Blockchain / Web3 Developer to help us design, build, and improve scalable blockchain products and infrastructure. If you’re passionate about decentralization, smart contracts, EVM ecosystems, and the future of digital finance, this is your opportunity to make a real impact.
The future of Web3 starts with you — join us as a Blockchain / Web3 Developer!
Requirements
3+ years of software development experience
1–2+ years of experience in blockchain, Web3, crypto, or DeFi projects
Strong experience with Solidity and smart contract development in the EVM ecosystem
Good understanding of Ethereum / EVM architecture, gas optimization, token standards, and smart contract security
Experience with Web3 tools such as Hardhat, Foundry, Remix, MetaMask, Ethers.js, Web3.js, Viem
Experience deploying and maintaining smart contracts on testnet and mainnet
Knowledge of DeFi: AMMs, staking, lending, bridges, oracles, stablecoins, and liquidity pools
Backend integration experience: APIs, indexers, event listeners, wallets, or transaction services
Understanding of common blockchain security risks
Experience with JavaScript, TypeScript, Python, Node.js, or similar backend technologies
Familiarity with Git, CI/CD, testing frameworks, code reviews, and documentation
Responsibilities
Design, develop, test, and deploy smart contracts for Whitechain and Web3 products
Build blockchain features for DeFi platforms, wallets, GameFi, and ecosystem tools
Write secure and gas-efficient Solidity code
Create unit tests, integration tests, and deployment scripts
Integrate smart contracts with backend services, frontend apps, wallets, APIs, and blockchain infrastructure
Review existing smart contract code and suggest improvements
Support audits, security reviews, and vulnerability remediation
Monitor deployed contracts and help resolve production issues
Research new blockchain protocols, DeFi mechanics, and EVM improvements
Contribute to technical documentation and best practices
Nice to Have
Experience with L1 / L2, rollups, bridges, validators, nodes, or RPC infrastructure
Experience with audit tools such as Slither, Mythril, Echidna, Tenderly, or OpenZeppelin Defender
Knowledge of The Graph, SubQuery, custom indexers, or blockchain analytics pipelines
Experience with account abstraction, cross-chain protocols, or oracle integrations
Open-source Web3 contributions or a public GitHub portfolio
Understanding of tokenomics, staking, governance, or protocol economics
Experience in fintech, crypto exchange, DeFi, wallet, or Web3 infrastructure companies
If you are passionate about Solidity, EVM, DeFi, and building reliable Web3 products, we would be happy to hear from you.
Limechain
Smart Contract Engineer
Sofia, Bulgaria
Sofia, Bulgaria
Full time
Remote
About Role:
We are looking for a Smart Contract Engineer to join our blockchain engineering team and help build secure, production-grade decentralized applications and protocols.
In this role, you will design, develop, test, and review smart contracts across EVM and other blockchain ecosystems. You will work closely with blockchain engineers, auditors, and product teams to build reliable smart contract systems, identify vulnerabilities, and improve protocol security, architecture, and performance.
This role is ideal for someone with strong hands-on smart contract experience, deep knowledge of DeFi mechanics, and a security-first engineering mindset.
Responsibilities:
Design, develop, and maintain smart contracts for DeFi and blockchain applications
Write clean, secure, well-tested Solidity code
Build automated tests using Foundry, Hardhat, or Anchor
Review smart contract logic, architecture, and protocol design
Identify security risks, logic flaws, economic attack vectors, and trust assumptions
Analyze common DeFi risks such as flash loans, oracle manipulation, MEV, sandwich attacks, and governance risks
Use tools such as Slither, Mythril, Echidna, Halmos, Manticore, Aderyn, Certora, and Tenderly
Support audits, remediation, fix verification, and deployment processes
Document technical decisions, security considerations, and implementation details
Requirements:
Strong experience with Solidity and EVM smart contract development
Experience with Foundry and/or Hardhat
Solid understanding of blockchain architecture, DeFi protocols, token standards, and smart contract security
Ability to write secure, efficient, maintainable smart contract code
Experience testing, debugging, and reviewing smart contracts
Knowledge of common vulnerabilities: reentrancy, access control issues, oracle risks, precision errors, and upgradeability risks
Familiarity with OpenZeppelin and secure development practices
Strong analytical thinking and clear communication skills
Nice to Have:
Experience with Rust, TypeScript, Solana, Anchor, or NEAR
Experience building or auditing production DeFi protocols
Knowledge of formal verification, fuzz testing, symbolic execution, or property-based testing
Experience with Ethereum, Arbitrum, Base, Optimism, Solana, NEAR, MultiversX, or other ecosystems
Experience with AMMs, lending protocols, bridges, staking systems, or governance mechanisms
What We Offer:
Healthcare
Company computer
Paid holidays
Flexible hours
Competitive salary
Career growth
Friendly team
We are looking for a Smart Contract Engineer to join our blockchain engineering team and help build secure, production-grade decentralized applications and protocols.
In this role, you will design, develop, test, and review smart contracts across EVM and other blockchain ecosystems. You will work closely with blockchain engineers, auditors, and product teams to build reliable smart contract systems, identify vulnerabilities, and improve protocol security, architecture, and performance.
This role is ideal for someone with strong hands-on smart contract experience, deep knowledge of DeFi mechanics, and a security-first engineering mindset.
Responsibilities:
Design, develop, and maintain smart contracts for DeFi and blockchain applications
Write clean, secure, well-tested Solidity code
Build automated tests using Foundry, Hardhat, or Anchor
Review smart contract logic, architecture, and protocol design
Identify security risks, logic flaws, economic attack vectors, and trust assumptions
Analyze common DeFi risks such as flash loans, oracle manipulation, MEV, sandwich attacks, and governance risks
Use tools such as Slither, Mythril, Echidna, Halmos, Manticore, Aderyn, Certora, and Tenderly
Support audits, remediation, fix verification, and deployment processes
Document technical decisions, security considerations, and implementation details
Requirements:
Strong experience with Solidity and EVM smart contract development
Experience with Foundry and/or Hardhat
Solid understanding of blockchain architecture, DeFi protocols, token standards, and smart contract security
Ability to write secure, efficient, maintainable smart contract code
Experience testing, debugging, and reviewing smart contracts
Knowledge of common vulnerabilities: reentrancy, access control issues, oracle risks, precision errors, and upgradeability risks
Familiarity with OpenZeppelin and secure development practices
Strong analytical thinking and clear communication skills
Nice to Have:
Experience with Rust, TypeScript, Solana, Anchor, or NEAR
Experience building or auditing production DeFi protocols
Knowledge of formal verification, fuzz testing, symbolic execution, or property-based testing
Experience with Ethereum, Arbitrum, Base, Optimism, Solana, NEAR, MultiversX, or other ecosystems
Experience with AMMs, lending protocols, bridges, staking systems, or governance mechanisms
What We Offer:
Healthcare
Company computer
Paid holidays
Flexible hours
Competitive salary
Career growth
Friendly team
Payment in Crypto
Mykhailo Liashenko
Smart Contract Engineer
Part time
Remote
Company Information
RWAHub is a Web3 platform focused on real-world asset (RWA) tokenization, bridging traditional assets such as real estate, luxury goods, and art with blockchain technology.
We are building a scalable decentralized ecosystem that enables asset owners, investors, and DeFi participants to interact in a unified, transparent marketplace powered by tokenized finance.
Our mission is to improve accessibility, liquidity, and transparency in global asset ownership using blockchain infrastructure.
For general inquiries, contact:
support@rwahubassets.com
Senior Blockchain Developer
Location: Remote (Global)
Type: Full-time / Part-time
About the Role
We are hiring a Senior Blockchain Developer to design and build smart contract systems across multiple client and internal projects.
You will work on a variety of blockchain applications - from DeFi protocols to tokenized asset systems and Web3 platforms - ensuring high standards in security, scalability, and architecture.
This is a senior-level, hands-on role with exposure to multiple products and industries.
What You’ll Do
Design, develop, and deploy smart contracts using Solidity
Implement token standards (ERC-20, ERC-721, ERC-1155) and custom logic
Build and maintain contract architectures across multiple projects
Ensure security, audit readiness, and upgradeability
Optimize gas usage and performance
Collaborate with backend and frontend teams for integrations
Participate in code reviews and technical decision-making
Contribute to documentation and internal best practices
What We’re Looking For
4+ years of experience in blockchain / smart contract development
Strong expertise in Solidity and EVM-based ecosystems
Experience with Ethereum and L2s (Polygon, Arbitrum, Optimism)
Strong understanding of smart contract security and vulnerabilities
Experience with Hardhat, Foundry, or similar frameworks
Strong software engineering fundamentals (testing, Git, CI/CD)
Ability to work across multiple projects and adapt quickly
Nice to Have
Experience with DeFi protocols, staking, or token economies
Experience working with auditors or security reviews
Familiarity with upgradeable contracts (proxy patterns)
Backend experience (Node.js / TypeScript)
Experience in client-facing or consulting environments
Tech Stack
Solidity · Ethereum · Polygon · Arbitrum
Hardhat / Foundry · Node.js · TypeScript
React · ethers.js · IPFS
Why Join
Work across a diverse portfolio of blockchain projects
Exposure to both client work and internal ventures
Opportunity to influence architecture and technical direction
Collaborative, globally distributed team
Fast-paced environment with continuous learning
What Success Looks Like
Secure, production-ready smart contracts delivered across projects
Successful audits with minimal critical issues
Scalable and reusable contract architectures
Strong collaboration with cross-functional teams
Consistent delivery across multiple initiatives
Hiring Process
Application review
Technical screening (take-home task)
Technical interview (Solidity & architecture)
Final discussion
How to Apply
Please submit:
Resume or LinkedIn
GitHub profile (required)
Examples of smart contracts or blockchain projects
📩 Applications & inquiries: support@rwahubassets.com
RWAHub is a Web3 platform focused on real-world asset (RWA) tokenization, bridging traditional assets such as real estate, luxury goods, and art with blockchain technology.
We are building a scalable decentralized ecosystem that enables asset owners, investors, and DeFi participants to interact in a unified, transparent marketplace powered by tokenized finance.
Our mission is to improve accessibility, liquidity, and transparency in global asset ownership using blockchain infrastructure.
For general inquiries, contact:
support@rwahubassets.com
Senior Blockchain Developer
Location: Remote (Global)
Type: Full-time / Part-time
About the Role
We are hiring a Senior Blockchain Developer to design and build smart contract systems across multiple client and internal projects.
You will work on a variety of blockchain applications - from DeFi protocols to tokenized asset systems and Web3 platforms - ensuring high standards in security, scalability, and architecture.
This is a senior-level, hands-on role with exposure to multiple products and industries.
What You’ll Do
Design, develop, and deploy smart contracts using Solidity
Implement token standards (ERC-20, ERC-721, ERC-1155) and custom logic
Build and maintain contract architectures across multiple projects
Ensure security, audit readiness, and upgradeability
Optimize gas usage and performance
Collaborate with backend and frontend teams for integrations
Participate in code reviews and technical decision-making
Contribute to documentation and internal best practices
What We’re Looking For
4+ years of experience in blockchain / smart contract development
Strong expertise in Solidity and EVM-based ecosystems
Experience with Ethereum and L2s (Polygon, Arbitrum, Optimism)
Strong understanding of smart contract security and vulnerabilities
Experience with Hardhat, Foundry, or similar frameworks
Strong software engineering fundamentals (testing, Git, CI/CD)
Ability to work across multiple projects and adapt quickly
Nice to Have
Experience with DeFi protocols, staking, or token economies
Experience working with auditors or security reviews
Familiarity with upgradeable contracts (proxy patterns)
Backend experience (Node.js / TypeScript)
Experience in client-facing or consulting environments
Tech Stack
Solidity · Ethereum · Polygon · Arbitrum
Hardhat / Foundry · Node.js · TypeScript
React · ethers.js · IPFS
Why Join
Work across a diverse portfolio of blockchain projects
Exposure to both client work and internal ventures
Opportunity to influence architecture and technical direction
Collaborative, globally distributed team
Fast-paced environment with continuous learning
What Success Looks Like
Secure, production-ready smart contracts delivered across projects
Successful audits with minimal critical issues
Scalable and reusable contract architectures
Strong collaboration with cross-functional teams
Consistent delivery across multiple initiatives
Hiring Process
Application review
Technical screening (take-home task)
Technical interview (Solidity & architecture)
Final discussion
How to Apply
Please submit:
Resume or LinkedIn
GitHub profile (required)
Examples of smart contracts or blockchain projects
📩 Applications & inquiries: support@rwahubassets.com
Payment in Crypto
NextBit Marketing LLC
Business development Manager
Full time
Remote
Hey everyone,
I’m looking for recommendations or to connect directly with a marketing team / agency that genuinely understands the Forex trading space — especially community-led growth.
I run many public XAUUSD signals Telegram channel that has grown organically to 12,000+ members over the years (since 2020). No ads, no clickbait, no fake screenshots. The channel is completely free and will stay that way because the core idea has always been transparency and live testing rather than selling promises.
A few things about the community:
• Signals focused only on FX & XAUUSD
• Consistent average accuracy around ~78%
• Clear risk management & lot sizing shared with every setup
• Priority is always capital protection, not overtrading
• Everything is public so anyone can track performance in real time for as long as they want
The growth so far has been word-of-mouth and organic, but now I want to scale this community responsibly and reach 100,000+ free members this year without turning it into a hype machine.
I’m not looking for generic social media marketers. I’m specifically interested in people/agencies who:
• Understand traders, not just traffic
• Can grow communities ethically and sustainably
• Know how to position transparency as a strength (not fake luxury marketing)
• Have experience with Telegram / Instagram / Reddit / Trading communities
If you’re a marketer in this niche, or you’ve worked with someone solid before, I’d really appreciate guidance, referrals, or a conversation.
Thanks in advance 🙏
Happy to share more details in DMs.
I’m looking for recommendations or to connect directly with a marketing team / agency that genuinely understands the Forex trading space — especially community-led growth.
I run many public XAUUSD signals Telegram channel that has grown organically to 12,000+ members over the years (since 2020). No ads, no clickbait, no fake screenshots. The channel is completely free and will stay that way because the core idea has always been transparency and live testing rather than selling promises.
A few things about the community:
• Signals focused only on FX & XAUUSD
• Consistent average accuracy around ~78%
• Clear risk management & lot sizing shared with every setup
• Priority is always capital protection, not overtrading
• Everything is public so anyone can track performance in real time for as long as they want
The growth so far has been word-of-mouth and organic, but now I want to scale this community responsibly and reach 100,000+ free members this year without turning it into a hype machine.
I’m not looking for generic social media marketers. I’m specifically interested in people/agencies who:
• Understand traders, not just traffic
• Can grow communities ethically and sustainably
• Know how to position transparency as a strength (not fake luxury marketing)
• Have experience with Telegram / Instagram / Reddit / Trading communities
If you’re a marketer in this niche, or you’ve worked with someone solid before, I’d really appreciate guidance, referrals, or a conversation.
Thanks in advance 🙏
Happy to share more details in DMs.
Payment in Crypto
TA Quant
Senior Rust Developer
Full time
Remote
About the Role
We're looking for a Senior Rust Developer to join our core engineering team and own the systems that sit closest to the market. This means low-latency order execution engines, high-throughput market data pipelines, real-time streaming infrastructure, and integrations with both centralized and decentralized exchanges. Every millisecond and every line of code matters here, and you'll be the person making sure it all holds up under pressure. This is not a role for someone who wants to write Rust adjacent to trading. You'll be building the backbone of live production systems where correctness, safety, and raw performance have direct P&L consequences. You'll work alongside quantitative researchers and other engineers to implement and deploy strategies, and you'll have meaningful input into the infrastructure decisions that shape how we build and scale. If you've spent years pushing Rust to its limits in high-performance environments and you want that work to matter in real markets in real time, this is the role.
Responsibilities
Design, build, and maintain high-throughput, low-latency trading systems in Rust
Develop and optimize order execution engines, market data feeds, and real-time processing pipelines
Build reliable integrations with centralized and decentralized exchanges across CEX and DEX environments
Architect systems for real-time streaming data and WebSocket communication at scale
Write safe, well-tested concurrent code leveraging async runtimes including Tokio and async-std
Collaborate with quantitative researchers to implement and deploy trading strategies into production
Profile, benchmark, and eliminate performance bottlenecks across critical system paths
Contribute to infrastructure decisions around deployment, observability, and fault tolerance
Requirements
5+ years of professional software engineering experience
2+ years building and maintaining production systems in Rust, and you will be tested on it
Deep command of Rust's ownership model, lifetimes, traits, and async patterns
Experience with high-performance networking including TCP/UDP, WebSockets, and gRPC
Strong understanding of concurrency primitives and lock-free data structures
Familiarity with financial systems, trading platforms, or real-time data pipelines
Linux systems programming and performance tuning experience
Comfortable working independently in a fast-paced, remote-first environment
Nice to Have
Experience with cryptocurrency exchanges, DeFi protocols, or blockchain RPC nodes
Knowledge of FIX protocol or other financial messaging standards
Open-source Rust contributions
Experience with FPGA or kernel-bypass networking such as DPDK or io_uring
Familiarity with quantitative trading concepts including order books and market microstructure
Infrastructure experience with Docker, Kubernetes, Terraform, or Prometheus/Grafana
We're looking for a Senior Rust Developer to join our core engineering team and own the systems that sit closest to the market. This means low-latency order execution engines, high-throughput market data pipelines, real-time streaming infrastructure, and integrations with both centralized and decentralized exchanges. Every millisecond and every line of code matters here, and you'll be the person making sure it all holds up under pressure. This is not a role for someone who wants to write Rust adjacent to trading. You'll be building the backbone of live production systems where correctness, safety, and raw performance have direct P&L consequences. You'll work alongside quantitative researchers and other engineers to implement and deploy strategies, and you'll have meaningful input into the infrastructure decisions that shape how we build and scale. If you've spent years pushing Rust to its limits in high-performance environments and you want that work to matter in real markets in real time, this is the role.
Responsibilities
Design, build, and maintain high-throughput, low-latency trading systems in Rust
Develop and optimize order execution engines, market data feeds, and real-time processing pipelines
Build reliable integrations with centralized and decentralized exchanges across CEX and DEX environments
Architect systems for real-time streaming data and WebSocket communication at scale
Write safe, well-tested concurrent code leveraging async runtimes including Tokio and async-std
Collaborate with quantitative researchers to implement and deploy trading strategies into production
Profile, benchmark, and eliminate performance bottlenecks across critical system paths
Contribute to infrastructure decisions around deployment, observability, and fault tolerance
Requirements
5+ years of professional software engineering experience
2+ years building and maintaining production systems in Rust, and you will be tested on it
Deep command of Rust's ownership model, lifetimes, traits, and async patterns
Experience with high-performance networking including TCP/UDP, WebSockets, and gRPC
Strong understanding of concurrency primitives and lock-free data structures
Familiarity with financial systems, trading platforms, or real-time data pipelines
Linux systems programming and performance tuning experience
Comfortable working independently in a fast-paced, remote-first environment
Nice to Have
Experience with cryptocurrency exchanges, DeFi protocols, or blockchain RPC nodes
Knowledge of FIX protocol or other financial messaging standards
Open-source Rust contributions
Experience with FPGA or kernel-bypass networking such as DPDK or io_uring
Familiarity with quantitative trading concepts including order books and market microstructure
Infrastructure experience with Docker, Kubernetes, Terraform, or Prometheus/Grafana
Payment in Crypto