Research Engineer, Formal Methods
Harmonic · Palo Alto, CA · Manufacturing and hardware engineering · posted 78 days ago

Real, live private-sector job listings — taken straight from the employers' own career pages
Harmonic · Palo Alto, CA · posted 187 days ago
By AtiveSite · Published 07/11/2026 · Updated 10/11/2026 · Every figure is linked to its source below.
| Employer | Harmonic |
|---|---|
| Location | Palo Alto, California |
| Field | Technology › Data, analytics and AI |
| Level | not stated |
| Source category | Engineering, Engineering |
| Posted | 2026-05-07 (187 days ago) |
| Work arrangement | On-site at the location listed |
| Pay | Not published in the source listing |
At Harmonic, we believe the future of AI depends on proof. Most AI makes its best guess. Aristotle uses formal methods and reinforcement learning to check its own reasoning and results.
AI agents can write software in seconds, but edge cases and silent bugs still get through. We're building the verification engine to find them before code ships. With support for C and Verilog, Aristotle is built for the hardware and software where failure is expensive.
Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.
Try Aristotle for yourself here!
We are looking for a pragmatic, Software Engineer to own the productionization of our research pipelines. This is an implementation-heavy role designed for an engineer who can take a nascent research idea and build the robust, scalable machinery required to prove it at scale within our cloud infrastructure.
Pipeline Engineering: Build and manage end-to-end ML pipelines (ETL and automated evaluation) that are the bedrock of our RL research.
Bottleneck Resolution: Identify and refactor inefficient research code. You act as the primary engineer ensuring that a promising idea reaches its full potential through scalable code.
Standardization: Establish best practices for versioning, experiment tracking, and CI/CD for ML models to ensure reliability.
Cloud Infrastructure & Observability: Manage the deployment and scaling of workloads on Kubernetes. Implement the tooling and telemetry that allows the team to understand agent behavior and training health at a glance.
BS in Computer Science, a related technical field, or equivalent industry experience
2+ years of relevant industry experience
Expert-level Python skills and a disciplined approach to software engineering (testing, versioning, and modular design).
Experience building and managing end-to-end ML pipelines in a production or research-intensive environment.
Full-stack ML experience: Comfortable moving from data engineering to model debugging.
Experience refactoring research-grade code into high-quality, scalable production packages.
Proven ability to design and implement complex data-loading and evaluation systems for non-deterministic models.
Experience with workflow orchestration tools (e.g., Kubeflow, Airflow, or Metaflow).
Experience managing large-scale experiments on cloud providers (AWS, GCP, or Azure).
Proven track record collaborating directly with researchers to translate algorithmic requirements into engineering roadmaps.
Hands-on experience with containerization (Docker) and orchestration (Kubernetes).
Unlimited PTO
401(k) matching
100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.
Health Savings Account (HSA) available for qualifying health plans
Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.
Field: Technology Sub-niche: Data, analytics and AI All jobs at Harmonic Jobs in California Jobs in Palo Alto, CA Palo Alto city guide California state guide Santa Clara County economy
View this job and apply on the employer's page →
You apply on the employer's page; AtiveSite does not receive or process applications and is not affiliated with the employer. The description above is shown as the source published it.
This is a — role in the Technology field (Data, analytics and AI) at Harmonic.
We could not match this job title to one occupation in the official wage statistics, so no pay estimate is shown. Pay is not in the source listing; ask the employer for the range and compare in the 240 job niches.
Estimate for a wage earner: 2026 federal brackets and standard deduction (IRS), Social Security 6.2% up to $184,500, Medicare 1.45% (+0.9% above $200,000 single / $250,000 married), and a state rate you set; set your own state tax rate. It ignores credits, pre-tax deductions, local taxes and benefits. Sources: IRS: tax year 2026 inflation adjustments · SSA wage base per Federal Register notice 2025-19763.
This is editorial guidance, not information from the employer.
Know your rights as a candidate and an employee:
The job is in Palo Alto, CA. Below is what the official statistics say about living and working there.
How Palo Alto compares. Among the 145 largest places in California, Palo Alto is #122 by population, #4 for college degrees (#1 = most), #139 for rent (#1 = cheapest), #7 for household income (#1 = highest). Its county, Santa Clara County, is #1 of 58 counties for average pay ($197,043).
Palo Alto has 67,237 residents (ACS 2020–2024), about 0.2% of the population of California. It covers 24 square miles of land, which works out to roughly 2,796 people per square mile. The median age is 43.6, 15% older than the state median (43.6 against 37.9).
The median gross rent is $3,484 a month (rent plus utilities), 71% above the state median ($3,484 against $2,036). Over a year that is 18.1% of the median household income. US housing guidance treats housing as affordable when it takes 30% of income or less, so the typical household is under that line. The median home value is above $2 million (the ACS reports $2,000,001 as its highest value, so the true median is higher), which is at least 8.7 times the median household income ($231,101); a ratio above 5 usually means buying is out of reach without savings or a second income. 54.6% of households own their home, about the same as the state average (54.6% against 55.9%).
The San Jose-Sunnyvale-Santa Clara, CA metropolitan area has 1,134,970 jobs in the BLS wage survey, and the median pay across all occupations is $84,050 a year, 65% above the national median ($84,050 against $50,980). The biggest occupation groups are computer and mathematical (149,970 jobs, median $186,320); management (115,110 jobs, median $210,750); business and financial operations (94,210 jobs, median $125,240). The area is most specialised in computer and mathematical (3.9 times) and architecture and engineering (2.5 times), where the share of workers is well above the national share. The best-paying groups with at least 5,000 jobs are management ($210,750) and legal ($195,190). In 2026M09 the unemployment rate of Santa Clara County was 4.2%. 62.3% of residents aged 16 and over are in the labour force. The city lies in Santa Clara County; its jobs, pay by industry and GDP are on the county page.
Among workers, 44.2% drive alone, 2.0% use public transit, 4.6% walk, 35.4% work from home. 8.2% of workers commute 45 minutes or more, 58% below the state average (8.2% against 19.4%). Remote work is more common than in the state as a whole, which widens the set of employers a resident can work for without moving.
82.3% of adults aged 25 and over hold a bachelor's degree or higher, 122% above the state share (82.3% against 37.1%). 37.0% of residents were born outside the United States, 37% above the state share (37.0% against 27.0%). The poverty rate is 6.0%, 50% below the state rate (6.0% against 12.0%).
The warmest month is Aug, averaging 68°F (19.8°C), and the coolest is Jan at 47°F (8.3°C). About 510 mm (20 inches) of precipitation falls in a year; Dec is the wettest month (114 mm) and Jul the driest (0 mm). These values come from NASA satellite-based climatology on a grid of about 50 km, so they describe the wider area, not a weather station in the city.
Closest cities in this guide: Los Altos Hills (2 miles, similar rent); Los Altos (3 miles, similar rent); Mountain View (4 miles, rent 12% lower); East Palo Alto (5 miles, rent 36% lower). Rent differences are against Palo Alto; use the Compare tab to put any two cities side by side.
Full guide to Palo Alto →California guideAll jobs in Palo Alto
These links go to official sources and open in a new window. The first one is the government's or company's own site as listed in Wikidata (property "official website"); check it before relying on it.
Places within 50 miles (straight line) of Palo Alto, CA that have a guide, with what living there costs. No pay estimate is shown because the title did not match one occupation.
| Place ⇅ | Distance from the job city ⇅ | Median rent ⇅ | Median home value ⇅ | Median household income ⇅ | Commute 45+ min ⇅ | Rent as % of occupation pay ⇅ | Open jobs there ⇅ |
|---|---|---|---|---|---|---|---|
| Palo Alto, CA | 0 mi | $3,484 | $2,000,001 | $231,101 | 8.2% | n/a | Jobs |
| Los Altos Hills, CA | 2 mi | $3,501 | $2,000,001 | $250,001 | 18.0% | n/a | — |
| Los Altos, CA | 3 mi | $3,501 | $2,000,001 | $250,001 | 8.3% | n/a | — |
| Mountain View, CA | 4 mi | $3,062 | $1,927,000 | $189,917 | 9.3% | n/a | Jobs |
| East Palo Alto, CA | 5 mi | $2,244 | $1,102,600 | $113,493 | 9.7% | n/a | — |
| Atherton, CA | 5 mi | $3,501 | $2,000,001 | $250,001 | 7.0% | n/a | — |
| Menlo Park, CA | 6 mi | $3,239 | $2,000,001 | $210,025 | 11.5% | n/a | Jobs |
| Sunnyvale, CA | 6 mi | $3,039 | $1,801,800 | $186,170 | 9.0% | n/a | Jobs |
| Cupertino, CA | 8 mi | $3,501 | $2,000,001 | $234,707 | 9.1% | n/a | Jobs |
| Redwood City, CA | 9 mi | $2,968 | $1,801,700 | $157,814 | 10.2% | n/a | Jobs |
| Newark, CA | 10 mi | $2,776 | $1,142,800 | $169,064 | 22.2% | n/a | Jobs |
| San Carlos, CA | 10 mi | $2,854 | $2,000,001 | $237,470 | 14.9% | n/a | Jobs |
| Santa Clara, CA | 10 mi | $3,016 | $1,582,600 | $178,958 | 8.9% | n/a | Jobs |
| Saratoga, CA | 11 mi | $3,501 | $2,000,001 | $250,001 | 8.3% | n/a | — |
| Belmont, CA | 12 mi | $2,875 | $2,000,001 | $205,297 | 18.6% | n/a | Jobs |
| Fremont, CA | 13 mi | $2,933 | $1,403,800 | $181,506 | 23.6% | n/a | Jobs |
| Foster City, CA | 13 mi | $3,501 | $1,838,200 | $199,143 | 20.6% | n/a | Jobs |
| Campbell, CA | 13 mi | $2,737 | $1,617,000 | $145,268 | 10.4% | n/a | Jobs |
| Milpitas, CA | 14 mi | $3,120 | $1,251,700 | $178,798 | 15.2% | n/a | Jobs |
| San Mateo, CA | 15 mi | $3,077 | $1,618,700 | $153,504 | 15.8% | n/a | Jobs |
We could not match this title to one occupation, so here are the other sub-niches in Technology, where your skills may carry over:
Cybersecurity (760) Software engineering (4655) Cloud, IT and infrastructure (1161) Product management (935)
How far Palo Alto, CA is from the 20 largest US cities, in straight-line miles (not driving distance). Click a column to sort.
| From ⇅ | Straight-line distance (miles) ⇅ | Population of that city ⇅ |
|---|---|---|
| San Jose, CA | 19 mi | 990,138 |
| San Francisco, CA | 54 mi | 830,235 |
| Los Angeles, CA | 313 mi | 3,857,263 |
| San Diego, CA | 425 mi | 1,389,526 |
| Phoenix, AZ | 624 mi | 1,642,323 |
| Seattle, WA | 706 mi | 754,195 |
| Denver, CO | 945 mi | 718,877 |
| Oklahoma City, OK | 1,372 mi | 697,125 |
| Fort Worth, TX | 1,433 mi | 963,194 |
| San Antonio, TX | 1,463 mi | 1,479,835 |
| Dallas, TX | 1,465 mi | 1,307,930 |
| Austin, TX | 1,478 mi | 979,539 |
| Houston, TX | 1,621 mi | 2,328,253 |
| Chicago, IL | 1,847 mi | 2,711,226 |
| Indianapolis, IN | 1,938 mi | 885,860 |
| Columbus, OH | 2,102 mi | 914,802 |
| Charlotte, NC | 2,287 mi | 903,844 |
| Jacksonville, FL | 2,355 mi | 977,670 |
| Philadelphia, PA | 2,512 mi | 1,579,706 |
| New York, NY | 2,565 mi | 8,483,844 |
| City ⇅ | Straight-line distance ⇅ | Open jobs ⇅ |
|---|---|---|
| Sunnyvale, CA | 6 mi | 185 |
| Redwood City, CA | 9 mi | 47 |
| Belmont, CA | 12 mi | 2 |
| Fremont, CA | 13 mi | 8 |
| Campbell, CA | 13 mi | 7 |
| Milpitas, CA | 14 mi | 15 |
| San Jose, CA | 19 mi | 898 |
| Pleasanton, CA | 24 mi | 7 |
| Alameda, CA | 25 mi | 37 |
| Capitola, CA | 31 mi | 1 |
| San Francisco, CA | 54 mi | 3,425 |
| Sacramento, CA | 89 mi | 56 |
Harmonic is the employer in this listing. See all its open jobs here →
We do not hold headcount or revenue for this employer. Check its careers site and, if it is listed on a stock exchange, its public filings (SEC EDGAR search).
What it is like to work at a company (culture, schedules, benefits) is not in the source data, so we do not describe it. Read the description and ask the questions under "How to prepare".
Harmonic · Palo Alto, CA · Manufacturing and hardware engineering · posted 78 days ago
Harmonic · Palo Alto, CA · Manufacturing and hardware engineering · posted 89 days ago
Harmonic · Palo Alto, CA · Manufacturing and hardware engineering · posted 187 days ago
Harmonic · Palo Alto, CA · Other roles · posted 488 days ago
Harmonic · Palo Alto, CA · Manufacturing and hardware engineering · posted 488 days ago
Harmonic · Palo Alto, CA · Software engineering · posted 804 days ago
Pika · Palo Alto, CA · Data, analytics and AI · posted today
OpenAI · San Francisco, CA · Data, analytics and AI · posted yesterday
Cohere · San Francisco, CA · Data, analytics and AI · posted yesterday
Waymo · Mountain View, CA · Data, analytics and AI · posted yesterday
Riot Games · Los Angeles, CA · Data, analytics and AI · posted yesterday
Pika · Palo Alto, CA · Data, analytics and AI · posted today
Nubank · Palo Alto, CA · Design and UX · posted yesterday
Salesforce · Palo Alto, CA · Entry Level · Data, analytics and AI · posted 3 days ago
JPMorgan Chase · Palo Alto, CA · Senior Level · Data, analytics and AI · posted 3 days ago
SpaceX · Palo Alto, CA · Senior Level · Data, analytics and AI · posted 3 days ago
All Data, analytics and AI jobs → · All Technology sub-niches →
A private-sector role in technology (data, analytics and ai) listed 187 days ago. The full description is on this page and on the employer's page.
Palo Alto, CA.
Use the "View this job and apply on the employer's page" button. AtiveSite does not receive applications.
The listing does not publish pay, and we could not match the title to one official occupation.
Median rent in Palo Alto is $3,484 a month and median household income $231,101 (ACS 2020–2024).
It was posted on 2026-05-07 (187 days ago). Jobs older than 90 days are not shown.
Yes: browse data, analytics and ai jobs in California.
AtiveSite is not affiliated with or endorsed by the employer or any government agency, and does not process applications. Verify every detail with the employer before acting.