Huawei
Intern - Formal Methods(m/w/x)
Full-timeInternshipOn-site
Dresden
New Job?Nejo!
The AI Job Search Engine
HUHuawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Dresden
Full-timeInternshipOn-site
Nejo AI Summary
Developing verification tools and systems code for formal methods research in ICT. Fluency in a systems programming language (C, C++, Rust) required. Healthy canteen meals, German and Mandarin language courses.
Requirements
- Bachelor's or Master's Degree in Computer Science or related field
- Fluency in at least one systems programming language (C, C++, Rust)
- Good understanding of multicore programming challenges
- Excellent communication skills
- Fluency in written and spoken English
- Hands-on experience with formal verification tools (Spin, UPPAAL, Coq, Isabelle, Z3, TLA+)
- Strong desire to learn about high-assurance systems
Tasks
- Gain experience on exploratory projects
- Contribute to algorithm design
- Develop verification tools
- Improve performance of key systems
- Deliver high-quality systems code
- Create formal proof artifacts
- Participate in team discussions
- Engage in brainstorming sessions
- Report and present work effectively
Education
- Currently in higher education
Languages
- English – Business Fluent
Tools & Technologies
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
Benefits
Free or Subsidized Food
- Healthy meals in company canteen
Learning & Development
- Broad range of training opportunities
- Language courses in German and Mandarin
Diverse Work
- 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
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Full-timeOn-siteExperiencedDresden
HUHuawei Research Center Germany & Austria
Internship in Formal Methods(m/w/x)
Dresden
Full-timeInternshipOn-site
Nejo AI Summary
Developing verification tools and systems code for formal methods research in ICT. Fluency in a systems programming language (C, C++, Rust) required. Healthy canteen meals, German and Mandarin language courses.
Requirements
- Bachelor's or Master's Degree in Computer Science or related field
- Fluency in at least one systems programming language (C, C++, Rust)
- Good understanding of multicore programming challenges
- Excellent communication skills
- Fluency in written and spoken English
- Hands-on experience with formal verification tools (Spin, UPPAAL, Coq, Isabelle, Z3, TLA+)
- Strong desire to learn about high-assurance systems
Tasks
- Gain experience on exploratory projects
- Contribute to algorithm design
- Develop verification tools
- Improve performance of key systems
- Deliver high-quality systems code
- Create formal proof artifacts
- Participate in team discussions
- Engage in brainstorming sessions
- Report and present work effectively
Education
- Currently in higher education
Languages
- English – Business Fluent
Tools & Technologies
- C
- C++
- Rust
- Spin
- UPPAAL
- Coq
- Isabelle
- Z3
- TLA+
Benefits
Free or Subsidized Food
- Healthy meals in company canteen
Learning & Development
- Broad range of training opportunities
- Language courses in German and Mandarin
Diverse Work
- 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
Intern - Formal Methods(m/w/x)
Full-timeInternshipOn-siteDresden - 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
Intern - System Software Research(m/w/x)
Full-timeInternshipOn-siteDresden - Huawei Research Center Germany & Austria
Formal Verification PhD Student(m/w/x)
Full-timeOn-siteExperiencedDresden