Huawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-site
Dresden
New Job?Nejo!
The AI Job Search Engine
HU
HuaweiIntern - Formal Methods(m/w/x)
Dresden
Full-timeInternshipOn-site
Description
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.
Let AI find the perfect jobs for you!
Upload your CV and Nejo AI will find matching job offers for you.
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
Education
Currently in higher education
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
Tools & Technologies
CC++RustSpinUPPAALCoqIsabelleZ3TLA+
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 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 - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Internship in System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden
HU
HuaweiIntern - Formal Methods(m/w/x)
Dresden
Full-timeInternshipOn-site
New Job?Nejo!
The AI Job Search Engine
Description
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.
Let AI find the perfect jobs for you!
Upload your CV and Nejo AI will find matching job offers for you.
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
Education
Currently in higher education
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
Tools & Technologies
CC++RustSpinUPPAALCoqIsabelleZ3TLA+
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
Internship in Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - 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 - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Internship in System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden