Neuer Job?Nejo!

Die KI-Suchmaschine für Jobs

HU
Huawei Research Center Germany & Austria
vor 3 Monaten

Formal Verification PhD Student(m/w/x)

Dresden
VollzeitVor OrtBerufserfahren

Beschreibung

As a Formal Verification PhD Student, you will engage in innovative research, address complex problems, and present your findings at leading conferences, all while applying formal methods to real-world industrial projects.

Lass KI die perfekten Jobs für dich finden!

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

Anforderungen

  • •Completed Master Degree in Computer Science or related disciplines
  • •Familiarity with C, C++, or Rust
  • •Good understanding of multicore programming challenges
  • •Good understanding of mainstream OS technologies and system software
  • •Excellent communication skills and ability to work in multicultural teams
  • •Fluency in written and spoken English
  • •Experience with compilers, assembly (x86/Arm/RISC-V)
  • •Experience with systems, concurrency, weak-memory models
  • •Knowledge of formal verification tools for model checking and theorem proving
  • •Publications in formal verification and programming languages
  • •Experience in scientific research projects related to formal verification

Ausbildung

Master-Abschluss

Berufserfahrung

ca. 1 - 4 Jahre

Aufgaben

  • •Explore research in formal methods theory
  • •Propose and investigate new research directions
  • •Master academic and industry reporting styles
  • •Independently solve challenging research problems
  • •Present work at top-tier academic conferences
  • •Apply formal methods to industrial projects
  • •Contribute to practitioner-ready verification tools

Tools & Technologien

CC++Rustcompilersassembly (x86/Arm/RISC-V)SpinUPPAALCoqIsabelleZ3

Sprachen

Englisch – verhandlungssicher

Benefits

Gratis oder Vergünstigte Mahlzeiten

  • •Healthy meals in canteen

Weiterbildungsangebote

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

Lockere Unternehmenskultur

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

    Internship in Formal Methods(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
  • Huawei Research Center Germany & Austria

    PhD Student in Web & AI(m/w/x)

    Vollzeitnur vor OrtKeine Angabe
    Dresden
  • Huawei Research Center Germany & Austria

    Rust Ecosystem Engineer(m/w/x)

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