Description
Apple's Hardware Technologies Formal Verification team is hiring an AI/ML Engineer to develop and deploy LLM-based systems that accelerate formal verification workflows on Apple Silicon. The role involves building applications for specification interpretation, property generation, proof debugging, and other verification tasks; fine-tuning and deploying domain-adapted models; prototyping AI-driven approaches; integrating research into production tools; and establishing AI application development practices. The position requires a bachelor's degree in a relevant field and at least 10 years of relevant industry experience, with strong AI/ML, Python, formal methods, and software engineering capabilities preferred.
