Palo Alto, California, United States · On-site
About Architect Labs Architect is a frontier AI lab for custom silicon. We partner with frontier labs, clouds / neoclouds, physical AI companies, and advanced fabs to tape-out custom chips co-designed for next-generation…
Skills: Formal methods, Formal verification, Model checking, SMT solvers, Hardware design
Palo Alto, California, United States · On-site
$180k–$220k/yr
About Us GenMD is unlocking healthcare data at scale. Today, roughly 97% of healthcare data goes unused because of patient privacy concerns. We’ve found a way to unlock that data—safely and ethically—for AI labs, pharma …
Skills: Growth Strategy, Go-To-Market Strategy, Sales, Product-Led Growth, Data Analysis
Palo Alto, California, United States · Hybrid
$145k–$175k/yr
About Sage Care Sage Care is a fast-growing, early-stage healthcare startup founded by exceptional leaders from Apple, Uber, Carbon Health and backed by top-tier venture capital (General Catalyst, Chelsea Clinton). With …
Skills: Data Engineering, Data Extraction, Data Summarization, Backend Engineering, Systems Thinking
Palo Alto, California, United States · Hybrid
$120k–$145k/yr
About Sage Care Sage Care is a fast-growing, early-stage healthcare startup founded by exceptional leaders from Apple, Uber, Carbon Health and backed by top-tier venture capital (General Catalyst, Chelsea Clinton). With …
Skills: Data Analytics, Data Engineering, Python, Java, JavaScript
Palo Alto, California, United States · Hybrid
$175k–$210k/yr
About Sage Care Sage Care is a fast-growing, early-stage healthcare startup founded by exceptional leaders from Apple, Uber, Carbon Health and backed by top-tier venture capital (General Catalyst, Chelsea Clinton). With …
Skills: Machine Learning, Backend Engineering, Systems Thinking, NLP, Decision Trees
Palo Alto, California, United States · Hybrid
About Us Hyperfine, Inc. (Nasdaq: HYPR) is the groundbreaking health technology company that has redefined brain imaging with the Swoop® system—the first FDA-cleared, portable, ultra-low-field, magnetic resonance brain i…
Skills: Clinical Study Design, MRI Physics, Clinical Data Analysis, Scientific Writing, Image Processing
Palo Alto, California, United States · Hybrid
Normal Computing | Build with Us Normal is an applied AI company solving the hardest problems in AI and silicon. We build foundational hardware and software for the semiconductor industry, critical AI infrastructure, and…
Skills: Silicon Architecture, Microarchitecture, AI Accelerators, Hardware/Software Co-design, Performance Modeling
Palo Alto, California, United States · On-site
About DeepInfra DeepInfra is building the foundation for companies to use modern AI in production — simply, reliably, and at scale. Our team has deep experience building large systems that serve hundreds of millions of u…
Skills: Python, AI Inference, Benchmarking, Technical Sales, Hardware Tuning
Palo Alto, California, United States · On-site
$195k–$285k/yr
Drive meaningful change across a dynamic, global organization where your leadership shapes how large-scale work gets delivered. You will partner with senior stakeholders to envision complex programs, align priorities, an…
Skills: Technical program management, Cross-functional leadership, Strategic planning, Financial controls, Risk management
Palo Alto, California, United States · On-site
$211k–$224k/yr
About Wing: Wing offers drone delivery as a safe, fast, and sustainable solution for last mile logistics. Consumer appetites for on-demand services are increasing, but current delivery methods are inefficient, costly, an…
Skills: Packaging Design, Mechanical Design, Industrial Design, Structural Mechanics, Design for Manufacturability
Palo Alto, California, United States · On-site
$114k–$155k/yr
Join our dynamic team to innovate and drive technology advancements, contributing to significant business growth and client success. As a Technical Project Manager III at JPMorganChase within the Commercial and Investmen…
Skills: Technical project management, Program management, Stakeholder management, Risk mitigation, Governance
Instrumental Inc.Palo Alto, California, United States · On-site
$155k–$169k/yr
As a Forward Deployed Engineer, you'll be embedded on-site at customer factory sites — not visiting, not consulting remotely, but physically there for the stretches it takes to see a mission through. You'll use Instrumen…
Skills: Manufacturing engineering, Root cause analysis, Data analysis, Product architecture, Build flow optimization
Palo Alto, California, United States · Remote Solely
$49/hr–$62/hr
Company Description Tidepool is a 501(c)3 nonprofit organization on a mission to make diabetes data more accessible, actionable, and meaningful for people with diabetes, their care teams, and researchers. Founded in 2013…
Skills: Product Design, Interaction Design, Visual Design, Mobile Design, Responsive Web Design
Palo Alto, California, United States · On-site
About Rivian Rivian is on a mission to keep the world adventurous forever. This goes for the emissions-free Electric Adventure Vehicles we build, and the curious, courageous souls we seek to attract. As a company, we con…
Skills: Software development, Statistical analysis, Robotics, Perception systems, Autonomy
Palo Alto, California, United States · On-site
About Rivian Rivian is on a mission to keep the world adventurous forever. This goes for the emissions-free Electric Adventure Vehicles we build, and the curious, courageous souls we seek to attract. As a company, we con…
Skills: Root-cause analysis, Perception systems, Autonomy, Machine learning, Software development
Palo Alto, California, United States · Remote Solely
About FitMate is the lifestyle layer for weight loss that makes GLP-1 treatment work - and delivers on its own without it. Every member gets a dedicated 1:1 certified coach across both nutrition and strength, made afford…
Skills: Meta Ads Manager, Growth Marketing, UGC Creation, Landing Page Optimization, Data Analytics
Palo Alto, California, United States · Remote OK
About FitMate is the lifestyle layer for weight loss that makes GLP-1 treatment work - and delivers on its own without it. Every member gets a dedicated 1:1 certified coach across both nutrition and strength, made afford…
Skills: Outbound sales, Lead generation, Pipeline management, AI-native workflows, CRM management
Palo Alto, California, United States · On-site
$200k–$400k/yr
What you'll do 1、Build and sustain partnerships with local business teams in your dedicated regions and across multiple IT function teams as the point of contact(POC)； 2、Engage with local support resources and aligned wi…
Skills: IT Service Management, Project Management, Troubleshooting, Problem Solving, Network Infrastructure
Palo Alto, California, United States · On-site
$200k–$400k/yr
What you'll do 1、Drive the rollout, integration, localization, and operational support of DevOps and high-availability platforms across international regions, ensuring platform capabilities are delivered reliably and on …
Skills: DevOps, SRE, Kubernetes, Terraform, Linux
Palo Alto, California, United States · On-site
$200k–$400k/yr
What you'll do 1、Participate in the end-to-end R&D of the observability platform across all four pillars — Metrics, Logging, Tracing, and Profiling — building full-stack observability infrastructure capabilities. 2、Drive…
Skills: Java, Go, Distributed Systems, Observability, OpenTelemetry
Palo Alto, California, United States • On-site
Sign up with Clera and we'll reach out the moment a role actually fits you — no more spraying applications into the void.
You will design and implement the formal specification language and toolchain to ensure the rigor of AI-generated hardware artifacts. This involves building proof-obligation generators and establishing soundness arguments to verify production-grade silicon.
A PhD in Computer Science or a related field with a focus on formal methods is required, though exceptional BS/MS candidates with strong industrial experience will be considered. Candidates must demonstrate deep expertise in formal verification tools and possess strong software engineering skills to build production-grade infrastructure.
Architect is a frontier AI lab for custom silicon. We partner with frontier labs, clouds / neoclouds, physical AI companies, and advanced fabs to tape-out custom chips co-designed for next-generation AI workloads. Our goal is to compress end-to-end software to silicon timelines, and maximize intelligence per watt and per dollar for the world. We are a small exceptional team across silicon, systems, software and frontier AI. Our team have led research teams at nearly every frontier AI lab, and at some of the most complex SoCs in the world.
As a Founding Member of the Technical Staff - Formal Methods at Architect Labs, you'll work on the formal foundations of our chip design flow. You will own a critical layer of the stack that gives our system the rigor required to take AI-generated hardware artifacts into verified production-grade silicon. This is fundamental research applied directly to industry-grade chips, with tight feedback loops between theory and tape-out.
Design and implement the formal specification language and intermediate representation that sits at the heart of our flow, across hardware specifications, testbench, assertions and RTL.
Build the proof-obligation generator that emits checkable claims (entailment of assertions from spec, refinement of RTL from spec) and the toolchain that discharges them via SMT solvers, model checkers, and proof assistants as appropriate.
Establish the soundness arguments and coverage-adequacy methodology that let us claim, with evidence, that our generated artifacts faithfully characterize the spec.
Co-design with our verification methodology and ML research teams: your formal layer is the oracle the agent loop optimizes against, and the boundary between "provable" and "tested" is a decision you make and defend.
This is a hands-on, 0→1 role where you'll own the formal stack end-to-end: spec language, IR, proof obligations, solver integration, and the empirical evidence that the whole thing works on real blocks.
Qualifications & Skills:
Degree: PhD in Computer Science, EECS, or a closely related field, with a dissertation or equivalent body of work in formal methods applied to hardware or systems. Exceptional candidates with a BS/MS and a strong industrial track record in formal verification will be considered.
Formal Methods Depth: Deep expertise in at least two of: temporal logic and model checking, SMT-based verification, refinement-based specification, or proof assistants applied to hardware/distributed/concurrent/low-level systems.
Experience with formal frameworks or proof tools, such as TLA+, Lean, Coq, or similar.
Applied Track Record: A demonstrated history of applying formal methods to a real artifact that shipped not only published proofs.
Tool Pragmatism: Comfortable across the formal stack. You have used multiple tools and have opinions on when each is the right answer; you are not a single-tool maximalist.
Engineering Rigor: Strong software engineering skills. You can build the toolchain, not only specify it. Comfortable with compiler-style infrastructure and integrating formal tools into automated pipelines.
Execution: Fast-moving builder who can take a research-grade formal idea and turn it into a production component on a chip-design timeline. You ship.
Bonus:
Industrial formal verification experience at leading silicon companies, automated reasoning groups, or specialized formal methods firms.
Experience with design of HLS (High-Level Synthesis) tools.
Background in compiler/IR design or DSL implementation that real engineers used.
Publications at top formal methods, PL, or EDA venues (CAV, FMCAD, POPL, PLDI, TACAS, DAC, ICCAD, DVCon).
Familiarity with modern AI/ML systems and how learned components interact with formal guarantees — not required, but a plus.
Experience as an early technical hire at a deeptech or formal-methods startup.
Competitive salary and meaningful equity stake
Fast-paced startup with autonomy and visible impact
A foundational role at the intersection of formal methods, AI, and silicon
Based on 985 listings with disclosed salaries, most technology jobs in Palo Alto, CA pay between $110k–$262k per year. Individual offers vary with seniority, company size, and specialization.
There are currently 1,289 open technology positions in Palo Alto, CA listed on Clera. New openings are added daily as companies post roles.
Companies currently hiring include Rivian, SpaceX, Ford Motor Company, Amazon, Rivian and Volkswagen Group Technologies, among others. Browse the listings above to see every active employer.
Yes — 590 of the 1289 open technology positions offer remote or hybrid work (116 remote, 474 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.
