PhD student in “Formal Model and Proofs and Theory of Languages”

The applied crypto team of Trustworthy Technology and Engineering Lab in Huawei Munich Research Center is developing applied crypto technologies, which is designed for supporting privacy and data protection. To support our research activities, we are looking for enthusiastic and highly motivated PhD student in applied crypto technologies. The PhD student will contribute to the research and development of applied crypto technologies for future data security and secure AI system. The candidate has the opportunity to work on real world problems and improve data security of Huawei future’s products and services.

Join us as a
PhD student in “Formal Model and Proofs and Theory of 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.
• 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 studies in computer science, information technology, cybersecurity, privacy, crypto, electrical engineering, or mathematics;
  • You have research experience in data science, machine learning and/or artificial intelligence;
  • You have demonstrated affinity with algorithm 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 initiatives and feel the responsibility for your project;
  • You have good programming skill in Java, C，C++，R, Python
    
  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.