Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
VollzeitPraktikumnur vor Ort
Dresden
Neuer Job?Nejo!
Die KI-Suchmaschine für Jobs
HUHuawei
Intern - Formal Methods(m/w/x)
Dresden
VollzeitPraktikumVor Ort
Nejo KI-Zusammenfassung
Exploratory research on formal proof artifacts and verification tools for systems code. Fluency in systems programming language required. Healthy canteen meals, German and Mandarin courses.
Anforderungen
- Current Bachelor's or Master's Degree studies
- Fluency in systems programming language
- Understanding of multicore programming
- Excellent communication and teamwork skills
- Fluency in written and spoken English
- Experience with formal verification tools
- Desire to build high-assurance systems
Aufgaben
- Work on exploratory research projects under guidance
- Design algorithms and develop verification tools
- Improve the performance of key systems
- Deliver high-quality, maintainable systems code
- Create formal proof artifacts
- Participate in team brainstorming and discussions
- Report and present work in a professional setting
Ausbildung
- Laufendes Studium
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
Benefits
Lockere Unternehmenskultur
- Innovative culture and team spirit
- Diverse and welcoming environment
Weiterbildungsangebote
- Global knowledge exchange
- Broad training opportunities
- German and Mandarin courses
Gratis oder Vergünstigte Mahlzeiten
- Healthy canteen meals
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 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 Research Center Germany & Austria
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden
HUHuawei
Intern - Formal Methods(m/w/x)
Dresden
VollzeitPraktikumVor Ort
Nejo KI-Zusammenfassung
Exploratory research on formal proof artifacts and verification tools for systems code. Fluency in systems programming language required. Healthy canteen meals, German and Mandarin courses.
Anforderungen
- Current Bachelor's or Master's Degree studies
- Fluency in systems programming language
- Understanding of multicore programming
- Excellent communication and teamwork skills
- Fluency in written and spoken English
- Experience with formal verification tools
- Desire to build high-assurance systems
Aufgaben
- Work on exploratory research projects under guidance
- Design algorithms and develop verification tools
- Improve the performance of key systems
- Deliver high-quality, maintainable systems code
- Create formal proof artifacts
- Participate in team brainstorming and discussions
- Report and present work in a professional setting
Ausbildung
- Laufendes Studium
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
Benefits
Lockere Unternehmenskultur
- Innovative culture and team spirit
- Diverse and welcoming environment
Weiterbildungsangebote
- Global knowledge exchange
- Broad training opportunities
- German and Mandarin courses
Gratis oder Vergünstigte Mahlzeiten
- Healthy canteen meals
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 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
Branche
IT
Beschreibung
The company is a leading global information and communications technology (ICT) solutions provider.
Noch nicht perfekt?
- Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei
PhD Student - Formal Verification(m/w/x)
VollzeitWerkstudentnur vor OrtDresden - Huawei Research Center Germany & Austria
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei
Intern - System Software Research(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden