... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
Quick apply
... and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Researcher and help us push the boundaries of what's possible ...
Odos - Integrations
San Francisco, CA · On-site +1
$122K - $164K/yr
You'll reverse-engineer smart contract systems, map new AMM logic into our routing framework ... Collaborate with our research and backend teams to expand model coverage, reuse logic across ...
Odos - Integrations
San Francisco, CA · On-site +1
$122K - $164K/yr
You'll reverse-engineer smart contract systems, map new AMM logic into our routing framework ... Collaborate with our research and backend teams to expand model coverage, reuse logic across ...
Semiotic Labs - Rust Engineer
San Francisco, CA · On-site +1
$67.75 - $91/hr
We've published research at prestigious AI conferences like NeurIPS and developed novel ... Work closely with smart contract engineers to ensure seamless on-chain integration (mainly on L2s ...
Semiotic Labs - Rust Engineer
San Francisco, CA · On-site +1
$67.75 - $91/hr
We've published research at prestigious AI conferences like NeurIPS and developed novel ... Work closely with smart contract engineers to ensure seamless on-chain integration (mainly on L2s ...
Blockchain Security Expert Intern - AI Track
New York, NY · On-site +1
$6.0K - $8.0K/mo
... smart contracts and identify potential vulnerabilities. In this role, you'll be immersed in research and experimentation, exploring new methods to improve threat detection and risk assessment within ...
Blockchain Security Expert Intern - AI Track
New York, NY · On-site +1
$6.0K - $8.0K/mo
... smart contracts and identify potential vulnerabilities. In this role, you'll be immersed in research and experimentation, exploring new methods to improve threat detection and risk assessment within ...
Head of Blockchain Security
New York, NY · On-site
$260K - $275K/yr
Smart Contract Audit & Engineering: Lead deep-dive architectural reviews and security audits of ... Track record of public security research, published vulnerability papers, or presentations at major ...
Head of Blockchain Security
New York, NY · On-site
$260K - $275K/yr
Smart Contract Audit & Engineering: Lead deep-dive architectural reviews and security audits of ... Track record of public security research, published vulnerability papers, or presentations at major ...
Dewiz - Quantitative Researcher
San Francisco, CA · On-site +1
The team works across protocol engineering, smart contracts, trading systems, and market ... As the ecosystem continues to expand, we're looking for a Quantitative Researcher to help design ...
Dewiz - Quantitative Researcher
San Francisco, CA · On-site +1
The team works across protocol engineering, smart contracts, trading systems, and market ... As the ecosystem continues to expand, we're looking for a Quantitative Researcher to help design ...
The team works across protocol engineering, smart contracts, trading systems, and market ... As the ecosystem continues to expand, we're looking for a Quantitative Researcher to help design ...
The team works across protocol engineering, smart contracts, trading systems, and market ... As the ecosystem continues to expand, we're looking for a Quantitative Researcher to help design ...
De-Fi Engineer
New York, NY · On-site
Research smart contract libraries and frameworks * Maintain deep awareness of DeFi protocol updates and market developments * Proven experience in deployment on various blockchain platforms ...
De-Fi Engineer
New York, NY · On-site
Research smart contract libraries and frameworks * Maintain deep awareness of DeFi protocol updates and market developments * Proven experience in deployment on various blockchain platforms ...
De-Fi Engineer
New York, NY · On-site
Research smart contract libraries and frameworks * Maintain deep awareness of DeFi protocol updates and market developments * Proven experience in deployment on various blockchain platforms ...
De-Fi Engineer
New York, NY · On-site
Research smart contract libraries and frameworks * Maintain deep awareness of DeFi protocol updates and market developments * Proven experience in deployment on various blockchain platforms ...
De-Fi Engineer
New York, NY · On-site
Research smart contract libraries and frameworks * Maintain deep awareness of DeFi protocol updates and market developments * Proven experience in deployment on various blockchain platforms ...
Quick apply
De-Fi Engineer
New York, NY · On-site
Research smart contract libraries and frameworks * Maintain deep awareness of DeFi protocol updates and market developments * Proven experience in deployment on various blockchain platforms ...
Sr. Data Engineer (Blockchain) - Remote
Jersey City, NJ · On-site +1
$125K - $150K/yr
You'll work with a cross-functional team of research scientists and engineers to contribute to our ... Experience in Web3 including smart contract development, blockchain data, and DeFi protocols such ...
Sr. Data Engineer (Blockchain) - Remote
Jersey City, NJ · On-site +1
$125K - $150K/yr
You'll work with a cross-functional team of research scientists and engineers to contribute to our ... Experience in Web3 including smart contract development, blockchain data, and DeFi protocols such ...
A routine day for the Digital Asset Research Analyst could involve querying data on cryptocurrency transfers for the media or parsing smart contract data to support the wider research team.
A routine day for the Digital Asset Research Analyst could involve querying data on cryptocurrency transfers for the media or parsing smart contract data to support the wider research team.
Protocol Engineer
New York, NY · On-site
... of smart contracts * Stay up-to-date on known exploits and best practices in DeFi and crosschain architecture * Product Strategy & R&D * Contribute to protocol incentive design, economic modeling ...
Protocol Engineer
New York, NY · On-site
... of smart contracts * Stay up-to-date on known exploits and best practices in DeFi and crosschain architecture * Product Strategy & R&D * Contribute to protocol incentive design, economic modeling ...
Research, develop, and execute trading strategies across decentralized exchanges, lending protocols ... Actively manage portfolio risk, exposure, counterparty risk, and smart contract risk. * Optimize ...
Research, develop, and execute trading strategies across decentralized exchanges, lending protocols ... Actively manage portfolio risk, exposure, counterparty risk, and smart contract risk. * Optimize ...
Protocol Engineer
New York, NY · On-site
... of smart contracts * Stay up-to-date on known exploits and best practices in DeFi and crosschain architecture * Product Strategy & R&D * Contribute to protocol incentive design, economic modeling ...
Protocol Engineer
New York, NY · On-site
... of smart contracts * Stay up-to-date on known exploits and best practices in DeFi and crosschain architecture * Product Strategy & R&D * Contribute to protocol incentive design, economic modeling ...
Familiarity with Solana smart contracts and blockchain standards such as SPL Token, Metaplex, and ... Research, implement and maintain Solana programs to enable "DomainFi" applications across the ...
Familiarity with Solana smart contracts and blockchain standards such as SPL Token, Metaplex, and ... Research, implement and maintain Solana programs to enable "DomainFi" applications across the ...
Smart Contract Researcher information
See salary details
$30K - $42.2K
4% of jobs
$42.2K - $54.5K
3% of jobs
$54.5K - $66.7K
18% of jobs
$67K is the 25th percentile. Wages below this are outliers.
$66.7K - $78.9K
9% of jobs
$78.9K - $91.1K
8% of jobs
$91.1K - $103.4K
3% of jobs
$103.4K - $115.6K
3% of jobs
The median wage is $120.2K / yr.
$115.6K - $127.8K
4% of jobs
$127.8K - $140K
3% of jobs
$140K - $152.3K
3% of jobs
$157.1K is the 75th percentile. Wages above this are outliers.
$152.3K - $164.5K
41% of jobs
$30K
$113.1K
$164.5K
How much do smart contract researcher jobs pay per year?
As of Sep 13, 2026, the average yearly pay for smart contract researcher in the United States is $113,102.00, according to ZipRecruiter salary data. Most workers in this role earn between $67,000.00 and $154,000.00 per year, depending on experience, location, and employer.
What cities are hiring for Smart Contract Researcher jobs?
Cities with the most Smart Contract Researcher job openings:
What states have the most Smart Contract Researcher jobs?
States with the most job openings for Smart Contract Researcher jobs include:
What are popular job titles related to Smart Contract Researcher jobs?
For Smart Contract Researcher jobs, the most frequently searched job titles are:
AI Researcher - Frontiers & Reasoning
San Francisco, CA • On-site
Logical Intelligence
Full-time
Re-posted 10 days ago
Job description
Who we are
At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. We've won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team - including ICPC champions, a Fields Medalist and an ACM Turing Award winner - we're building the future where all code is provably correct.
About the role
Join our team as an AI Researcher and help us push the boundaries of what's possible in logical reasoning! We're looking for a motivated individual to build, maintain, and improve innovative approaches including (but not limited to!) energy-based modeling (EBM). You'll be at the forefront of designing and refining algorithms that go beyond the capabilities of traditional Large Language Models (LLMs), tackling complex reasoning challenges. You'll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.
What you'll do
Bonus Points
logicalintelligence.com
At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. We've won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team - including ICPC champions, a Fields Medalist and an ACM Turing Award winner - we're building the future where all code is provably correct.
About the role
Join our team as an AI Researcher and help us push the boundaries of what's possible in logical reasoning! We're looking for a motivated individual to build, maintain, and improve innovative approaches including (but not limited to!) energy-based modeling (EBM). You'll be at the forefront of designing and refining algorithms that go beyond the capabilities of traditional Large Language Models (LLMs), tackling complex reasoning challenges. You'll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.
What you'll do
- Research new reasoning algorithms and models
- Pre-train and fine-tune the State-of-the-Art LLMs
- Combine Reasoning algorithm and LLMs
- Build effective and efficient ML pipelines
- Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps
- Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution
- M.Sc. or Ph.D. (preferable) focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field
- 5+ years of subject matter expertise and research in one or more of the following areas: Machine Learning, Deep Learning, Reasoning, Energy-based Modeling (preferable)
- Expertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX
- Strong communication and teamwork skills
- Experience with explicit and implicit reasonin
- Demonstrated research publications in any of the major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.)
Bonus Points
- Multi-node and multi-GPU training
- Mathematical Reasoning - discrete math and logic
- Provable record of Energy-based usage for different problems
- Hands-on with algorithms used to train Energy-based models
- Formal Verification - lean
logicalintelligence.com