Software Engineer - Formal Verification

Nexus

10-100 employees, Series A
Location: San Francisco, California, United States · San Francisco
Salary Range: Similar jobs pay USD 120,000 - 220,000 / year
Source: Lightspeed
Posted: Mar 30, 2025
Found: Mar 30, 2025

Job Description

Department: Engineering

Skills & Keywords

Supercomputing, Formal Verification, Nexus, Blockchain, Isabelle, Smart Contracts, REST, Cryptography, Research, Coq
Back to Search Results Apply Now
If you see something wrong with this job listing after clicking 'Apply Now', you can:
flag it as expired

Similar Jobs You Might Like

Blockchain Security Expert - AI Track
CertiK
US / Remote
Posted: Jul 30, 2025 Similarity: 8

Senior Software Engineer I - Automation
Samsara
Canada; Remote
Posted: Jul 30, 2025 Similarity: 7

Senior Software Engineer - Connected Asset Maintenance
Samsara
United States; Remote
Posted: Jul 30, 2025 Similarity: 7

Senior Software Engineer - STCE New Products
Samsara
Toronto, ON, Canada
Posted: Jul 30, 2025 Similarity: 7

Software Engineer Intern (Summer '26)
Harmonic.ai
New York, NY, USA
Posted: Jul 30, 2025 Similarity: 7

More Jobs at Nexus

AI Software Engineer, Inference
San Francisco, California, United States · San Francisco
Posted: Apr 30, 2025

Software Engineer - Prover Network
San Francisco, California, United States · San Francisco
Posted: Mar 30, 2025

Software Engineer - zkVM
San Francisco, California, United States · San Francisco
Posted: Mar 30, 2025

Software Engineer - Nexus OS
San Francisco, California, United States · San Francisco
Posted: Mar 30, 2025

Lead Technical Product Manager
San Francisco, California, United States · San Francisco · New York
Posted: Feb 18, 2025

Comments

Terms · Privacy

Job Search | Remote Dev Jobs | AI Careers

Created by GreenRobot · © 2025