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.

By applying to this position, you agree with our Recruitment Privacy Statement. You can read in full our privacy policy here.

Your rewards of working here

• Our culture is characterized by innovative power and team spirit as well as the intensive exchange of knowledge and experience within our global network.
• 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.

Please send your application and CV (incl. cover letter and reference letters) in English.

Huawei is a leading global information and communications technology (ICT) solutions provider. Our ICT solutions, products and services are used in more than 170 countries and regions, serving over one-third of the world's population. With 208,000 employees, Huawei is committed to develop the future information society and build a Better Connected World.