Formal Verification Engineer
Get 5 more jobs like this every week
Formal Verification Engineer · Palo Alto, United States
Free. Unsubscribe in one click.
About this role
ABOUT HARMONIC At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean 4 and reinforcement learning to verify its reasoning and results. Following our Gold Medal-level performan
This is a short preview. Read the full description on Ashby before you apply.
- Engineering
Get new jobs like these by email
Free. Unsubscribe in one click.
Learn AI for this job, first module free
A short, hands-on course on using AI in this kind of work.
Similar jobs in United States
- Sr. Electrical Engineer, InverterLucid Motors · King Abdullah Economic City, 02 · Full-time
- Vice President Contracts, Engineered SystemsParsons · US, Remote, Any, Location · Full-time
- Supplier Quality Engineer (SQE)ALTEN Technology USA · Toledo, Ohio, United States · Full-time
- Vehicle Quality AnalystALTEN Technology USA · Toledo, Ohio, United States · Full-time
- Supplier Quality Launch EngineerALTEN Technology USA · Toledo, Ohio, United States · Full-time
- Incident Response EngineerSnowflake · US-CA-Bay Area-Remote · Full-time
- Capgemini Invent- Digital Engineering - ConsultantCapgemini Invent · Chicago, Dallas, Atlanta, Seattle · Full-time
- Digital Engineering/PLM- Senior ManagerCapgemini Invent · Chicago, New York, Dallas, San Francisco, Atlanta, Seattle · Full-time
- Director / Sr. Director - Digital Engineeringfrog · Chicago, Seattle, New York, San Francisco, Atlanta, Dallas · Full-time
- Analog Layout EngineerCapgemini Engineering · San Francisco, Santa Clara · Full-time
- Ataccama_Data Gov & Catalog EngineerCapgemini · Mission, Nashville, Needham, New York, Omaha, Pittsburg, San Francisco, Santa Clara, Seattle, Southfield, Tampa, Temple Terrace, Tysons Corner, Westerville, Alabama City, Atlanta, Austin, Bellevue, Be · Full-time
- Google - Knowledge Catalog -EngineerCapgemini · Alabama City, Atlanta, Austin, Bellevue, Berwyn, Bridgewater, Brooklyn, Burlington, Chicago, Cincinnati, Columbia, Creve Coeur, Dallas, Dayton - Sogeti US, Guaynabo, Houston, Irving, Mclean, Minneapol · Full-time