Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-site
Dresden
New Job?Nejo!
The AI Job Search Engine
You will collaborate with world-class researchers on exploratory projects, where you'll develop systems code and formal proofs while contributing to innovative solutions in a thriving research center.
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
CC++RustSpinUPPAALCoqIsabelleZ3TLA+
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
Intern - System Software Research(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
PhD Student - Formal Verification(m/w/x)
Full-timeOn-siteExperiencedDresden
You will collaborate with world-class researchers on exploratory projects, where you'll develop systems code and formal proofs while contributing to innovative solutions in a thriving research center.
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
CC++RustSpinUPPAALCoqIsabelleZ3TLA+
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
Intern - System Software Research(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
PhD Student - Formal Verification(m/w/x)
Full-timeOn-siteExperiencedDresden