Intern in Formal Verification (m/f/d)

Huawei is a leading global information and communications technology (ICT) solutions provider. Driven by a commitment to operations, ongoing innovation, and open collaboration, we have established a competitive ICT portfolio of end-to-end solutions in Telecom and enterprise networks, Devices and Cloud technology and services. 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.

Huawei’s Dresden Research Center is responsible for advanced technical research, architecture evolution design and strategic technical planning in next generation of OS. We are researching on system resource modeling and online optimization, OS and runtime support for a new ISA, weak memory issues of migrating applications across different multicore architectures, automated and scalable formal verification techniques etc.

Now we are looking for:

Intern in Formal Verification (m/f/d)

Responsibilities

• Work on industry-relevant projects using formal methods, for example:
  • help design and implement verification infrastructure for software and hardware
  • design, implement, and formally verify concurrent algorithms
  • optimize and verify systems-level code in kernel and userspace

          and many other exciting topics!

• Integrate into the DRC research roadmap the requirements of Huawei products in terms of performance, scalability, and reliability
• Brainstorm in team discussions, present designs and results, helping the teams to make the solutions a reality

Requirements

• Working towards a Bachelor's or Master's Degree in Computer Science or in a similar field
• Fluency in one of these languages C, C++, Rust, Go, Python
• Good understanding of multicore programming and its challenges such as performance, scalability, and correctness
• Knowledge of formal verification tools for model checking and theorem proving such as Spin, UPPAAL, Coq, Isabelle, Z3, etc.
• Excellent communication skills and the ability to work in multicultural and distributed teams
• Fluency in written and spoken English

If you are enthusiastic in shaping Huawei’s Dresden Research Center together with a multicultural team of highly skilled Engineers and Researchers, feel free to contact us. Driving future technologies focused on the customer experience is our main mission. Apply now!

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

By applying to this position, you agree with our Recruitment Privacy Statement. You can read in full our privacy policy via the link: http://career.huawei.com/reccampportal/portal/hrd/weu_rec_all.html