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 488 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 | Engineering, Construction and Energy › Manufacturing and hardware engineering |
| Level | not stated |
| Source category | Engineering, Engineering |
| Posted | 2025-07-10 (488 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 seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. The successful candidate will play a key role in advancing verifiable reasoning by developing new algorithms, models, and RL techniques.
Conduct high-quality research in the intersection of RL and formal methods, with a focus on mathematical theorem proving.
Develop and implement novel RL algorithms and models for theorem proving.
Collaborate with a multidisciplinary team to integrate RL techniques with formal methods.
Stay abreast of the latest developments in RL, formal methods, and related fields.
BS or MS in Computer Science, Mathematics a related technical field, or equivalent industry experience
Strong programming skills in Python, with experience in software development and testing.
Experience in deep learning frameworks such as PyTorch
Strong understanding of mathematical concepts, including algebra, geometry, and analysis.
PhD in Computer Science, Mathematics, or a related field.
Experience in applying AI to solve practical problems in formal methods.
Proven track record of high-quality research demonstrated by publications, patents, or software contributions.
Contributions to open-source projects or development of software tools in the field.
Strong background in RL, particularly in areas relevant to theorem proving (e.g., machine learning, natural language processing).
Proficiency in formal methods, including experience with theorem proving systems.
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: Engineering, Construction and Energy Sub-niche: Manufacturing and hardware engineering 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 Engineering, Construction and Energy field (Manufacturing and hardware engineering) 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 Engineering, Construction and Energy, where your skills may carry over:
Construction and field engineering (462) Energy and utilities (625)
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 · Data, analytics and AI · posted 187 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 · Software engineering · posted 804 days ago
Crusoe · Sunnyvale, CA · Manufacturing and hardware engineering · posted today
OpenAI · San Francisco, CA · Manufacturing and hardware engineering · posted today
Divergent · Torrance, CA · Manufacturing and hardware engineering · posted yesterday
Sentry · San Francisco, CA · Manufacturing and hardware engineering · posted yesterday
Vast · Long Beach, CA · Manufacturing and hardware engineering · posted yesterday
Vast · Long Beach, CA · Manufacturing and hardware engineering · posted yesterday
Vast · Long Beach, CA · Manufacturing and hardware engineering · 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 Manufacturing and hardware engineering jobs → · All Engineering, Construction and Energy sub-niches →
A private-sector role in engineering, construction and energy (manufacturing and hardware engineering) listed 488 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 2025-07-10 (488 days ago). Jobs older than 90 days are not shown.
Yes: browse manufacturing and hardware engineering 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.