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 3 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
- ...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
$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...Suggested$147k - $210k
Author research papers to share and generate impact of research results... ...types of work. As a Research Scientist, you'll setup large-scale... ...natural language processing, hardware and software performance analysis... ...the world.The Google Cloud AI Research team addresses AI...Suggested$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- ...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
$176k - $253.5k
Los Altos, CAHuman-Centered AI - Human-Centered AI /Full-time /HybridAt Toyota Research Institute (TRI), we’re on a mission... ...are looking for an AI Research Scientist or Senior AI Scientist with... ...identifying potential inconsistencies or verification signals in application...Full timeTemporary workLocal areaShift work- ...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...
$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$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...
- A leading technology firm in California is seeking a passionate Research Scientist to advance next-generation AI hardware platforms. The role involves developing multimodal intelligence models, benchmarking innovative LLM architectures, and collaborating across teams to...
$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- ...-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...
$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- ...-generation computing experiences—from AI and data centers, to PCs, gaming and embedded... .... THE ROLE:We are hiring a Lead AI Research Scientist, Reinforcement Learning (LLM) and Post-... ...applied to demanding engineering and hardware-adjacent tasks (code, optimization, tool...
$117.2k - $313.7k
...Details About Salesforce Salesforce is the #1 AI CRM, where humans with agents drive customer success... ...of Salesforce. The Experience Salesforce AI Research is looking for outstanding AI Research Scientists and Research Engineers. Our team discovers new...Salesforce.Com Inc
Palo Alto, CA4 days ago- River AI is seeking exceptional researchers to design and train foundation models that power a personal AI platform. You will push the frontier of deep... ...learn, personalize, and run efficiently on local hardware. You will own the research lifecycle from ideation to scaling...Local area
- ...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
- A leading innovation laboratory in Santa Clara is seeking a Research Scientist for their Financial Innovation Lab. This role involves creating... ...with engineers to develop algorithms and conducting proof-of-concept studies. This position offers opportunities to solve...
Seeds Renewables
Santa Clara, CA1 day ago - A leading medical research institution is seeking a Research Scientist in Interpretability to lead initiatives at the intersection of AI and neuroscience. The ideal candidate will have a Ph.D. and experience in deep learning and will be responsible for guiding research...
$136k - $200k
Google is seeking a Research Scientist to drive innovative projects in computer science, particularly in generative AI and machine learning. The ideal candidate will contribute to both research and technology development, engaging with a collaborative team to solve real...$117.2k - $313.7k
About the Role Salesforce AI Research is seeking outstanding AI Research Scientists / Research Engineers to build and deploy high‑impact AI solutions at scale. The team focuses on AI‑driven products that serve Salesforce’s enterprise customers, and works in Palo Alto, CA...Full time- Google is seeking a Research Data Scientist for Ads Metrics to work onsite in Mountain View, CA. You will manage a portfolio of businesses, gaining deep insight into their marketing objectives and success metrics, and translate that understanding into data-driven advertising...
- Google DeepMind is seeking a Research Scientist to design and deploy large-scale experiments in speech, audio, and multilingual models. You will... ...approaches, cross-language support, and delivering practical AI advances across products, while contributing to the research community...
- Otter.ai based in Mountain View is seeking an experienced AI professional to join their core team. You will leverage your extensive NLP expertise to design and implement advanced models, driving innovative product development and improving conversational technologies....
- DeepMind seeks a Senior Research Scientist for Gemini Release Evaluations in Mountain View, CA. The role focuses on leading research, defining... ...leadership in research, and 1 year in data science, with strong AI model training and evaluation skills. #J-18808-Ljbffr Google
- DeepMind is seeking a Research Scientist to set up large-scale tests and deploy promising ideas quickly, managing deadlines while applying the latest theories to advance products and technologies. You will design experiments, prototype implementations, and explore architectures...Worldwide
- Yahoo Holdings Inc. is seeking a senior ML/AI research leader to design and deploy advanced ranking, personalization, and monetization models. You will lead experiments, build scalable pipelines on GCP, and mentor a team of researchers and engineers. The role emphasizes...Flexible hours
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
- scientist ii Palo Alto, CA
- scientist 1 Palo Alto, CA
- image scientist Palo Alto, CA
- qc scientist Palo Alto, CA
- research scientist Palo Alto, CA
- analytical scientist Palo Alto, CA
- research scientist - biology Palo Alto, CA
- genomics scientist Palo Alto, CA
- quality control scientist Palo Alto, CA
- applied scientist Palo Alto, CA