Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Vollzeitnur vor OrtBerufserfahren
Dresden
Neuer Job?Nejo!
Die KI-Suchmaschine für Jobs
HU
HuaweiPhD Student - Formal Verification(m/w/x)
Dresden
VollzeitWerkstudentVor Ort
Beschreibung
In this role, you will bridge the gap between formal methods theory and industrial application, conducting high-impact research while developing verification tools for internal projects.
Lass KI die perfekten Jobs für dich finden!
Lade deinen CV hoch und die Nejo-KI findet passende Stellenangebote für dich.
Anforderungen
- •Master Degree in Computer Science or related disciplines
- •Familiarity with C, C++, or Rust
- •Understanding of multicore programming and challenges
- •Understanding of OS technologies and system software
- •Excellent communication and multicultural teamwork skills
- •Fluency in written and spoken English
- •Experience with compilers and assembly
- •Experience with systems, concurrency, and weak-memory models
- •Knowledge of formal verification tools
- •Publications in formal verification and programming theory
- •Experience in formal verification research or projects
Ausbildung
Master-Abschluss
Aufgaben
- •Explore research in formal methods theory and industry practice
- •Propose and investigate promising new research directions
- •Master academic and industry reporting and writing styles
- •Solve challenging research problems with significant impact
- •Present work at top-tier conferences and to internal stakeholders
- •Apply formal methods to industrial projects
- •Contribute to practitioner-ready verification tools
Tools & Technologien
CC++Rustx86ArmRISC-VSpinUPPAALCoqIsabelleZ3
Sprachen
Englisch – verhandlungssicher
Benefits
Weiterbildungsangebote
- •Global network knowledge exchange
- •Broad training opportunities
- •Online and face-to-face training
- •German and Mandarin courses
Gratis oder Vergünstigte Mahlzeiten
- •Healthy canteen meals
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 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
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 - Huawei
Industrial PhD Student in System Software Research(m/w/x)
Vollzeitnur vor OrtKeine AngabeDresden
Jobs in der Nähe entdecken
HU
HuaweiPhD Student - Formal Verification(m/w/x)
Dresden
VollzeitWerkstudentVor Ort
Neuer Job?Nejo!
Die KI-Suchmaschine für Jobs
Beschreibung
In this role, you will bridge the gap between formal methods theory and industrial application, conducting high-impact research while developing verification tools for internal projects.
Lass KI die perfekten Jobs für dich finden!
Lade deinen CV hoch und die Nejo-KI findet passende Stellenangebote für dich.
Anforderungen
- •Master Degree in Computer Science or related disciplines
- •Familiarity with C, C++, or Rust
- •Understanding of multicore programming and challenges
- •Understanding of OS technologies and system software
- •Excellent communication and multicultural teamwork skills
- •Fluency in written and spoken English
- •Experience with compilers and assembly
- •Experience with systems, concurrency, and weak-memory models
- •Knowledge of formal verification tools
- •Publications in formal verification and programming theory
- •Experience in formal verification research or projects
Ausbildung
Master-Abschluss
Aufgaben
- •Explore research in formal methods theory and industry practice
- •Propose and investigate promising new research directions
- •Master academic and industry reporting and writing styles
- •Solve challenging research problems with significant impact
- •Present work at top-tier conferences and to internal stakeholders
- •Apply formal methods to industrial projects
- •Contribute to practitioner-ready verification tools
Tools & Technologien
CC++Rustx86ArmRISC-VSpinUPPAALCoqIsabelleZ3
Sprachen
Englisch – verhandlungssicher
Benefits
Weiterbildungsangebote
- •Global network knowledge exchange
- •Broad training opportunities
- •Online and face-to-face training
- •German and Mandarin courses
Gratis oder Vergünstigte Mahlzeiten
- •Healthy canteen meals
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 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
Formal Verification PhD Student(m/w/x)
Vollzeitnur vor OrtBerufserfahrenDresden - 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 - Huawei
Industrial PhD Student in System Software Research(m/w/x)
Vollzeitnur vor OrtKeine AngabeDresden