Huawei
Intern - Formal Methods(m/w/x)
VollzeitPraktikumnur vor Ort
Dresden
Neuer Job?Nejo!
Die KI-Suchmaschine für Jobs
HUHuawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Dresden
VollzeitPraktikumVor Ort
Nejo KI-Zusammenfassung
Developing verification tools and systems code for formal methods research in ICT. Fluency in a systems programming language (C, C++, Rust) required. Healthy canteen meals, German and Mandarin language courses.
Anforderungen
- Bachelor's or Master's Degree in Computer Science or related field
- Fluency in at least one systems programming language (C, C++, Rust)
- Good understanding of multicore programming challenges
- Excellent communication skills
- Fluency in written and spoken English
- Hands-on experience with formal verification tools (Spin, UPPAAL, Coq, Isabelle, Z3, TLA+)
- Strong desire to learn about high-assurance systems
Aufgaben
- Gain experience on exploratory projects
- Contribute to algorithm design
- Develop verification tools
- Improve performance of key systems
- Deliver high-quality systems code
- Create formal proof artifacts
- Participate in team discussions
- Engage in brainstorming sessions
- Report and present work effectively
Ausbildung
- Laufendes Studium
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
Benefits
Gratis oder Vergünstigte Mahlzeiten
- Healthy meals in company canteen
Weiterbildungsangebote
- Broad range of training opportunities
- Language courses in German and Mandarin
Abwechslungsreiche Aufgaben
- Diverse and welcoming environment
Sinnstiftende Arbeit
- Self-responsible work
Die Originalanzeige dieses Stellenangebotes in der aktuellsten Version findest du hier. Nejo hat diesen Job automatisch von der Website des Unternehmens Huawei Research Center Germany & Austria erfasst und die Informationen auf Nejo mit Hilfe von KI für dich aufbereitet. Trotz sorgfältiger Analyse können einzelne Informationen unvollständig oder ungenau sein. Bitte prüfe immer alle Angaben in der Originalanzeige! Inhalte und Urheberrechte der Originalanzeige liegen beim ausschreibenden Unternehmen.
Noch nicht perfekt?
- Huawei
PhD Student - Formal Verification(m/w/x)
VollzeitWerkstudentnur vor OrtDresden - Huawei
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei Research Center Germany & Austria
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden
HUHuawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Dresden
VollzeitPraktikumVor Ort
Nejo KI-Zusammenfassung
Developing verification tools and systems code for formal methods research in ICT. Fluency in a systems programming language (C, C++, Rust) required. Healthy canteen meals, German and Mandarin language courses.
Anforderungen
- Bachelor's or Master's Degree in Computer Science or related field
- Fluency in at least one systems programming language (C, C++, Rust)
- Good understanding of multicore programming challenges
- Excellent communication skills
- Fluency in written and spoken English
- Hands-on experience with formal verification tools (Spin, UPPAAL, Coq, Isabelle, Z3, TLA+)
- Strong desire to learn about high-assurance systems
Aufgaben
- Gain experience on exploratory projects
- Contribute to algorithm design
- Develop verification tools
- Improve performance of key systems
- Deliver high-quality systems code
- Create formal proof artifacts
- Participate in team discussions
- Engage in brainstorming sessions
- Report and present work effectively
Ausbildung
- Laufendes Studium
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
Benefits
Gratis oder Vergünstigte Mahlzeiten
- Healthy meals in company canteen
Weiterbildungsangebote
- Broad range of training opportunities
- Language courses in German and Mandarin
Abwechslungsreiche Aufgaben
- Diverse and welcoming environment
Sinnstiftende Arbeit
- Self-responsible work
Die Originalanzeige dieses Stellenangebotes in der aktuellsten Version findest du hier. Nejo hat diesen Job automatisch von der Website des Unternehmens Huawei Research Center Germany & Austria erfasst und die Informationen auf Nejo mit Hilfe von KI für dich aufbereitet. Trotz sorgfältiger Analyse können einzelne Informationen unvollständig oder ungenau sein. Bitte prüfe immer alle Angaben in der Originalanzeige! Inhalte und Urheberrechte der Originalanzeige liegen beim ausschreibenden Unternehmen.
Über das Unternehmen
Huawei Research Center Germany & Austria
Branche
IT
Beschreibung
Huawei is a leading global information and communications technology (ICT) solutions provider, committed to developing the future information society.
Noch nicht perfekt?
- Huawei
Intern - Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei
PhD Student - Formal Verification(m/w/x)
VollzeitWerkstudentnur vor OrtDresden - Huawei
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei Research Center Germany & Austria
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden