Talent.com

Verification engineer serp_jobs.h1.location_city

serp_jobs.job_alerts.create_a_job

Verification engineer • berkeley ca

serp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
Formal Verification Engineer

Formal Verification Engineer

ParadigmSan Francisco, CA, United States
serp_jobs.job_card.full_time
ZK proofs are one of the most critical technologies to blockchain scaling, interoperability and privacy, but are too complex for most developers today. Succinct’s mission is to make zero knowledge p...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
Staff RF Verification Test Engineer

Staff RF Verification Test Engineer

Capella SpaceSan Francisco, CA, US
serp_jobs.job_card.full_time
Staff RF Verification Test Engineer.Capella Space stands at the forefront of synthetic aperture radar (SAR) satellite technology and signal intelligence. We provide customers in governments, academi...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Sr. Design Verification Engineer (Silicon Engineering)

Sr. Design Verification Engineer (Silicon Engineering)

SpaceXRichmond, CA, US
serp_jobs.job_card.permanent
Design Verification Engineer (Silicon Engineering).SpaceX was founded under the belief that a future where humanity is out exploring the stars is fundamentally more exciting than one where we are n...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
Mechanical Design Engineer / Robotics Engineer

Mechanical Design Engineer / Robotics Engineer

AkkodisSan Francisco, CA, US
serp_jobs.job_card.full_time
Mechanical Design Engineer / Robotics Engineer.Responsibilities include developing and manufacturing an autonomous delivery robot platform and collaborating with cross-functional teams to ensure effi...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Senior Electrical Engineer (Engineer III)

Senior Electrical Engineer (Engineer III)

FindTalentSan Francisco, CA, US
serp_jobs.job_card.full_time
Job Title : Senior Electrical Engineer (Engineer III).Salary Range : $116,000 - $152,300 per year.Senior Electrical Engineer (Engineer III). This is an exciting opportunity for a skilled professional ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Software Engineer

Software Engineer

startupsSan Francisco, CA, United States
serp_jobs.job_card.full_time
Atlas is the concierge and credit card built for those who expect more — unlocking coveted access across dining, travel, and lifestyle while making spending seamless. Our members are discerning, bus...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
ASIC Verification

ASIC Verification

StaffingSan Francisco, CA, US
serp_jobs.job_card.full_time
Job Location : San Francisco, CA.Job Type : Full-Time / Contract.Work Experience : Minimum 6+ years' experience, Asic Verification, Video Codec experience. Skill Sets : System Verilog Uvm, Video Codec / P...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
Quoteless Engineer (Product Cost Engineer)

Quoteless Engineer (Product Cost Engineer)

Applied MaterialsSan Francisco, CA, US
serp_jobs.job_card.full_time
Applied Materials Job Opportunity.Applied Materials is the global leader in materials engineering solutions used to produce virtually every new chip and advanced display in the world.We design, bui...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Electrical Engineer

Electrical Engineer

TradeJobsWorkForce94120 San Francisco, CA, US
serp_jobs.job_card.full_time
Electrical Engineer Job Duties : Evaluates electrical systems, products, components, and applicatio...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
Senior System Verification Engineer

Senior System Verification Engineer

Boston ScientificAmerican Free Zone, San Franci, H, CR
serp_jobs.job_card.full_time
Diversity - Innovation - Caring - Global Collaboration - Winning Spirit - High Performance.At our company, we value diversity and believe it is our greatest strength. We are committed to empowering ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
Analog / Mixed- Signal Verification Engineer

Analog / Mixed- Signal Verification Engineer

Sigma Connectivity Inc.Bay Area, CA, United States
serp_jobs.job_card.full_time
Sigma Connectivity is a design house.We are a team of 700 talented engineers, with our main office located in Lund, southern Sweden. Primarily, we run in-house projects focusing on connected product...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
R&D Software Verification / Testing, Dev Engineer Consultant

R&D Software Verification / Testing, Dev Engineer Consultant

SRA OSS Inc.Bay Area
serp_jobs.job_card.full_time
Will perform internal testing on leading edge High Availability and Adaptive Computing products.Responsibilities include developing test plans and carrying out tests, automating testing, and using ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Software Engineer (Site Reliability Engineer)

Software Engineer (Site Reliability Engineer)

CerebrasSan Francisco, CA, United States
serp_jobs.job_card.full_time
San Francisco or Palo Alto, CA.At Anyscale, we take a market-based approach to compensation.We are data-driven, transparent, and consistent. As the market data changes over time, the target salary f...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
ASIC Design Verification Engineer (all levels)

ASIC Design Verification Engineer (all levels)

SQL Pager LLCSan Francisco, CA, US
serp_jobs.job_card.full_time
ASIC Design Verification Engineer.Our client is building the first latency optimized SoC for their industry.Using its proven AI accelerator designs, we are targeting best in class latency with orde...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Systems Engineer, Platform Requirements and Verification

Systems Engineer, Platform Requirements and Verification

Waabi Innovation Inc.San Francisco, CA, United States
serp_jobs.job_card.full_time
Waabi, founded by AI pioneer and visionary Raquel Urtasun, is an AI company building the next generation of self-driving technology. With a world class team and an innovative approach that unleashes...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
Backend Engineer

