Huawei
PhD Student - Formal Verification(m/w/x)
Vollzeitnur vor OrtBerufserfahren
Dresden
Neuer Job?Nejo!
Die KI-Suchmaschine für Jobs
HUHuawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Dresden
VollzeitVor OrtBerufserfahren
Nejo KI-Zusammenfassung
Developing formal verification techniques for advanced communication technology solutions at a global provider. Master's in Computer Science and multicore programming understanding essential. Healthy meals in canteen, German/Mandarin language courses.
Anforderungen
- Completed Master Degree in Computer Science or related disciplines
- Familiarity with C, C++, or Rust
- Good understanding of multicore programming challenges
- Good understanding of mainstream OS technologies and system software
- Excellent communication skills and ability to work in multicultural teams
- Fluency in written and spoken English
- Experience with compilers, assembly (x86/Arm/RISC-V)
- Experience with systems, concurrency, weak-memory models
- Knowledge of formal verification tools for model checking and theorem proving
- Publications in formal verification and programming languages
- Experience in scientific research projects related to formal verification
Aufgaben
- Explore research in formal methods theory
- Propose and investigate new research directions
- Master academic and industry reporting styles
- Independently solve challenging research problems
- Present work at top-tier academic conferences
- 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
- compilers
- assembly (x86/Arm/RISC-V)
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
Benefits
Gratis oder Vergünstigte Mahlzeiten
- Healthy meals in canteen
Weiterbildungsangebote
- Broad range of training opportunities
- Language courses in German and Mandarin
Lockere Unternehmenskultur
- 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 Research Center Germany & Austria
Internship in 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
Intern - Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden
HUHuawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Dresden
VollzeitVor OrtBerufserfahren
Nejo KI-Zusammenfassung
Developing formal verification techniques for advanced communication technology solutions at a global provider. Master's in Computer Science and multicore programming understanding essential. Healthy meals in canteen, German/Mandarin language courses.
Anforderungen
- Completed Master Degree in Computer Science or related disciplines
- Familiarity with C, C++, or Rust
- Good understanding of multicore programming challenges
- Good understanding of mainstream OS technologies and system software
- Excellent communication skills and ability to work in multicultural teams
- Fluency in written and spoken English
- Experience with compilers, assembly (x86/Arm/RISC-V)
- Experience with systems, concurrency, weak-memory models
- Knowledge of formal verification tools for model checking and theorem proving
- Publications in formal verification and programming languages
- Experience in scientific research projects related to formal verification
Aufgaben
- Explore research in formal methods theory
- Propose and investigate new research directions
- Master academic and industry reporting styles
- Independently solve challenging research problems
- Present work at top-tier academic conferences
- 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
- compilers
- assembly (x86/Arm/RISC-V)
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
Benefits
Gratis oder Vergünstigte Mahlzeiten
- Healthy meals in canteen
Weiterbildungsangebote
- Broad range of training opportunities
- Language courses in German and Mandarin
Lockere Unternehmenskultur
- 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
PhD Student - Formal Verification(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden - Huawei
PhD Student - Formal Verification(m/w/x)
VollzeitWerkstudentnur vor OrtDresden - Huawei Research Center Germany & Austria
Internship in 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
Intern - Formal Methods(m/w/x)
VollzeitPraktikumnur vor OrtDresden