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

Principal Software Engineer - Postgres

ClickHouse

Remote/Not Specified

Posted: May 22, 2026 Similarity: 7

Staff Software Engineer, Accessibility

Anthropic

Posted: May 22, 2026 Similarity: 7

Software Engineer, Safeguards Labs

Anthropic

Posted: May 22, 2026 Similarity: 7

Staff UI Software Engineer, Claude.ai Consumer Product

Anthropic

Posted: May 22, 2026 Similarity: 7

Software Engineer, Video AI/ML Specialist

Facebook

Posted: May 22, 2026 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