Jobs
Indexed directly from employers. Every age is their own publish date.
Indexed directly from employers. Every age is their own publish date.
Indexed directly from employers. Every age is their own publish date.
Searching titles and descriptions for “Formal Verification - AI/ML Engineer”. A match may be a passing mention rather than the job itself. Titles only.
8 roles across 9 listings · show every listing
…Experience in DevOps, developer tools, observability, AI and ML, or related technology ecosystems. A strategic, data-informed approach to prioritization, budget allocation, and operating…
…design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems…
…Experience with modern ML frameworks such as JAX or PyTorch. Experience in one or more of the following areas: agentic AI (planning, tool use…
…PCIe, Ethernet, and HBM or DDR AI and ML workload acceleration techniques, and dataflow or reconfigurable architectures Formal property checking applied to design intent…
…Experience of working on AI/Machine Learning (ML) SoCs preferred In depth knowledge of verification and debug principles, testbenches, Universal Verification Methodology (UVM) or…
…Applied AI/ML: Demonstrated experience applying AI/ML — including modern LLM-based approaches — to real production problems, from prototype through delivery. Telemetry & big data…
…AI/ML, with higher performance and lower energy consumption. They are organized into several key areas, including architecture & algorithms, design & micro-architecture, design verification…
…Principal Design Verification Engineer to own verification for our next-generation RDU, the reconfigurable dataflow silicon behind our machine learning and AI systems. This…