The team of Trustworthy Technology and Engineering Lab in Huawei Munich Research Center is developing technologies for software verification. Software properties e.g. correctness and reliability are crucial to software applications and the formal methods serve as low-cost solutions, for example, lightweight formal methods for property-based testing. The candidate will examine the intersection of formal proofs and automata theory to develop efficient methods for verifying software properties. The candidate has the opportunity to work on real-world problems and improve the quality of Huawei future’s products and services.

Join us as a
PhD student in “Formal Proofs and Theory of Automata and authentication protocol Languages”

Your mission

• This research project combines formal proofs with automata theory to create efficient methods for software property verification. By leveraging automata-based techniques, the project aims to reason about program behavior and correctness in a scalable and practical manner.
• Conduct an extensive literature review of formal proofs and automata theory and analyze existing applications of automata theory in software verification and formal methods.
• Explore how automata and formal languages can improve practical tools like property-based testing and advanced type systems.
• Investigate the use of state machines, regular expressions, and other automata-based techniques to expand the capabilities of property-based testing frameworks.
• Develop algebraic specifications using formal language theory as a foundation and build software tools to verify program correctness against these specifications automatically
  
• Translate popular existing protocols into automata or languages, contribute to the understanding of the properties (e.g. protocol equivalence and minimization), and integrate the result into formal proof and property verification.
• Publish results in top-ranking academic conferences and journals, and contribute to the open source community.
  
  Your areas of expertise
  
  • You have recently completed or will soon complete your master's studies in computer science, information technology, or mathematics;
  • You have research experience in theoretical computer science;
  • You have demonstrated affinity with formal theory and proof development;
  • You have a passion for finding solutions for complex technological issues;
  • You have excellent collaboration and communication skills;
  • You are self-starting and self-motivating, willing to take initiative and feel the responsibility for your project;
  • You have good programming skills in Java, C， C++, Haskell, Prolog
  By applying to this position, you agree with our RECRUITMENT PRIVACY STATEMENT. You can read in full our recruitment privacy statement via the link below.
  
  http://career.huawei.com/reccampportal/portal/hrd/weu_rec_all.html
  Your rewards of working here
  
  • Our culture is characterized by innovative power and team spirit as well as the intensive exchange of knowledge and experience within our global network.
  • We offer healthy meals ranging from traditional Chinese to western delicacies in our famous company canteen.
  • To keep your development ongoing, you will find a broad range of training opportunities. Many online and face-to-face training programs incl. language courses in German and Mandarin.
  • Our diverse and welcoming environment is shaped by different backgrounds and around 40 individual nationalities.
  • Self-responsible work in a competent, motivated and constantly growing team.
    
  Please send your application and CV (incl. cover letter and reference letters) in English.
  Huawei is a leading global information and communications technology (ICT) solutions provider. Driven by a commitment to operations, ongoing innovation, and open collaboration, we have established a competitive ICT portfolio of end-to-end solutions in Telecom and enterprise networks, Devices and Cloud technology and services. Our ICT solutions, products and services are used in more than 170 countries and regions, serving over one-third of the world's population. With 197,000 employees, Huawei is committed to develop the future information society and build a Better Connected World.