Neuer Job?Nejo!

Die KI-Suchmaschine für Jobs

HU
Huawei Research Center Germany & Austria
vor 3 Monaten

Internship in Formal Methods(m/w/x)

Dresden
VollzeitPraktikumVor Ort

Beschreibung

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.

Lass KI die perfekten Jobs für dich finden!

Lade deinen CV hoch und die Nejo-KI findet passende Stellenangebote für dich.

Anforderungen

  • •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

Ausbildung

Laufendes Studium

Aufgaben

  • •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 & Technologien

CC++RustSpinUPPAALCoqIsabelleZ3TLA+

Sprachen

Englisch – verhandlungssicher

Benefits

Gratis oder Vergünstigte Mahlzeiten

  • •Healthy meals in company canteen

Weiterbildungsangebote

  • •Broad range of training opportunities
  • •Language courses in German and Mandarin

Abwechslungsreiche Aufgaben

  • •Diverse and welcoming environment

Sinnstiftende Arbeit

  • •Self-responsible work
Die Originalanzeige dieses Stellenangebotes in der aktuellsten Version findest du hier. Nejo hat diesen Job automatisch von der Website des Unternehmens Huawei Research Center Germany & Austria erfasst und die Informationen auf Nejo mit Hilfe von KI für dich aufbereitet. Trotz sorgfältiger Analyse können einzelne Informationen unvollständig oder ungenau sein. Bitte prüfe immer alle Angaben in der Originalanzeige! Inhalte und Urheberrechte der Originalanzeige liegen beim ausschreibenden Unternehmen.
Noch nicht perfekt?
100+ Ähnliche Jobs in Dresden
  • Huawei Research Center Germany & Austria

    Formal Verification PhD Student(m/w/x)

    Vollzeitnur vor OrtBerufserfahren
    Dresden
  • Huawei Research Center Germany & Austria

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

    VollzeitPraktikumnur vor Ort
    Dresden
  • Huawei Research Center Germany & Austria

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

    VollzeitPraktikumnur vor Ort
    Dresden
  • Huawei Research Center Germany & Austria

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

    Vollzeitnur vor OrtKeine Angabe
    Dresden
  • Huawei

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

    Vollzeitnur vor OrtKeine Angabe
    Dresden
100+ Alle ähnlichen Jobs ansehen
Jetzt bewerben