New Job?Nejo!

The AI Job Search Engine

HU
Huawei Research Center Germany & Austria
3mo ago

Internship in Formal Methods(m/w/x)

Dresden
Full-timeInternshipOn-site

Description

In this internship, you will gain hands-on experience in a dynamic research environment, collaborating with top researchers on projects involving algorithm design, verification tools, and system performance improvements.

Let AI find the perfect jobs for you!

Upload your CV and Nejo AI will find matching job offers for you.

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

Education

Currently in higher education

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

Tools & Technologies

CC++RustSpinUPPAALCoqIsabelleZ3TLA+

Languages

English – Business Fluent

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?
100+ Similar Jobs in Dresden
  • Huawei Research Center Germany & Austria

    Formal Verification PhD Student(m/w/x)

    Full-timeOn-siteExperienced
    Dresden
  • Huawei Research Center Germany & Austria

    Internship in System Software Research(m/w/x)

    Full-timeInternshipOn-site
    Dresden
  • Huawei Research Center Germany & Austria

    Internship/Master Thesis in AI Systems Research(m/w/x)

    Full-timeInternshipOn-site
    Dresden
  • Huawei Research Center Germany & Austria

    Industrial PhD Student in Operating System(m/w/x)

    Full-timeOn-siteNot specified
    Dresden
  • Huawei

    Industrial PhD Student in System Software Research(m/w/x)

    Full-timeOn-siteNot specified
    Dresden
100+ View all similar jobs
Apply now