Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification…

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

…Engage deeply with technical detail across AI / ML, autonomy and embodied AI. Debate trade-offs credibly with senior researchers and engineers, and bring structured…

…engineers on safe, compliant adoption within delivery practices Preferred Qualifications, Capabilities, and Skills Formal training or certification in software engineering, AI/ML engineering, or…

…engineers on safe, compliant adoption within delivery practices Preferred Qualifications, Capabilities, and Skills Formal training or certification in software engineering, AI/ML engineering, or…

…Required qualifications, capabilities, and skills PhD in Computer Science, Engineering, or related fields with relevant research & work experience in AI/ML Research publications in…

…Experience with reliability engineering for AI-enabled or ML-serving systems, including monitoring non-deterministic behavior, building evaluation-driven alerts, and designing graceful degradation…

…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…

…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…

…The team brings together researchers across multi-agent systems, foundation model training, reinforcement and continual learning, multimodal document AI, formal reasoning, planning and verification…

…Experience with reliability engineering for AI-enabled or ML-serving systems, including monitoring non-deterministic behavior, building evaluation-driven alerts, and designing graceful degradation…

…Our platform combines neural networks with formal verification engines, enabling capabilities that neither approach achieves alone: AI that writes code and proves it's…

…ML infrastructure and CI/CD systems, enabling efficient model deployment, monitoring, and lifecycle management. - Partner cross-functionally with Data Science, AI, Product, and Engineering…

…Amazon Prime Air team! We're looking for an Applied Scientist who combines deep expertise in formal methods and software verification with a demonstrated…

…protocols AI/ML accelerator design verification Security and RAS feature verification System Power and Performance verification Experience with: Portable Stimulus (PSS) , Formal Verification , Emulation…

…Mentor engineers, drive design reviews, and raise the engineering quality bar across the team. Influence technical direction without formal authority. 6. Architecture & Strategy: Make…

…RDMA and HPC networking familiarity, including RoCEv2, InfiniBand, PFC, ECN, and lossless fabric design for AI/ML workloads. - Software Engineering Fundamentals: Software engineering fundamentals…

…AI/ML workload governance (where applicable) - AI agent architecture patterns: isolated execution environments, MCP policy enforcement, model artifact provenance - Partner with Sales Engineers and…