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 ...

About Voltai · Voltai is developing world models, and agents to learn, evaluate, plan, experiment, and interact with the physical world. We are starting out with understanding and building hardware; electronics systems and semiconductors where AI can design and create beyond huma ...

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 ...

We are seeking an experienced Verification Engineer to develop test plans build verification environments and ensure functional correctness of complex hardware IPs and SoCs. · Develop and execute test plans for block-level IP-level and SoC-level verification. · Builddocumentsveri ...

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

+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 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 argumen ...

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 ...

Who we are · At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactive ...

Who we are · At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactive ...

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're revolutionizing software development with AI-powered formal verification by providing mathematical guarantees of code correctness. · ...

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 ...

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 ...

Position Overview · We are seeking a skilled Design Verification Engineer to drive functional verification of complex ASIC/RTL designs across the full verification lifecycle. The ideal candidate will have strong expertise in SystemVerilog, UVM methodology, and protocol-level veri ...

+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 ...