Ontology Engineer — Formal Verification - San Francisco

A stealth-mode AI lab is looking for a Formal Verification & Automated Reasoning Engineer to join a small, highly technical team working on physical superintelligence. · ...

A stealth-mode AI lab is looking for a Formal Verification & Automated Reasoning Engineer. The engineer will apply formal methods to advanced AI systems that interact with physical environments. · ...

We're building AI systems with general physical ability — the capacity to experiment, engineer, or manufacture anything. We believe achieving this is a key step towards building superintelligence. · Strong experience in ontology engineering or knowledge representation. · Ability ...

A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. · This role focuses on translating informal mathematical proofs into formal machine-verifiable formats using Lean and other proof systems. · Candidates should have a Master's de ...

+A leading AI partner is looking for Mathematical Formalization Specialist to join their remote team. · +Candidates should have a Master's degree in Mathematics or related field and strong background in rigorous proof construction and verification. · ...

We are seeking an experienced Verification Engineer to develop test plans ensure functional correctness of complex hardware IPs SoCs. · ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. · This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argum ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages—especially Lean. · This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argum ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languages especially Lean. · We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization ...

We are seeking a mathematician with deep training in rigorous proof construction and hands-on experience with formal proof languagesespecially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human-written mathematical argument ...

We are seeking highly skilled and motivated Senior / Staff Digital Verification Engineers with a strong background in CMOS digital design and verification to take ownership of the functional correctness of high-speed, real-time data-processing silicon—from early algorithm modelli ...

We are seeking highly skilled and motivated Senior / Staff Digital Verification Engineers with a strong background in CMOS digital design and verification to take ownership of the functional correctness of high-speed, · real-time data-processing silicon— · from early algorithm mo ...

We are seeking highly skilled and motivated Senior / Staff Digital Verification Engineers with a strong background in CMOS digital design and verificationThe ideal candidate brings deep expertise in digital verification methodologies,a solid understanding of hardware architecture ...

Senior Hardware Verification Engineer for semiconductor IP company in Santa Clara CA building next-generation interconnect and fabric technology. · ...

+Job summary · About OLIX: AI is growing faster than any technology in history and the explosion in demand has created a massive infrastructure gap; we can no longer build chips or power stations fast enough to keep up. The industry is still leaning on a ten-year-old hardware blu ...

We are seeking highly skilled and motivated Senior / Staff Digital Verification Engineers with a strong background in CMOS digital design and verification. · ...

Job summary · SoC Verification Engineer at Scaledge.We partner with leading technology companies to deliver expertise across SoC verification. · ...

+Job summary · A SOC Verification Engineer will be responsible for pre-silicon RTL verification of block and top-level SOC.+BS with 3+ years relevant experience. · Experience in HVL and HDL (System Verilog, Verilog). · +The base pay range for this role is between $139,500 and $25 ...

We are looking for a SOC Verification Engineer to join our team. The engineer will be responsible for pre-silicon RTL verification of block and top-level SOC. ...

Do you love working on challenges that no one has solved yet and changing the game? We have an opportunity for an outstandingly hardworking design verification engineer. · ...