How do I apply for the Intern - Formal Methods position at Huawei Austria and track my application?

We provide a direct link to the official application portal. You can apply directly here . Additionally, you can easily track this and other applications by clicking the bookmark icon to save it to your YGI Kanban board .

What are the working arrangements and expected duration for the Intern - Formal Methods role?

This position is a not disclosed, structured as a not disclosed role, with an expected duration of 1 months.

What educational background or degree level is required for the Intern - Formal Methods at Huawei Austria?

Candidates are generally expected to be holding or pursuing the following degree levels: Bachelor, Master.

Does Huawei Austria provide visa sponsorship or assistance for international applicants?

Regarding visa assistance and sponsorship for this role, the official status is currently listed as: Not disclosed.

Intern - Formal Methods

Huawei Austria

Found 2 months ago

Location

Dresden, Germany

Duration (Months)

1 Months

Time

Not disclosed

Work Mode

Not disclosed

Salary

Not disclosed

Visa Help

Not disclosed

Last Verified

1 month ago

Education

Bachelor
Master

Skills & Qualifications

Technical Skills

C
C++
Rust
multicore programming

Soft Skills

Excellent communication skills
ability to work effectively in multicultural, distributed teams.

Job Description

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.

Requirements

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.

Software Engineering

Low Level System Software

Languages

English

Nice to Haves

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.

Apply Now

8Open Positions