Program analysis:
Application of program analysis techniques in product development. Used technologies: OOD, OOP, design patterns, TDD, C and C++, Python, Windows, Linux, FreeBSD, Mac OS, GCC toolchain, LLVM toolchain, CMake, git, Jenkins, Jira, etc.

The position will focus on program analysis techniques (source code static analysis, dynamic analysis, hybrid analysis), apply them to product development and research the advanced technologies.

Huawei keeps implementing program analysis techniques to support the process of development reliable and trustworthy programs. As a part of this process source code static analysis is one of directions to improve program code quality.

This technique is widely used to:
1. Detect potential bugs
2. Help an engineer in code review
3. Check code style
This team is trying to use source code static analysis technology to help Huawei developers avoid security, performance and other important issues in a source code.

To do this job, you will be:
1) Responsible for the implementation of automatic source/binary code analysis algorithms for defect detection. Responsible for the deep, competitive analysis and project planning to ensure the technical leading advantage of automatic source/binary code analysis field.
2) Responsible for the design and implementation of program analysis algorithms, output design documents and source code
3) Responsible for checking and analyzing results of algorithm implementation, achieve the leading edge of product competitiveness on soundness and performance
4) Responsible for unit/functional/system/performance testing. Test cases design and automation.
5) Responsible for checking and analyzing test results, achieve the leading edge of product

Requirements:

1. Strong knowledge of algorithms and data structures
2. Strong mathematical background in compiler technologies, graph theory, set theory and applied mathematics in common. PhD graduated in compiler technology or program analysis fields is preferred.
3. Strong understanding of OOD, OOP, design patterns, TDD
4. Strong knowledge of C and C++. Good knowledge of Python.
5. Good understanding of memory management, multithreading, network and cross-process
communications
6. Experience with cross- and multi-platform (Windows, Linux, FreeBSD, Mac OS) software
development
7. Experience with GCC toolchain, LLVM toolchain, CMake, git, Jenkins, Jira, Confluence or analogues. DevOps skills.
8. Good understanding of agile management methods
9. Good communication skills, desire to gain and share knowledge and work as a team with colleagues.

What we can offer:

1) Stability and strong position in the market;

2) Very good payment conditions, all details are discussed based on each individual situation;

3) VMI;

4) Professional team of top experts;

5) Highly challenging tasks;

6) A+ office in the center of city;

7) Different opportunities of career growth.