Skip to content
Neuer Job?Nejo!

Die KI-Suchmaschine für Jobs

HU
Huawei
vor 8 Std.

Intern - Formal Methods(m/w/x)

Dresden
VollzeitPraktikumVor Ort

Beschreibung

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.

Lass KI die perfekten Jobs für dich finden!

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

Anforderungen

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

Ausbildung

Laufendes Studium

Aufgaben

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

CC++RustSpinUPPAALCoqIsabelleZ3TLA+

Sprachen

Englisch – verhandlungssicher

Benefits

Lockere Unternehmenskultur

  • •Innovative culture and team spirit
  • •Diverse and welcoming environment

Weiterbildungsangebote

  • •Global knowledge exchange
  • •Broad training opportunities
  • •German and Mandarin courses

Gratis oder Vergünstigte Mahlzeiten

  • •Healthy canteen meals

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

    Internship in Formal Methods(m/w/x)

    VollzeitPraktikumnur vor Ort
    Dresden
  • Huawei Research Center Germany & Austria

    Formal Verification PhD Student(m/w/x)

    Vollzeitnur vor OrtBerufserfahren
    Dresden
  • Huawei

    PhD Student - Formal Verification(m/w/x)

    VollzeitWerkstudentnur vor Ort
    Dresden
  • Huawei

    Intern - System Software Research(m/w/x)

    VollzeitPraktikumnur vor Ort
    Dresden
  • Huawei Research Center Germany & Austria

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

    VollzeitPraktikumnur vor Ort
    Dresden
100+ Alle ähnlichen Jobs ansehen

Jobs in der Nähe entdecken

Jetzt bewerben