> Markdown version of [/jobs/ext/2693622-ai-ml-engineer](https://www.wearedevelopers.com/jobs/ext/2693622-ai-ml-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # AI/ML Engineer - **Company:** Apple Inc. - **Location:** Austin, TX, United States - **Experience:** Experienced - **Salary:** $184,700.0 - **Contract:** Permanent contract - **Skills:** Artificial Intelligence, Code Generation, Software Debugging, Electronic Design Automation, Formal Verification, Hardware Design, Python (Programming Language), Machine Learning, Software Construction, SystemVerilog, Application Enhancement Tool, Pytorch, Large Language Models, Prompt Engineering, Information Technology, HuggingFace, Formal Methods, Machine Learning Operations, Hardware Infrastructure, Api Design, Software Version Control - **Published:** September 3, 2026 - **Apply:** https://www.themuse.com/jobs/apple/formal-verification-aiml-engineer-5ac173 ## About the Role Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models (LLMs) - including prompt engineering, fine-tuning, RAG architectures, agentic systems, or LLM-based tool chains. Demonstrated ability to take AI capabilities from prototype to production - you have shipped or deployed AI-powered tools or applications, not just trained models., Proficiency in Python and modern ML/AI frameworks and tooling (e.g., PyTorch, LangChain, LlamaIndex, Hugging Face, or similar). Background in formal methods, mathematical logic, or a strong mathematical foundation - whether through academic training (e.g., formal methods, type theory, automated reasoning, mathematical logic) or applied experience. You don't need to be an FV expert, but a quantitative and rigorous mindset is essential. Genuine interest in domain-specific AI applications - you are excited about going deep into a specialized engineering domain rather than building general-purpose AI products. Software engineering best practices - version control, testing, API design, and building maintainable, collaborative codebases. Excellent communication and interpersonal skills - you will work across disciplines with FV engineers, design engineers, and tooling teams. Self-directed and comfortable with ambiguity - you will need to identify opportunities, propose solutions, and drive them forward. Experience working on or contributing to LLM tooling, frameworks, or infrastructure (e.g., inference engines, model serving, evaluation harnesses). Prior exposure to hardware design or verification concepts (RTL, SystemVerilog, assertions, EDA tools). Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving. Experience with code generation or analysis tasks using LLMs. MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though exceptional industry experience is equally valued., A minimum of a bachelor's degree in relevant field and a minimum of 10 years of relevant industry experience. ## Description Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore, prototype, and build AI-powered systems - with a focus on Large Language Models - to augment and transform how formal verification is performed on Apple Silicon. You will work closely with formal verification engineers, design engineers, and EDA tool developers to identify high-impact opportunities and deliver practical, domain-specific AI applications. Description You will be responsible for: Building domain-specific AI applications that leverage LLMs and other ML techniques to accelerate formal verification workflows - from specification interpretation to property generation, proof debugging, and beyond. Developing and fine-tuning LLM-based systems tailored to hardware verification tasks, including retrieval-augmented generation (RAG) pipelines, agentic tool-use frameworks, and domain-adapted models. Collaborating with formal verification engineers to deeply understand FV methodologies, pain points, and opportunities where AI can meaningfully improve productivity, quality, and coverage. Prototyping novel AI-driven approaches for tasks such as automatic SVA property synthesis, natural-language-to-formal-specification translation, proof strategy recommendation, and intelligent counterexample analysis. Evaluating and integrating emerging AI/ML research into practical, production-quality tools and workflows used by the FV team. Establishing best practices and infrastructure for AI application development within the FV organization. ## Related Videos - [API Design - Getting Started](https://www.wearedevelopers.com/videos/33-api-design-getting-started) - [Photonic Computing: Programming a New Class of AI Accelerators (incl. Live Coding)](https://www.wearedevelopers.com/videos/100196-photonic-computing-programming-a-new-class-of-ai-accelerators-incl-live-coding) - [You are not an AI developer](https://www.wearedevelopers.com/videos/1148-you-are-not-an-ai-developer) - [Serverless deployment of (large) NLP models ](https://www.wearedevelopers.com/videos/158-serverless-deployment-of-large-nlp-models) - [How AI Models Get Smarter](https://www.wearedevelopers.com/videos/1374-how-ai-models-get-smarter) - [Rest API Antipatterns](https://www.wearedevelopers.com/videos/100208-rest-api-antipatterns) ## Related Articles - [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer) - [What Are Large Language Models?](https://www.wearedevelopers.com/magazine/304-what-are-large-language-models) - [MLOps And AI Driven Development](https://www.wearedevelopers.com/magazine/82-mlops-and-ai-driven-development) - [Navigating the AI Shift](https://www.wearedevelopers.com/magazine/629-navigating-the-ai-shift) - [MLOps – What’s the deal behind it?](https://www.wearedevelopers.com/magazine/125-mlops-what-s-the-deal-behind-it) - [What is Software Engineering in the Age of AI?](https://www.wearedevelopers.com/magazine/640-what-is-software-engineering-in-the-age-of-ai)