Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeOn-siteExperienced
Dresden
New Job?Nejo!
The AI Job Search Engine
HUHuawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Dresden
Full-timeOn-siteExperienced
Nejo AI Summary
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.
Requirements
- 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
Tasks
- 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
Work Experience
- approx. 1 - 4 years
Education
- Master's degree
Languages
- English – Business Fluent
Tools & Technologies
- C
- C++
- Rust
- compilers
- assembly (x86/Arm/RISC-V)
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
Benefits
Free or Subsidized Food
- Healthy meals in canteen
Learning & Development
- Broad range of training opportunities
- Language courses in German and Mandarin
Informal Culture
- Diverse and welcoming environment
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 Research Center Germany & Austria 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 Research Center Germany & Austria
Industrial PhD Student in Operating System(m/w/x)
Full-timeOn-siteNot specifiedDresden - Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
Intern - Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden
HUHuawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Dresden
Full-timeOn-siteExperienced
Nejo AI Summary
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.
Requirements
- 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
Tasks
- 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
Work Experience
- approx. 1 - 4 years
Education
- Master's degree
Languages
- English – Business Fluent
Tools & Technologies
- C
- C++
- Rust
- compilers
- assembly (x86/Arm/RISC-V)
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
Benefits
Free or Subsidized Food
- Healthy meals in canteen
Learning & Development
- Broad range of training opportunities
- Language courses in German and Mandarin
Informal Culture
- Diverse and welcoming environment
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 Research Center Germany & Austria 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 Research Center Germany & Austria
Industry
IT
Description
Huawei is a leading global information and communications technology (ICT) solutions provider, committed to developing the future information society.
Not a perfect match?
- Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeOn-siteExperiencedDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeWorking StudentOn-siteDresden - Huawei Research Center Germany & Austria
Industrial PhD Student in Operating System(m/w/x)
Full-timeOn-siteNot specifiedDresden - Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
Intern - Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden