Formal Verification Research Scientist: AI-Hardware Proofs
Voltai Inc.
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-Ljbffr Voltai Inc.
Vacancy posted 5 days ago
Similar jobs that could be interesting for youBased on the Formal Verification Research Scientist: AI-Hardware Proofs in Palo Alto, CA vacancy
- Voltai in California (Palo Alto) seeks a senior formal verification researcher to develop new methods for formal proofs of design correctness. You will collaborate with RTL, verification, and ML teams to scale AI-hardware verification, prototype ideas on real RTL, and turn...Suggested
- ...understanding and building hardware; electronics systems and semiconductors where AI can design and create... ...Stanford professors, SAIL researchers, Olympiad medalists (... ...role, you’ll develop new formal verification methods to enable formal proofs of design correctness using...Suggested
Voltai
Palo Alto, CA15 days ago - ...generation computing experiences—from AI and data centers, to PCs, gaming and... ...career. THE ROLE:We are hiring a AI Research Scientist, Hardware AI Systems, to develop AI systems that... ...representation learning across flows (RTL, verification, physical design), and learning under...SuggestedShift work
- NVIDIA Research seeks a world-class new college grad PhD researcher to drive groundbreaking work at the intersection of AI HW/SW Co-Design, AI Hardware Accelerator Architecture, IC Design Methodology, and VLSI Design. The role spans ML fundamentals, quantization, digital...Suggested
$174k - $252k
...long-term applied research agenda to overcome... ...data generation, verification methods/environments... ...areas: agentic AI (planning, tool use... ...automated program repair, formal methods, or... ...work. As a Research Scientist, you'll setup... ...language processing, hardware and software performance...Suggested$174k - $252k
Conduct AI research and development in the field of health technology, primarily focusing... ...specific types of work. As a Research Scientist, you'll setup large-scale tests and deploy... ...mining, natural language processing, hardware and software performance analysis, improving...- ...computing experiences—from AI and data centers, to PCs, gaming... ...ROLE:We are hiring an AI Research Scientist, Recursive Self Improvement,... ...training signals, curricula, or verification—always under explicit... ...default but constructive: you formalize assumptions, bound autonomy,...Shift work
$190k - $250k
...developed an artificial intelligence (AI) powered technology stack purpose-built... ...autonomous trucks. We are looking for a research scientist to lead the design and development of world... ...for such positions may hinge on verification of a candidate’s residence, U.S. person...Temporary workWork at officeVisa sponsorship$175k - $250k
...scientific contributions in AI, neural computation, and embodied... ...sits at the frontier of AI research, and we believe the highest-... ...Role We are hiring a Research Scientist to advance the learning... ...across models, environments, and hardware Scientific rigor in experimental...Visa sponsorshipFlexible hours$151.8k - $218.21k
...capabilities development, as well as research impact via open-source... ...for a driven research scientist with a strong background encompassing... ...the next generation of AI-powered capable robots together... ...conducting research on physical hardware platforms. Strong proficiency...- Senior Research Scientist, Google Cloud AI Research Mid Experience driving progress, solving problems, and mentoring more junior team members; deeper... ...) learning, data mining, natural language processing, hardware and software performance analysis, improving compilers for...
- ...redefining the future of chip design and verification with agentic AI workflows. Our platform leverages... ...Position Overview We are seeking Research Scientists with deep expertise in AI and... ...production‑ready tools used by leading hardware companies. Key Responsibilities Conduct...
- ...Purpose Job Description Systems Verification Scientist III Overview Waters... ...analysis tools that support research, drug discovery, biopharmaceutical... ...methods, strategies, and formal verification protocols. Analyze... ...’s receipt of sufficient proof that you are fully vaccinated...Hourly payWork at officeRemote workWorldwideShift work
$174k - $252k
...chip. One or more published research paper or presentation at a relevant... ...including RTL, synthesis, verification, timing closure, place-and-... ...About The Job As a Research Scientist, your primary focus will be designing... ...computations. Google Quantum AI's mission is to build this...Temporary work- Advanced Micro Devices in Santa Clara is looking for a Lead AI Research Scientist to develop AI systems applicable across various hardware contexts. The role entails researching and analyzing learning methodologies while collaborating closely with experts. The preferred...
- Google Research is recruiting a Research Scientist to set up large-scale tests, deploy promising ideas, and manage deadlines while applying cutting-edge... ...technologies. The role spans machine learning, data mining, NLP, hardware/software performance, and compiler improvements for...Worldwide
$151.8k - $210k
...safer driving experience. Under the Driving‑Sensei concept, we research AI-based interactions to unlock a person’s full driving... ...on designing user studies, implementing prototype software and hardware, conducting user studies, analyzing data, and reporting findings...Work at office$147k - $210k
...models to advance autonomous AI systems.Design and deliver vertical... ...agents to accelerate researcher velocity and automate end-to-... ...types of work. As a Research Scientist, you'll setup large-scale tests... ...natural language processing, hardware and software performance analysis...$117.2k - $313.7k
...DetailsAbout SalesforceSalesforce is the #1 AI CRM, where humans with agents drive... ...of Salesforce.The ExperienceSalesforce AI Research is a global leader in Enterprise AI, driving... ...are looking for entrepreneurial Research Scientists who want to build, ship, and scale the...Full timeWorldwide$200k - $300k
Research Scientist / Engineer: Planning and Control Mountain View, CA (On-site) Full-time About The... ...our systems entirely from scratch - hardware, firmware, low-level controllers, simulators... ...physical equations. Proficiency in AI-assisted coding (e.g., Claude, Codex) to...Full timeRelocation- ...-generation computing experiences—from AI and data centers, to PCs, gaming and embedded... ...ROLE:We are hiring Forward Deployed AI Research Scientist to help bring advanced AI capabilities... ...AI researchers, software engineers, hardware engineers, executives, and partner...
- ...healthcare and scientific discovery to powering AI and the technologies people rely on... ...career.THE ROLE:We are hiring a AI Research Scientist, Reinforcement Learning (LLM) and Post-... ...applied to demanding engineering and hardware-adjacent tasks (code, optimization, tool...
$192k - $304.75k
...approach to accelerated computing. We're looking for a passionate AI research scientist with deep quantum computing expertise to path-find the... ...models for specific quantum error-correcting codes and hardware platforms, while collaborating with multi-functional teams...Full time- ...Machine Learning Research Scientist At Autoscience Institute, we create AI systems that autonomously conduct AI research. Recently, we announced the first AI... ...contributions are encouraged to apply regardless of formal degree. Research: Publishing in top-tier AI/ML...Full timeFlexible hours
Autoscience Institute
Menlo Park, CA3 days ago $150.4k - $277.6k
...United States Machine Learning and AI The Video Computer Vision... ...Apple products. We are an applied research group, we push the state of... ...in AI, ML, Software, and Hardware to tackle fundamental challenges... ...products and free services, and for formal education related to advancing...Relocation- ...Description The candidate will be performing hands-on research on high-assurance connect car system assurance using formal methods and design by contract concepts.... ...formal contract languages; Automatic formal verification; Runtime verification and runtime monitoring...Contract workLocal area
$50 - $54 per hour
...Job Description Job Title: Systems Verification Scientist III Job Id: 26-04364 Location: Milpitas... ...cell analysis tools that support research, drug discovery, biopharmaceutical production... ...execute test methods, strategies, and formal verification protocols. Analyze and...Hourly payContract workLocal areaSunrise Systems Inc
Milpitas, CA6 days ago- ...About Us: We are looking for an exceptional Research Scientist to develop next-generation AI technologies, focusing on user representation learning, semantic understanding, and generative AI applications. You will conduct applied research that advances representation...Full timeInternshipLocal area
Predactiv
Palo Alto, CAa month ago $168k - $252k
Snap Research serves as an innovation engine for the company. Their projects range from solutions... ...express themselves. The team consists of scientists and engineers who experiment with and... ...Scientist to join our Generative AI effort at Creative Vision. Our mission is...Local areaShift work- Google DeepMind Frontier Health is seeking a Research Scientist to advance foundational biomedical intelligence by building physiological world models and agentic decision systems that simulate disease progression and treatment responses across critical care, oncology,...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Research Scientist: AI-Hardware Proofs. Be the first to apply!
Related searches
- materials scientist Palo Alto, CA
- scientist assay development Palo Alto, CA
- health scientist Palo Alto, CA
- quality control scientist Palo Alto, CA
- deep learning scientist Palo Alto, CA
- application scientist Palo Alto, CA
- decision scientist Palo Alto, CA
- scientist 1 Palo Alto, CA
- lab scientist Palo Alto, CA
- scientist Palo Alto, CA