Intern - Formal MethodsHilbert Research Center·Huawei Hilbert Research Center (Dresden)

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 recruitment privacy statement via the link below.

http://career.huawei.com/reccampportal/portal/hrd/weu_rec_all.html

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.

• 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.

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 197,000 employees, Huawei is committed to develop the future information society and build a Better Connected World.

Department

Hilbert Research Center

Locations

Huawei Hilbert Research Center (Dresden)

Loading application form