Intern - Formal Methods

At Huawei's Hilbert Research Center in Dresden, our mission is to explore programming models, operating system and virtualization technologies on multicore heterogeneous architectures and NVM/SCM platforms, aiming to provide a high-performance, reliable abstraction layer for efficient resource utilization.

Collaborating with top universities and industry partners, we turn research into real-world impact—published at elite conferences (ASPLOS, OSDI) and deployed across Huawei’s global products.

Join our diverse, fast-growing team of 40+ experts from 10+ countries and shape the future of technology in Dresden.

Intern - Formal Methods (m/f/d)

This internship is designed to provide you with first-hand industry experience in a thriving research center focused on systems and formal methods. You will have the opportunity to learn from and work alongside world‑class researchers and engineers.

Your mission

• Gaining experience by working under guidance on exploratory and promising projects.
• Contributing to areas such as algorithm design, verification tool development, or improving the performance of key systems.
• Learning to deliver high-quality, maintainable systems code or formal proof artifacts.
• Participating in team discussions and brainstorming sessions to help bring innovative solutions to reality.
• Developing professional skills in reporting and presenting your work effectively in a company setting.

Your areas of expertise

• Currently pursuing a Bachelor's or Master's Degree in Computer Science or a related field.
• Fluency in at least one systems programming language (e.g., C, C++, Rust).
• Good understanding of multicore programming and its challenges (performance, scalability, correctness).
• Excellent communication skills and the ability to work effectively in multicultural, distributed teams.
• Fluency in written and spoken English.

Preferred Qualifications

• Hands‑on experience or academic exposure to formal verification tools for model checking or theorem proving (e.g., Spin, UPPAAL, Coq, Isabelle, Z3, TLA+, etc.).
• A strong desire to learn how to build and verify high‑assurance, performant systems.

Benefits

• Our culture is characterized by innovative power and team spirit as well as the intensive exchange of knowledge and experience within our global network.
• We offer healthy meals ranging from traditional Chinese to western delicacies in our famous company canteen.
• To keep your development ongoing, you will find a broad range of training opportunities. Many online and face‑to‑face training programs incl. language courses in German and Mandarin.
• Our diverse and welcoming environment is shaped by different backgrounds and around 40 individual nationalities.
• Self‑responsible work in a competent, motivated and constantly growing team.