New Job?Nejo!

The AI Job Search Engine

HU
Huawei Research Center Germany & Austria
3mo ago

Formal Verification PhD Student(m/w/x)

Dresden
Full-timeOn-siteExperienced

Description

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.

Let AI find the perfect jobs for you!

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

Requirements

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

Education

Master's degree

Work Experience

approx. 1 - 4 years

Tasks

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

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

Languages

English – Business Fluent

Benefits

Free or Subsidized Food

  • •Healthy meals in canteen

Learning & Development

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

Informal Culture

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

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

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

    Full-timeOn-siteNot specified
    Dresden
  • Huawei Research Center Germany & Austria

    Rust Ecosystem Engineer(m/w/x)

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