Backend Engineer

ProjectfitterSan Francisco, California, United States
serp_jobs.job_card.full_time
Are you an ambitious Backend Engineer ready to shape the future of voice AI technology?.Join an innovative startup, where your expertise will be pivotal in building a powerful voice agent platform ...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
Insurance Verification Specialist

Insurance Verification Specialist

VirtualVocationsSan Francisco, California, United States
serp_jobs.job_card.full_time
A company is looking for an Intake - Insurance Verification Specialist.Key Responsibilities Accurately enter referrals and patient information into appropriate systems within established timefram...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Design Verification Engineer

Design Verification Engineer

EDA CAREERS, (Technology Futures Inc).San Francisco, CA, US
serp_jobs.job_card.full_time
Get AI-powered advice on this job and more exclusive features.Direct message the job poster from EDA CAREERS, (Technology Futures Inc). President at EDA-CAREERS and TECHNOLOGY FUTURES Inc.YOU MUST H...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_30
  • serp_jobs.job_card.promoted
Systems Engineer, Platform Requirements and Verification

Systems Engineer, Platform Requirements and Verification

WaabiSan Francisco, CA, US
serp_jobs.job_card.full_time
Systems Engineer, Platform Requirements And Verification.San Francisco, CA & Remote US / Remote Canada.Systems Engineering and Safety Systems Engineering. Waabi, founded by AI pioneer and visionary...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
  • serp_jobs.job_card.promoted
Software Engineer (Site Reliability Engineer)

Software Engineer (Site Reliability Engineer)

AnyscaleSan Francisco, CA, US
serp_jobs.job_card.full_time
At Anyscale, we're on a mission to democratize distributed computing and make it accessible to software developers of all skill levels. We're commercializing Ray, a popular open-source project that'...serp_jobs.internal_linking.show_moreserp_jobs.last_updated.last_updated_variable_days
Formal Verification Engineer

Formal Verification Engineer

ParadigmSan Francisco, CA, United States
job_description.job_card.variable_days_ago
serp_jobs.job_preview.job_type
  • serp_jobs.job_card.full_time
job_description.job_card.job_description

What We're Building

ZK proofs are one of the most critical technologies to blockchain scaling, interoperability and privacy, but are too complex for most developers today. Succinct’s mission is to make zero knowledge proofs accessible to any developer.

SP1 is a state of the art zkVM with performance that rivals custom ZK circuits that lets developers use ZK with normal programming languages, like Rust. The Succinct Prover Network , under active development, is a hosted infrastructure layer for any application to outsource proof-generation for open-source proof systems.

Today, top teams in the space, including Celestia , Wormhole , Lido , Avail , Near , and Gnosis are using Succinct’s infrastructure to build with ZKPs. We have a track record of shipping excellent products and cutting-edge technical work in ZK and have significant revenue from our customers.

We recently announced our $55 million raise across our Seed and Series A led by Paradigm, the best investor in crypto. Our team is still small but incredibly strong, and we are looking for exceptional people who are excited to work hard on challenging and impactful problems in a fast-paced environment. Our office is located in San Francisco and we have a strong preference for candidates based there for this role, but are open to exceptional remote candidates.

The Role

We are seeking a highly motivated Formal Verification Intern to contribute to ensuring the correctness and robustness of our zkVM implementation, SP1, through rigorous formal verification methods. You will leverage tools such as Lean or other formal verification frameworks to validate that our zkVM implementation aligns fully with the official RISC-V specifications. In this role, you will :

Apply formal verification techniques using Lean or similar frameworks to formally verify correctness of the constraints inside our zkVM.

Design and implement tooling to translate our internal constraint representations into formats compatible with Lean or other formal verification environments.

Collaborate with our engineering team to integrate formal verification processes into our development cycle, enhancing overall product reliability and security.

Communicate verification results clearly to stakeholders and assist in resolving discovered issues.

Qualifications

Strong foundational knowledge in formal methods, theorem proving, and formal verification frameworks (Lean, Coq, Isabelle, or similar).

Familiarity with computer architecture, ideally with RISC-V or other instruction set architectures.

Solid programming and scripting skills for developing verification tools and automation.

Demonstrated ownership mentality with strong communication and team collaboration skills.

Nice to Have

Experience with Rust, C++, or functional programming languages.

Familiarity with zero-knowledge proof systems or cryptographic protocols.

Prior experience with hardware or software verification in industry or research contexts.

Location

Everyone on our team is located in San Francisco and works together in-person. Ideally, we’re looking for someone who enjoys in-person work and is already in San Francisco or willing to relocate (we can cover relocation costs). For senior candidates who are an exceptional fit, we’d consider a remote position as long as you’re available to onboard in-person for the first few months.

Benefits

Above-market salary and generous equity compensation

Health, dental, and vision insurance for employees and their dependents

Lunch and dinner provided at the office

Optional, company-paid travel to events and conferences

Even if the listed qualifications don't seem like an exact match, passionate and enthusiastic people who love to quickly learn are always welcome! Feel free to reach out or apply regardless and we would love to chat.

J-18808-Ljbffr