PhD Internship in AI, Formal Methods, and Automated Reasoning at Huawei Ireland Research Centre Huawei Ireland Research Centre in Ireland

Huawei Ireland Research Centre is seeking passionate PhD students for internship positions in AI, formal methods, automated reasoning, logic, and related fields. The opportunity is based in Dublin, Ireland, within the Cloud Reliability Lab, focusing on AI Infrastructure Verification and Automated Reasoning for Cloud Policies and Configurations. Interns will join a high-impact team recognized for innovation and outstanding contributions, working on the formal verification and correctness of AI infrastructure systems that power Huawei Cloud’s AI services.

Key research areas include distributed AI inference serving, intelligent resource allocation, request routing correctness, and ensuring robust behavior of complex AI serving systems. Interns will apply rigorous mathematical techniques such as model checking, theorem proving, SMT, and deductive verification using tools like Isabelle/HOL, TLA+, and others. Responsibilities involve modeling and verifying distributed protocols, analyzing safety properties, developing automated verification workflows, and collaborating with engineers to translate system requirements into formal specifications.

Applicants must be currently pursuing a PhD in Computer Science, Automated Reasoning, Logic, Formal Verification, or a related discipline. Required skills include strong programming abilities (Rust, Go, C++, Java, Python), experience with formal verification tools, and excellent problem-solving and communication skills. Knowledge of AI/ML inference serving architecture, distributed systems, and previous work on correctness of critical systems are advantageous.

The internship offers hands-on experience with applied formal methods, exposure to state-of-the-art AI serving infrastructure, and opportunities to contribute to academic publications. Interns will collaborate with teams across Europe and China, gaining valuable skills in rigorous engineering and formal reasoning. Funding details are not specified, but the position is paid and provides significant professional development.

To apply, candidates should contact Claudia Cauli via LinkedIn or use the official Huawei career portal. Please review the privacy notice before submitting personal data. The application window is for Spring 2026, with a deadline of August 1, 2026.