Huawei
PhD Student - Formal Verification(m/w/x)
VollzeitWerkstudentnur vor Ort
Dresden
Neuer Job?Nejo!
Die KI-Suchmaschine für Jobs
HUHuawei
PhD Student - Formal Verification(m/w/x)
Dresden
VollzeitVor OrtBerufserfahren
Nejo KI-Zusammenfassung
Researching formal verification theory and practice for ICT solutions at global ICT provider. Understanding of multicore programming and OS technologies required. Healthy canteen meals, German and Mandarin courses.
Anforderungen
- Master Degree in Computer Science or related disciplines
- Familiarity with C, C++, or Rust
- Understanding of multicore programming and challenges
- Understanding of mainstream OS technologies and system software
- Excellent communication and multicultural teamwork skills
- Fluency in written and spoken English
- Experience with compilers or assembly (x86/Arm/RISC-V) (Advantageous)
- Experience with systems, concurrency, or weak-memory models (Advantageous)
- Knowledge of formal verification tools (Advantageous)
- Publications in formal verification or programming theory (Advantageous)
- Experience in formal verification research or projects (Advantageous)
Aufgaben
- Explore formal methods theory and practice
- Investigate new research directions and questions
- Master academic and industry writing styles
- Solve challenging research problems independently
- Present work to conferences and stakeholders
- Apply formal methods to industrial projects
- Contribute to practitioner-ready verification tools
Berufserfahrung
- ca. 1 - 4 Jahre
Ausbildung
- Master-Abschluss
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- C++
- Rust
- x86
- Arm
- RISC-V
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
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 Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden - Huawei
Intern - Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei Research Center Germany & Austria
Industrial PhD Student in Operating System(m/w/x)
Vollzeitnur vor OrtKeine AngabeDresden - Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden
HUHuawei
PhD Student - Formal Verification(m/w/x)
Dresden
VollzeitVor OrtBerufserfahren
Nejo KI-Zusammenfassung
Researching formal verification theory and practice for ICT solutions at global ICT provider. Understanding of multicore programming and OS technologies required. Healthy canteen meals, German and Mandarin courses.
Anforderungen
- Master Degree in Computer Science or related disciplines
- Familiarity with C, C++, or Rust
- Understanding of multicore programming and challenges
- Understanding of mainstream OS technologies and system software
- Excellent communication and multicultural teamwork skills
- Fluency in written and spoken English
- Experience with compilers or assembly (x86/Arm/RISC-V) (Advantageous)
- Experience with systems, concurrency, or weak-memory models (Advantageous)
- Knowledge of formal verification tools (Advantageous)
- Publications in formal verification or programming theory (Advantageous)
- Experience in formal verification research or projects (Advantageous)
Aufgaben
- Explore formal methods theory and practice
- Investigate new research directions and questions
- Master academic and industry writing styles
- Solve challenging research problems independently
- Present work to conferences and stakeholders
- Apply formal methods to industrial projects
- Contribute to practitioner-ready verification tools
Berufserfahrung
- ca. 1 - 4 Jahre
Ausbildung
- Master-Abschluss
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- C++
- Rust
- x86
- Arm
- RISC-V
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
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
PhD Student - Formal Verification(m/w/x)
VollzeitWerkstudentnur vor OrtDresden - Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden - Huawei
Intern - Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden - Huawei Research Center Germany & Austria
Industrial PhD Student in Operating System(m/w/x)
Vollzeitnur vor OrtKeine AngabeDresden - Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden