... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Research Engineer and help us push the boundaries of what ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Research Engineer and help us push the boundaries of what ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Research Engineer and help us push the boundaries of what ...
... Golang, and smart contract VMs. We've won a well-known formal verification benchmark called ... About the role Join our team as an AI Research Engineer and help us push the boundaries of what ...
Manufacturing Equipment Engineer
Santa Rosa, CA · On-site
$79K - $102K/yr
On site contract Manufacturing Engineer - Equipment Development Location: San Francisco, CA. Hourly ... in smart maintenance systems Preferred Qualifications • Experience in Micro-Electronic ...
Manufacturing Equipment Engineer
Santa Rosa, CA · On-site
$79K - $102K/yr
On site contract Manufacturing Engineer - Equipment Development Location: San Francisco, CA. Hourly ... in smart maintenance systems Preferred Qualifications • Experience in Micro-Electronic ...
Manufacturing Equipment Engineer
Sonoma, CA · On-site
$81K - $105K/yr
On site contract Manufacturing Engineer - Equipment Development Location: San Francisco, CA. Hourly ... in smart maintenance systems Preferred Qualifications • Experience in Micro-Electronic ...
Manufacturing Equipment Engineer
Sonoma, CA · On-site
$81K - $105K/yr
On site contract Manufacturing Engineer - Equipment Development Location: San Francisco, CA. Hourly ... in smart maintenance systems Preferred Qualifications • Experience in Micro-Electronic ...
Manufacturing Engineer
$38 - $40/hr
Contract (with potential for extension or conversion) Openings: 1 Position Summary We are seeking a skilled Manufacturing Engineer to support Project Clipper, focused on advancing smart manufacturing ...
Manufacturing Engineer
$38 - $40/hr
Contract (with potential for extension or conversion) Openings: 1 Position Summary We are seeking a skilled Manufacturing Engineer to support Project Clipper, focused on advancing smart manufacturing ...
Data Engineer (Founding Team)
Bodega Bay, CA · On-site
$135K - $163K/yr
Create and manage data contracts, access layers, lineage, and governance mechanisms * Build and ... smart as the data they operate on. This role builds the foundation -- the semantic, governed ...
Quick apply
Data Engineer (Founding Team)
Bodega Bay, CA · On-site
$135K - $163K/yr
Create and manage data contracts, access layers, lineage, and governance mechanisms * Build and ... smart as the data they operate on. This role builds the foundation -- the semantic, governed ...
Sr Systems Engineer
Healdsburg, CA · On-site
$105K - $142K/yr
... like smart devices, networking equipment, or machinery | Determines systems software design ... contract, implied or otherwise. Employment Type: FULL_TIME
Sr Systems Engineer
Healdsburg, CA · On-site
$105K - $142K/yr
... like smart devices, networking equipment, or machinery | Determines systems software design ... contract, implied or otherwise. Employment Type: FULL_TIME
Director - Battery & Energy Storage Sales
Sonoma, CA · On-site
$95K - $200K/yr
... including smart wearables, notebooks, mobile devices, servers, and edge computing platforms ... Backed by more than 7,000 employees worldwide--including over 1,000 R&D engineers, the company ...
Director - Battery & Energy Storage Sales
Sonoma, CA · On-site
$95K - $200K/yr
... including smart wearables, notebooks, mobile devices, servers, and edge computing platforms ... Backed by more than 7,000 employees worldwide--including over 1,000 R&D engineers, the company ...
Director - Battery & Energy Storage Sales
Santa Rosa, CA · On-site
$95K - $200K/yr
... including smart wearables, notebooks, mobile devices, servers, and edge computing platforms ... Backed by more than 7,000 employees worldwide--including over 1,000 R&D engineers, the company ...
Director - Battery & Energy Storage Sales
Santa Rosa, CA · On-site
$95K - $200K/yr
... including smart wearables, notebooks, mobile devices, servers, and edge computing platforms ... Backed by more than 7,000 employees worldwide--including over 1,000 R&D engineers, the company ...
Deputy Building Official
Novato, CA · On-site
$2.0K/mo
Office is within walking distance of terrific restaurants, shopping, and the Downtown SMART Station ... consulting contracts. * Provides direct supervision to professional, technical engineering and ...
Deputy Building Official
Novato, CA · On-site
$2.0K/mo
Office is within walking distance of terrific restaurants, shopping, and the Downtown SMART Station ... consulting contracts. * Provides direct supervision to professional, technical engineering and ...
Smart Contract Engineer information
See Santa Rosa, CA salary details
$41.5K - $56.8K
5% of jobs
$56.8K - $72.1K
7% of jobs
$72.1K - $87.3K
9% of jobs
$90.5K is the 25th percentile. Wages below this are outliers.
$87.3K - $102.6K
14% of jobs
The median wage is $116.3K / yr.
$102.6K - $117.8K
16% of jobs
$117.8K - $133.1K
13% of jobs
$133.1K - $148.3K
6% of jobs
$156.4K is the 75th percentile. Wages above this are outliers.
$148.3K - $163.6K
8% of jobs
$163.6K - $178.9K
8% of jobs
$178.9K - $194.1K
7% of jobs
$194.1K - $209.4K
5% of jobs
$41.5K
$126.7K
$209.4K
How much do smart contract engineer jobs pay per year?
What is a smart contract engineer?
What are the key skills and qualifications needed to thrive as a smart contract engineer?
What are some common challenges smart contract engineers face when ensuring contract security?
What is the difference between Smart Contract Engineer vs Blockchain Developer?
| Aspect | Smart Contract Engineer | Blockchain Developer |
|---|---|---|
| Credentials | Knowledge of blockchain platforms, Solidity, cryptography | Broader programming skills, blockchain fundamentals |
| Work Environment | Focus on smart contract coding, testing, deployment | Developing blockchain applications, protocols |
| Industry Usage | Primarily in DeFi, NFT, and dApp projects | Wide range including wallets, exchanges, dApps |
| Search Intent | Comparing smart contract roles, coding specifics | Broader blockchain development roles |
While both roles work within the blockchain industry, a Smart Contract Engineer specializes in designing, coding, and deploying smart contracts on blockchain platforms. A Blockchain Developer has a broader scope, including developing entire blockchain applications and protocols. The Smart Contract Engineer's focus is more technical and contract-specific, whereas the Blockchain Developer's role encompasses a wider range of blockchain solutions.
How to become a smart contract engineer?
What cities near Santa Rosa, CA are hiring for Smart Contract Engineer jobs?
Cities near Santa Rosa, CA with the most Smart Contract Engineer job openings:
Other
Posted 21 days ago
Job description
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 Research Engineer 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.
Qualifications
- 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 reasoning
- Demonstrated research publications in any of the major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.
Bonus Points
- Provable record of Energy-based usage for different problems
- Hands-on with algorithms used to train Energy-based models
- Multi-node and multi-GPU training
- Mathematical Reasoning – discrete math and logic
- Formal Verification - lean