Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Full-timeOn-siteExperienced
Dresden
New Job?Nejo!
The AI Job Search Engine
HU
HuaweiPhD Student - Formal Verification(m/w/x)
Dresden
Full-timeOn-siteExperienced
Description
In this role, you will bridge the gap between theory and practice by conducting high-impact research and developing verification tools that solve complex industrial challenges.
Let AI find the perfect jobs for you!
Upload your CV and Nejo AI will find matching job offers for you.
Requirements
- •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)
Education
Master's degree
Work Experience
approx. 1 - 4 years
Tasks
- •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
Tools & Technologies
CC++Rustx86ArmRISC-VSpinUPPAALCoqIsabelleZ3
Languages
English – Business Fluent
Benefits
Informal Culture
- •Innovative culture and team spirit
- •Diverse and welcoming environment
Learning & Development
- •Global knowledge exchange
- •Broad training opportunities
- •German and Mandarin courses
Free or Subsidized Food
- •Healthy canteen meals
Purpose-Driven Work
- •Self-responsible work
Find the original job posting in its most current version here. Nejo automatically captured this job from the website of Huawei and processed the information on Nejo with the help of AI for you. Despite careful analysis, some information may be incomplete or inaccurate. Please always verify all details in the original posting! Content and copyrights of the original posting belong to the advertising company.
Not a perfect match?
- Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeWorking StudentOn-siteDresden - Huawei
Intern - Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Industrial PhD Student in Operating System(m/w/x)
Full-timeOn-siteNot specifiedDresden
HU
HuaweiPhD Student - Formal Verification(m/w/x)
Dresden
Full-timeOn-siteExperienced
New Job?Nejo!
The AI Job Search Engine
Description
In this role, you will bridge the gap between theory and practice by conducting high-impact research and developing verification tools that solve complex industrial challenges.
Let AI find the perfect jobs for you!
Upload your CV and Nejo AI will find matching job offers for you.
Requirements
- •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)
Education
Master's degree
Work Experience
approx. 1 - 4 years
Tasks
- •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
Tools & Technologies
CC++Rustx86ArmRISC-VSpinUPPAALCoqIsabelleZ3
Languages
English – Business Fluent
Benefits
Informal Culture
- •Innovative culture and team spirit
- •Diverse and welcoming environment
Learning & Development
- •Global knowledge exchange
- •Broad training opportunities
- •German and Mandarin courses
Free or Subsidized Food
- •Healthy canteen meals
Purpose-Driven Work
- •Self-responsible work
Find the original job posting in its most current version here. Nejo automatically captured this job from the website of Huawei and processed the information on Nejo with the help of AI for you. Despite careful analysis, some information may be incomplete or inaccurate. Please always verify all details in the original posting! Content and copyrights of the original posting belong to the advertising company.
About the Company
Huawei
Industry
IT
Description
The company is a leading global information and communications technology (ICT) solutions provider.
Not a perfect match?
- Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Full-timeOn-siteExperiencedDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeWorking StudentOn-siteDresden - Huawei
Intern - Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Industrial PhD Student in Operating System(m/w/x)
Full-timeOn-siteNot specifiedDresden