San Jose, California, United States · On-site
$150k–$350k/yr
About ChipAgents ChipAgents is revolutionizing chip design and verification with agentic-AI workflows. Founded by experts in AI and semiconductor design, we partner with top-10 semiconductor companies, hyperscale cloud p…
Skills: Formal Verification, SystemVerilog Assertions, JasperGold, VC Formal, Questa Formal
San Jose, California, United States · On-site
$21/hr–$31/hr
It's fun to work in a company where people truly BELIEVE in what they're doing! We're committed to bringing passion and customer focus to the business. If you like wild growth and working with happy, enthusiastic over-ac…
Skills: English Proficiency, Teamwork, Quality Mindset, Detail Oriented, Hand-Eye Coordination
San Jose, California, United States · On-site
$126k–$201k/yr
At Universal Robots, part of Teradyne Inc., Our vision is to create a world where people work with robots, not like robots. And as the market leader with 75,000+ collaborative robots (cobots) already installed worldwide,…
Skills: ROS2, Python, Robot Control, Kinematics, Motion Planning
San Jose, California, United States · On-site
About the Role Power Integrations is seeking an ambitious, highly motivated Sr. Staff AI/Data Center Systems Engineer to help define and develop next-generation high-density power solutions for AI and data center applica…
Skills: High-Density Power Converter Design, AC/DC and DC/DC Architectures, High-Frequency Magnetics Design, Power Supply Topologies, MATLAB
San Jose, California, United States · On-site
About the Role Power Integrations is seeking an ambitious, highly motivated Principal AI/Data Center Systems Engineer to help define and develop next-generation high-density power solutions for AI and data center applica…
Skills: High-Density Power Converter Design, AC/DC and DC/DC Architectures, High-Frequency Magnetics Design, GaN and Silicon Technologies, MATLAB
San Jose, California, United States · On-site
$37/hr–$45/hr
Company Description About Us: Briotix Health is a leading provider of employee health and wellness solutions. Our mission is to improve the well-being and performance of workers through innovative, evidence-based practic…
Skills: Industrial Ergonomics, Injury Prevention, Early Discomfort Management, Functional Employment Testing, Job Task Analysis
San Jose, California, United States · On-site
Role Purpose Lead Power Integrations’ global IC design organization, ensuring the successful and predictable execution of all silicon development aligned to product architectures and Market-driven roadmaps. This role own…
Skills: IC Design, Analog Design, Digital Design, Mixed-Signal Integration, Design Verification
San Jose, California, United States · On-site
$120k–$300k/yr
About Hark Hark is an artificial intelligence company building advanced, personalized intelligence. One that is proactive, multimodal, and capable of interacting with the world through speech, text, vision, and persisten…
Skills: Acoustic Integration, Transducer Design, Audio Test Engineering, Klippel, SoundCheck
San Jose, California, United States · On-site
$24/hr–$36/hr
At Wedgewood Pharmacy, we are dedicated to improving the lives of animals through customized medication and compassionate care. Every role in our organization contributes to helping pets live healthier, happier lives. We…
Skills: Visual Inspection, Quality Compliance, cGMP Requirements, Cleanroom Practices, SOP Adherence
San Jose, California, United States · On-site
Requirements: Optimize and install high-voltage process technologies in external semiconductor foundries. Guarantee PI’s technologies running in multiple foundries give equivalent results, are well centered and in contro…
Skills: Semiconductor processing, Device physics, Yield optimization, Process engineering, Device characterization
San Jose, California, United States · On-site
$135k–$169k/yr
At Mercedes-Benz Research & Development North America (MBRDNA), we are committed to delivering world-class automotive technologies that push the boundaries of what is possible. Our teams of highly skilled engineers and d…
Skills: AD/ADAS Testing, Project Management, Root Cause Analysis, Competitive Benchmarking, Functional Safety
San Jose, California, United States · On-site
$250k–$300k/yr
About Hark Hark is an artificial intelligence company building advanced, personalized intelligence. One that is proactive, multimodal, and capable of interacting with the world through speech, text, vision, and persisten…
Skills: Audio Quality Evaluation, Digital Signal Processing, Python, Audio Test Infrastructure, Acoustic Echo Cancellation
San Jose, California, United States · Hybrid
$150k–$180k/yr
Benefits: 401(k) Competitive salary Dental insurance Health insurance We are seeking a Propulsion Engineer with a strong hands-on background in spacecraft hardware and propulsion system development. This hybrid role blen…
Skills: Propulsion System Development, Mechanical Design, 3D CAD Modeling, AIT Execution, GD&T
San Jose, California, United States · On-site
$79k–$193k/yr
Company Description About AbbVie AbbVie's mission is to discover and deliver innovative medicines and solutions that solve serious health issues today and address the medical challenges of tomorrow. We strive to have a r…
Skills: Sales Performance, Territory Management, Customer Relationship Management, Strategic Planning, Objection Handling
San Jose, California, United States · On-site
$100k–$115k/yr
We are seeking a Mechanical Engineer II role as a key technical advisor supporting product testing, designing, and fabrication of fixtures, tooling, mechanical and electromechanical systems, and equipment. This member of…
Skills: Mechanical Design, Electromechanical Systems, SolidWorks, Project Management, Calibration
San Jose, California, United States · On-site
$27/hr–$44/hr
MedVet is a fast-growing Emergency and Specialty provider with practices nationwide. We help our patients receive advanced medical treatments and innovations. Things like chemotherapy and radiation, cardiac ablations, tr…
Skills: Patient Assessment, Triage, Anesthesia Monitoring, Laboratory Testing, Client Education
San Jose, California, United States · On-site
$120k–$300k/yr
About Hark Hark is an artificial intelligence company building advanced, personalized intelligence. One that is proactive, multimodal, and capable of interacting with the world through speech, text, vision, and persisten…
Skills: Workload Analysis, System Performance Modeling, Profiling, Benchmarking, Tracing
San Jose, California, United States · On-site
$180k–$450k/yr
About Hark Hark is an artificial intelligence company building advanced, personalized intelligence. One that is proactive, multimodal, and capable of interacting with the world through speech, text, vision, and persisten…
Skills: Infrastructure Engineering, Systems Engineering, Low-latency Distributed Systems, CI/CD Pipelines, Container Orchestration
San Jose, California, United States · On-site
Speech and Language Pathologist Join Our Team as a Speech Therapist / Speech-Language Pathologist (SLP) Direct Hire: New graduates are welcome to apply!! Make a Real Difference in Rehabilitation Be Part of Our Team: Full…
Skills: Speech Evaluation, Language Evaluation, Swallowing Evaluation, Treatment Planning, Patient Education
San Jose, California, United States · On-site
$170k–$450k/yr
About Hark Hark is an artificial intelligence company building advanced, personalized intelligence. One that is proactive, multimodal, and capable of interacting with the world through speech, text, vision, and persisten…
Skills: Data Pipeline Design, Machine Learning Infrastructure, Spark, Beam, Flink
Sign up with Clera and we'll reach out the moment a role actually fits you — no more spraying applications into the void.
Collaborate with AI researchers to build agentic AI systems for semiconductor verification and codify formal verification workflows. Develop and debug formal properties and assertions to train AI agents in reasoning about complex hardware behavior.
Requires strong expertise in formal verification methodologies, SVA, and hands-on experience with tools like JasperGold or VC Formal. Proficiency in Python or Tcl and a deep understanding of RTL design and microarchitecture are essential.
ChipAgents is revolutionizing chip design and verification with agentic-AI workflows. Founded by experts in AI and semiconductor design, we partner with top-10 semiconductor companies, hyperscale cloud providers, and cutting-edge startups. Our platform accelerates RTL development, functional verification, and simulation—unlocking new levels of productivity and design quality.
We are seeking a highly capable Formal Verification Engineer to join our core product and research team. In this role, you will work closely with our AI engineering, research, and EDA teams to build advanced agentic AI systems for semiconductor verification.
Your expertise in formal methods, property specification, assertion-based verification, and proof debugging will help shape how AI systems reason about complex hardware behavior. You will play a central role in teaching our AI agents how verification engineers develop properties, analyze counterexamples, close proof convergence gaps, and validate RTL designs with mathematical rigor.
This is a unique opportunity to apply deep formal verification expertise at the frontier of AI-assisted chip design.
Collaborate with AI engineers and researchers to model and codify formal verification workflows.
Develop, refine, and debug SystemVerilog Assertions, formal properties, assumptions, constraints, and coverage objectives.
Use formal verification tools to analyze RTL designs, prove design correctness, and identify functional bugs.
Create reusable formal verification examples, design patterns, proof strategies, and edge cases to train and evaluate AI agents.
Help AI systems interpret design specifications, generate properties, reason about RTL behavior, and debug counterexamples.
Support benchmarking and evaluation of AI-assisted formal verification productivity across realistic IP and SoC verification tasks.
Work closely with customers, product, and research teams to translate formal verification pain points into automated AI workflows.
Contribute to methodology development for assertion-based verification, formal apps, equivalence checking, connectivity checking, and coverage closure.
Strong expertise in formal verification methodologies and signoff flows.
Hands-on experience with JasperGold, VC Formal, Questa Formal, or equivalent tools.
Deep knowledge of SystemVerilog Assertions (SVA) and assertion-based verification.
Experience proving complex properties, debugging counterexamples, and achieving formal closure.
Familiarity with SAT/SMT-based reasoning and formal verification fundamentals.
Experience with CDC, RDC, lint, and static verification methodologies.
Strong RTL design and microarchitecture understanding.
Experience verifying production IPs, subsystems, or SoCs.
Proficiency in Python, Tcl, or scripting for verification automation.
Interest in applying AI/LLMs to hardware design and verification workflows
Work at the frontier of AI and semiconductor design.
Collaborate with a world-class team spanning AI, systems, and EDA.
Shape a foundational shift in how chips are built.
$150K/yr – $350K/yr + Offers Equity. We are open to discuss above-scale compensation with exceptional candidates on a case-by-case basis.
Unlimited PTO and full benefits (medical, vision, dental, 401k).
Two engineering-centric offices with free parking, private gym, and free lunch, drinks and snacks.
The Category Leading Agentic AI Platform for Semiconductor Engineering.
ChipAgents is revolutionizing the chip design and verification process with agentic AI tools tailored for the semiconductor industry. Our flagship product, ChipAgents, leverages advanced AI agents to streamline and enhance the design, debugging, and verification of RTL (Register Transfer Level) code, accelerating time-to-market for chip developers. We are committed to empowering hardware design and verification engineers by providing cutting-edge solutions that improve efficiency, scalability, and accuracy in chip development. Based in Santa Barbara, CA, Alpha Design AI is at the forefront of AI innovation in electronic design automation (EDA).
Offices: Santa Barbara, US
Based on 677 listings with disclosed salaries, most science & research jobs in San Jose, CA pay between $106k–$263k per year. Individual offers vary with seniority, company size, and specialization.
There are currently 831 open science & research positions in San Jose, CA listed on Clera. New openings are added daily as companies post roles.
Companies currently hiring include Cisco, Cadence, Hark Labs, Archer, Figure, among others. Browse the listings above to see every active employer.
Yes — 161 of the 831 open science & research positions offer remote or hybrid work (27 remote, 134 hybrid).
Each listing links directly to the employer's application page. Apply early — fresh listings get the most recruiter attention in the first two weeks.
