Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-site
Dresden
New Job?Nejo!
The AI Job Search Engine
Exploratory research on formal proof artifacts and verification tools for systems code. Fluency in systems programming language required. Healthy canteen meals, German and Mandarin courses.
Requirements
- Current Bachelor's or Master's Degree studies
- Fluency in systems programming language
- Understanding of multicore programming
- Excellent communication and teamwork skills
- Fluency in written and spoken English
- Experience with formal verification tools
- Desire to build high-assurance systems
Tasks
- Work on exploratory research projects under guidance
- Design algorithms and develop verification tools
- Improve the performance of key systems
- Deliver high-quality, maintainable systems code
- Create formal proof artifacts
- Participate in team brainstorming and discussions
- Report and present work in a professional setting
Education
- Currently in higher education
Languages
- English – Business Fluent
Tools & Technologies
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
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 Research Center Germany & Austria
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeOn-siteExperiencedDresden
Exploratory research on formal proof artifacts and verification tools for systems code. Fluency in systems programming language required. Healthy canteen meals, German and Mandarin courses.
Requirements
- Current Bachelor's or Master's Degree studies
- Fluency in systems programming language
- Understanding of multicore programming
- Excellent communication and teamwork skills
- Fluency in written and spoken English
- Experience with formal verification tools
- Desire to build high-assurance systems
Tasks
- Work on exploratory research projects under guidance
- Design algorithms and develop verification tools
- Improve the performance of key systems
- Deliver high-quality, maintainable systems code
- Create formal proof artifacts
- Participate in team brainstorming and discussions
- Report and present work in a professional setting
Education
- Currently in higher education
Languages
- English – Business Fluent
Tools & Technologies
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
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
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeWorking StudentOn-siteDresden - Huawei Research Center Germany & Austria
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei
PhD Student - Formal Verification(m/w/x)
Full-timeOn-siteExperiencedDresden