Voltai Inc. is developing world models and agents to learn, evaluate, plan, and interact with the physical world. The team focuses on hardware, electronics systems, and semiconductors where AI can push beyond current cognitive limits.
This role advances formal verification, enabling proofs of design correctness through model checking, property verification, and equivalence analysis. Collaboration with RTL, verification, and ML teams will drive hybrid engines that verify AI-generated hardware at
#J-18808-LjbffrFormal Verification Research Scientist: AI-Hardware Proofs in palo alto at Unknown Company
This position is listed as full time and hybrid.