Discover a new you
A better you

Support and development of a framework for formal verification of OS code using functional language OCaml and proof assistant Coq.

Research and development of cloud infrastructure components such as OpenStack, Kubernetes and other related CNCF and OpenInfra projects. Developing new breakthrough technologies for the 5G Cloud solutions and works on improving existing open-source and proprietary projects (with primary focus on high performance and extra-large scale support). Actively participate in corresponding opensource communities.

Research, development, and optimization of Distributed data processing engines for the next generation of Huawei products and Big Data platform by bringing innovation architecture and technologies in distributed data processing and algorithms for better performance, scaling and locality.

Implementation of new software for the network stack, integration of new algorithms

We aim at carrying state-of-the-art machine learning research in computer vision, video data processing, self-driving vehicle (SDV) and creating optimized neural algorithms for Huawei Ascend platform.

Key Responsibilities include:
• Analyze industry/academia trends and identify the competitiveness of the Video intelligence technology market and Huawei’s market offerings
• Become a leading researcher in the R&D team, define the roadmap of research targets, bridge the gap between research achievements and industrial products
• Be responsible for research projects within the Video Intelligence portfolio, completing core technology construction in the Video Intelligence scope
• Build cooperation with European universities, research institutes and industrial partners
• Represent Huawei within the broader industry, attending and participating at international meetings and conferences

Requirements:
Strong research background and relative industrial experience
• Have experience in Video data extraction and analytics technologies. Object detection and tracking, classification, Data Augmentation, abnormal event detection, multi-modality fusion is preferred
• Experience in any module of SDV stack is highly preferred (perception, prediction, planning)
• Be familiar with deep learning architecture and open source frameworks. Domain adaptation, transfer learning, zero, one or few-shot learning, network compression
• Experience in fast and efficient hardware accelerated approximate nearest neighbor system for data retrieval project
• Experience in the methods of acceleration of Neural Networks both for training (e.g. improved optimization algorithms) and inference (e.g. pruning, tensor decompositions) on the hardware
• Masters or higher degree in computer vision, image processing, deep learning/machine learning or significant relevant industry experience
• Strong mathematical education in probability theory, linear algebra, statistics and relevant Math fields
• Good knowledge of python and mathematical libraries. Knowledge of C++ is a big plus
• PhD in a relevant discipline is preferred
• 3+ years of industry experience in (one or multiple areas) Computer Vision, Machine Learning/Deep Learning, and Data Science as well as experience in applying academic studies to industrial applications is preferred
• 3+ years of experience in Video data analytics and processing is preferred

We are looking for a last-year student for intern position, familiar with Java-based apps for Android platform, fluent in English, accessable for work in St Petersburg office from August 2021

• We develop new algorithms.
• We read technical papers related to algorithm design.
• We optimize algorithm (e.g. optimize the speed of an algorithm, memory usage, network communications, add support for larger input data).
• We work with distributed algorithms for Apache Spark framework.
• We do programming in Scala (mostly). Language like Java and C++ can also be used.

The group conduct research and development on cutting edge graph computing software and algorithm technologies, including but not limited to graph computing and learning framework, graph processing system optimization and acceleration, graph representation learning algorithms (e.g. graph embedding and graph neural networks).

The group conduct research and development on cutting edge Neuro-inspired Computing Algorithms/Materials, including but not limited to brain-mimetic algorithms design, neuromorphic computing elements, spiking neural networks, their training and optimal topology, distributed intelligent agents, knowledge representation and learning algorithms, algorithm optimization and acceleration, multi-modal learning.

The team dedicated to the research and development of basic communications theories, supporting future product development with advanced theories, resolving pain points of academia's concern, searching for possible solutions, and exploring possible technological innovation fields.
Our research is not limited to communications products, but may focus on a wide range of academic issues, such as artificial intelligence, computer technology, quantum information theory, and semiconductor technology.

The group develop machine learning systems and tools for various mobile and edge devices. The main project is a cross-platform library for on-device neural networks training which we develop since the 2019 year. There are many engineering work along with research tasks here.

The group pursues Research & Development in the areas of Machine Learning with particular focus on Deep Learning, Computer Vision, Image and Video restoration and optimization. As member of the team, you will work on some of the most challenging and ambitious technical problems in computational imaging, develop new DL solutions for image and video applications.

The group pursues Research & Development in the areas of Machine Learning with particular focus on Deep Learning, Text-to-Speech and Speech-to-Text, Natural Language Understanding. As member of the team, you will work on some of the most challenging and ambitious technical problems in natural language processing, searching/ranking algorithms, speech synthesis, acoustic feature analysis.

ML analysis of CPU work and research for various dependencies across metrics, application clusterization, development of design space exploration tools

Development of various SW for CPU optimization: compiler, binary translator, functional and performance CPU models, DBI tools.

Developer of image processing algorithms
Job responsibilities
- Development of image processing algorithms
- Preparation and processing of data: real or 3D-rendered
- Presenting and preparing documentation
- Preparation of patens and publications
- Teamwork, helping the less experienced team members
- For more experienced - project leadership

Development of the compiler and environment for the execution of the Golang programming language. Active participation in the open source language community (golang.org).

AR/VR algorithm developer
Job responsibilities
- Development of image processing algorithms
- Preparation and processing of data: real or 3D-rendered
- Presenting and preparing documentation
- Preparation of patens and publications
- Teamwork, helping the less experienced team members
- For more experienced - project leadership

Responsible for Huawei Cloud hardware data-driven performance optimization.

Responsible for Cloud hardware performance data mining,  finding system bottlenecks, creating metrics importance ranking based on data analysis.

Responsible for Linux kernel level components/software development. Good understanding of System Performance Counter Unit.

Together, we build a team to develop an open-source toolkit for developers such as artefact managers, CI / CD managers, build automators, code analyzers, and more.

"Be responsible for static analysis, UNIT testing, dynamic code analysis, intelligent diagnostic analysis, bug fixing, and other code analysis services (such as code search, code synchronization, library auto-update) for the next-generation R&D process.
Participate in the R&D in design, application architecture, creation of applications for a technological breakthrough. Build utilities for working with Big Data."

Work on world-class developer tools and services to support the growth of Huawei's cloud and computing business. Research and study the world's latest AI technology to improve models. In our work, we use knowledge in code analysis, optimizations, compilers and machine learning technologies.

Research and optimization of algorithms for working with Huawei Cloud services media; design, training and optimization of algorithms and models for video codec, lossless compression and video quality assessment; integration of algorithms/models into cloud service products.

The ability to independently solve the design and development problems of the engine for distributed computing in the field of big data. The ability to find the most efficient ways to optimize distributed computing, data storage and communication between computers. Ability to lead the business unit within the team and be responsible for planning and shaping requirements. The preference is given to applicants with Candidates of science (PhD) degree, graduate students and students who plan to defend their PhD thesis this year.

Planning and development of highly efficient AI algorithms and systems, as well as joint hardware and software optimization of AI algorithms (at least in one of the areas of AI), including machine learning, deep learning, reinforcement learning, computer vision, natural language processing, optimization, recommendations/search, and much more. Deep optimization of artificial intelligence algorithms applicable in fields of smart city, transport, medicine, Internet, manufacturing, astronomy, etc. The preference is given to applicants with Candidates of science (PhD) degree, graduate students and students who plan to defend their PhD thesis this year.

Research and development in combinatorial optimization for large-scale cloud systems (VM, jobs and storage). Work in several areas: resource utilization forecasting, SLA forecasting, capacity planning. Test your ideas in a real environment and through simulations. As a researcher, you have the opportunity to work on poorly defined problems. Publish academic papers and patents (optional).

Research, development and optimization of data compression algorithms and conducting cutting-edge research in the field of data compression.

Responsible for creating a high-performance distributed database. Optimization of the database system by researching new technologies in the field of database kernels. We need a candidate with the ability to design algorithms and experience in data structuring.

Development of the top-level mathematical optimization solver.

Максимизировать охват тестовых случаев автоматического генерирования программного обеспечения.

In LSM, data is periodically dropped to different SST files through Compaction operations. During data reading, each SST file provides a BloomFilter to check whether the key exists in the file. It is known that when the BloomFilter returns false, it is 100% guaranteed that the current key is not in the SST file. However, when the BloomFilter returns true, it indicates that the key may or may not exist in the SST file. In this case, the key is false positive. The query performance of LSM-based KV storage database depends largely on the false positive rate. The goal is to design an algorithm that can effectively reduce the false positive rate of BloomFilter. Expectations are reduced by more than 10%, the higher the better.

"Billions of users have now data written with Facebook Zstandard (ZSTD) or Apple LZFSE compressors, which use tANS (tabled asymmetric numeral systems) entropy coder – building finite automaton optimized for a given probability distribution, which transforms symbol sequence into bit sequence.
Details of this automaton are determined by symbol spread (combination): assignment of one symbol to each state. There is exponential number of such
possibilities, getting various performances as mean numbers of used bits/symbol – there is basic practical problem of quickly finding nearly optimal symbol spread."

For database management systems, a large amount of work has been done to explore parallel processing of database operations. Special database machines have been designed to obtain increased system performance through both inter-query and intra-query parallelism. However, most of the existing relational database query optimizers only consider plans in which the execution order is modeled by a linear processing tree. An M-way join query is visualized as a sequence of 2-way joins of the form. This strategy seems adequate in uniprocessor systems.In a multiprocessor environment, however, the number of feasible join plans increases dramatically with new dimensions introduced by parallelism and parallel processing tends to give better overall system performance. In this topic, we expect that multi-way join should perform significantly better (at less 20%) than pair-wise joining of tables for a given example database.

In Cloud DataCenter, VMs are deployed on the physical machine, physical machine use PMU(performance monitoring unit) to monitor workload status. differnent workload will have differnent PMU status, need a fast / accurate algorithm to find which /which set of PMUs impact the VM performance and make quantitative assessment.

Development and optimization of math library consisting of basic linear algebra functions like matrix-vector operations and linear solvers for various storage formats on Huawei Kunpeng processor (ARMv8), to reach the highest possible efficiency of the computations; Algorithms optimization technology to support the performance improvement of HPC and AI applications. Programming and mathematical challenges require skilled PhD Students and PhDs.

Maintenance and refactoring of the existing proprietary compiler code base; Development of auxiliary compiler modules; Baseline compiler debugging; Compiler test coverage improvement; Compiler performance measurement and analysis.

Joint optimization of power amplifiers (PA) together with digital pre-distirsion algorithm (DPD) in terms of linearity and efficiency. Design and simulation of high efficiency RF power amplifiers, including hybrid PAs like Envelope Tracking (ET) or digital Doherty. High electron mobility transistors (HEMT) TCAD simulation and optimization within PA design.

Automatic hardware-friendly compression of neural networks for On-device AI

The Mathematical Modeling and Optimization team at the Huawei Minsk Research Center conducts fundamental and applied research in Mathematical Programming, Scheduling, Combinatorial Optimization, Large Scale Optimization, Meta-Heuristics for fundamental optimization solver which targets linear programming, (mixed) integer programming and general constraint programming problems.

Optimize Android 3D stack and implementing new features for improving Android game experience

Our team conducts research for IoT & Cloud technologies based on AI. The range of tasks is ranging from the detection of anomalies in IoT & Cloud interaction, classification and clusterization of behavior features, detection and filtering of unwanted content and activities.

Development of fast and efficient algorithms for the numerical solution of partial differential and integral equations (Maxwell’s equations) on complex electromagnetic simulation for 5G antenna array.
Research directions: integral equations (IE) and finite element method (FEM), meshing algorithms, matrix compression/approximation methods, parallel matrix solvers (direct and iterative )

Exploration of LiDAR key technologies, development of innovative LiDAR system solutions and improvement of future competitiveness of LiDAR products. Development and evolution of LiDAR algorithms, creating competitive LiDAR algorithm architecture and solutions. Building LiDAR algorithm models to complete the system simulation, analyze the theoretical performance, propose hardware specifications.

1. Research and development of state-of-the-art deep learning models.
2. Neural network structure and inference optimization.
3. Product development for mobile phones.

Research of next generation computing acceleration technologies. Design and development of AI computing framework, algorithms and kernels in lower precision data types, and performance optimization. Close collaboration with other teams, including hardware engineers.

Design and development of mathematical libraries optimized for HiSilicon hardware. Collaboration with other teams (hardware, OS, compiler, etc.) to secure best possible performance.

Graphics UI SDK for cross platform application development. Target devices are different - Mobile, Automotive, TV, Wearable.

Tools and methods to help programmers delivery products with higher quality, including continuous integration, static analysis, runtime code analysis, automated testing, artifacts management, and deployment automation.

Research and Development of System Software Technologies (operating systems, runtime environments, compilers, system libraries) for new Huawei telecommunication products (5G and 5.5G). Active participation in open-source communities.

Development of innovative algorithms for next generation Wireless (5G Base Stations), Microwave (5G Backhaul) and Optical (Long haul 400G) telecommunication systems. Participation in development of system level architecture of radio and optical transmitters and receivers, estimation of feasibility, analysis of risks and difficulties.
Focus on modern signal processing techniques in digital domain, correction of imperfection of analog devices (power amplifiers, up/down converters, local oscillators, passive intermodulations, Mach-Zehnder modulators, lasers and photodiodes).
Research and simulation of digital signal processing algorithms, such as adaptive filtering, nonlinear predistorters and equalizers, I/Q correction, PAPR reduction, phase noise compensation, etc.

Core operating systems algorithms, compiler design (C / C++ / Java / Kotlin / new language), virtual machines, JIT optimizations, advanced profiling and debugging, HW-SW co-optimization techniques, advanced verification frameworks

Designing and creating next generation operating systems and corresponding development and analisys tools to enable applications for multi-language multi-device distributed environments (phones, tablets, watches, TVs, cars, panels, robots, etc.)

Real-time 3D-graphics / image / video processing algorithms - AR/VR/ray tracing, game engines, OpenGL ES and Vulkan graphics API and extensions, shader languages, different implementations of codecs, super-resolution and video enchancement, CPU/GPU/NPU co-optimization methods, semantics understanding of video and images - it is enough to be an expert in one of these topics

Research and development of next generation power-efficient 3D-graphics and video algorithms and corresponding tools, support of new hardware features to bring impressive desktop level experience to mobile games and multimedia

Enhance compiler inter-procedural and profile-guided optimizations for OS and mobile native libraries

Design benchmark to measure GC and RC overheads (Kotlin  vs. Kotlin/Native) for mobile applications, focusing on performance, memory consumption, stop-the-world gaps

​Auto-completion tools integrated in IDE can significantly improve productivity of the developers. Auto-completion tools can be trained on open-source repositories, detect common code patterns and suggest most likely code completion. Smart auto-completion tools can be very useful for IDE of dynamic languages

To implement ML-guided fuzzing technique based on open-source libFuzzer tool (part of LLVM). The thained ML model can helps to find the new bugs and increase coverage of the code.

Combination of semantic analysis based program repair and ML-driven repair for regression tests fixes. To develop scalable approach for automatic fix of regression tests using symbolic execution approach. Machine learning can be used to propose potential fix of the regression test and helps to reduce the search space.

Research in data redundancy elimination domain. Development of brand new algorithms for deduplication and lossless data compression or improvement of existing algorithms to achieve higher data reduction ratio. Research variable size deduplication methods for usage in primary storage. Improve LZ class compression and entropy encoding methods (Huffman encoding, Final State Entropy encoding, Arithmetic encoding, Prediction by partial matching). Explore the use of artificial intelligence for lossless data compression. Optimize new or existing algorithms for ARM hardware platform to get high performance algorithms.

OS/Kernel performance optimization, R&D of OS features for better User eXperience; ecosystem, API, libraries and tools for next generation of mobile applications

Development of algorithms of automatic white balance and color correction in smartphone camera's pipeline. Deep math analisys of color formation and processing. Both AI and non-AI techniques are being considered.

Development of the next generation of the augmented reality engine Huawei AREngine. Development of spatial sensors and algorithms for ARVR interaction. Development of interaction systems in virtual reality, generation
photorealistic avatars using artificial intelligence systems.

We are focused on development of innovative algorithms for the next generation Wireless (5G) telecommunication systems. As part of our team you will develop digital signal processing algorithms for compensation of nonlinear distortions in Wireless equipment.
Research directions: digital signal processing, deep neural networks, neural architecture search, ML and optimization methods (Gradient Descent GD, Stochastic GD, Conjugate Gradients, BFGS).

5G algorithm optimization, new concept design (6G), data-driven solutions

Developing next generation of video coding technologies based on CNN; Designing NN structure and optimizing its performance based on video compression criteria; Promoting developed technologies in international standard organizations;

Dynamic Binary Translator enables to run apps developed for one computer architecture on CPU with another architecture. The field of development and research includes, but not limited: JIT, code optimization, virtualization.

The real world, outside of traditional bounds, is inherently nonlinear. The further evolution of Radio and Optical telecommunications requires sophisticated approaches for mitigation and compensation of nonlinear imperfections of devices and channels. In this lecture we will provide overview of typical nonlinear DSP algorithms, including crest factor reduction (CFR), digital predistortion (DPD) and nonlinear equalization (NLE). We will demonstrate on some examples how they increase performance and efficiency of telecommunication systems, reduce its cost and power consumption. Additionally we will show close connection of these topics with machine learning and neural networks, which is very popular now.

We live in the fast changing world - in the next decade we will become even more integrated with the numerous devices around us, on us and inside us. But all these devices will be managed by software and the most important part of the software is system software – the hidden part of the “iceberg” that actually enables everything else to work – operating systems, core algorithms, network stack, graphics engines, development tools. This talk will present Huawei’s vision on the next generation of such technologies that will “drive the world” in 2020s.

Massive-MIMO is one of the main trend in 5G networks, especially for mmWaves.
This lecture belongs to practical problems of massive-MIMO systems, which appear due to growth of spatial precision in wireless communication. But there are a lot of limitation to keep minimal error in parameter measurements to satisfy of the requirements for such precision systems. In the lecture we try to identify sources of the error, system robustness to these errors, and ways to minimize their impact. Also, it will be mentioned complexity problem for growth system dimensions. And how distributed approach can be used to overcome such problem.

The real world, outside of traditional bounds, is inherently nonlinear. The further evolution of Radio and Optical telecommunications requires sophisticated approaches for mitigation and compensation of nonlinear imperfections of devices and channels. In this lecture we will provide overview of typical nonlinear DSP algorithms, including crest factor reduction (CFR), digital predistortion (DPD) and nonlinear equalization (NLE). We will demonstrate on some examples how they increase performance and efficiency of telecommunication systems, reduce its cost and power consumption. Additionally we will show close connection of these topics with machine learning and neural networks, which is very popular now.
Speaker:
Pavel Plotnikov, Ph.D.
Principal engineer, Leader of Nonlinear Network team in Huawei R&D center, Moscow, Russia

We live in the fast changing world - in the next decade we will become even more integrated with the numerous devices around us, on us and inside us. But all these devices will be managed by software and the most important part of the software is system software – the hidden part of the “iceberg” that actually enables everything else to work – operating systems, core algorithms, network stack, graphics engines, development tools. This talk will present Huawei’s vision on the next generation of such technologies that will “drive the world” in 2020s.
Vladimir Rubanov is CTO for Software Engineering at Russian Huawei R&D and the leader of Operating Systems Lab. His former experience included executive and technical leadership positions at Rosplatforma, Virtuozzo (Parallels Group), ROSA (Russian Operating Systems and Applications) and ISPRAS (Institute for System Programming of the Russian Academy of Sciences).
Vladimir graduated (M.Sc.) from the Moscow Institute of Physics and Technology with absolute honors (GPA 5.0 of 5). Has 50+ scientific publications, 100+ talks at the leading international conferences, academic rank of “Associate Professor in IT” and Ph.D. in Computer Science.

Massive-MIMO is one of the main trend in 5G networks, especially for mmWaves.
This lecture belongs to practical problems of massive-MIMO systems, which appear due to growth of spatial precision in wireless communication. But there are a lot of limitation to keep minimal error in parameter measurements to satisfy of the requirements for such precision systems. In the lecture we try to identify sources of the error, system robustness to these errors, and ways to minimize their impact. Also, it will be mentioned complexity problem for growth system dimensions. And how distributed approach can be used to overcome such problem.
Speaker: Lyashev Vladimir, Head of RTT Lab in MRC.

Разработка программного обеспечения сегодня и двадцать лет назад существенно отличаются: языки программирования стали проще, доступность открытого кода и его объемы возросли во много раз, среды разработки стали мощнее, появились методики и инструменты автоматизации программирования. Однако, мы еще очень далеко от цели. Мы, программисты, по-прежнему делаем ошибки, выпускаем некачественные продукты, и проваливаем большинство проектов (по мнение многих исследователей). В чем же дело и что может стать решением? Мы считаем, что искусственный интеллект может быть новым этапом в развитии индустрии ПО и сможет повысить качество выпускаемых решений. На лекции мы обсудим, как именно это может произойти и каковы наши шансы повлиять на этот тренд.
Егор Бугаенко, руководитель лаборатории системного программирования Московского исследовательского центра Huawei, автор нескольких книг по разработке ПО, в том числе Elegant Objects, об объектно-ориентированном программировании, автор нескольких популярных Java библиотек с открытым кодом, часто выступает на международных конференциях и активно борется за повышение качества работы программистов.

In this lecture we will overview modern question answering algorithms. The algorithms are classified by the source of the information for the answers. It could be knowledge bases (Knowledge Base Quesion Answering), large collection of question-answe pairs (ranking algorithms), the single document (reading comprehension), and even the whole Wikipwdia, or any other very large documents collection (Open Domain question answering). We will consider benefits and drawback of each approach and some examples of their work.
Irina Piontkovskaya, Head of NLP team in Huawei Noah's Ark, Huawei RRI.

The way we develop software today is incomparable with what we were doing twenty years ago: the languages are of a much higher level of abstraction; the availability of open source frameworks and libraries is exceptional; IDEs perfectly automate the majority of routine operations; compilers, linters, and builders are very powerful; continuous delivery practices are almost everywhere, and so on. However, this is not the final destination point yet. We are not even close! We, programmers, still make a lot of mistakes, our software products are full of bugs, and the success rate of software projects is going down every year (according to some industry reports). What is the next? What could be the “silver bullet” to save us from the complexity and instability of software development? We believe that Artificial Intelligence has a very good chance to become one. At the lecture we will discuss how exactly AI can be applied and where are the most interesting research problems to address.
Yegor Bugayenko is a seasoned software development expert, a designer of a few popular open-source Java frameworks, an author of “Elegant Objects” book series about object-oriented programming, a regular speaker at international software conferences, and a passionate advocate of high quality standards of software development.

The way we develop software today is incomparable with what we were doing twenty years ago: the languages are of a much higher level of abstraction; the availability of open source frameworks and libraries is exceptional; IDEs perfectly automate the majority of routine operations; compilers, linters, and builders are very powerful; continuous delivery practices are almost everywhere, and so on. However, this is not the final destination point yet. We are not even close! We, programmers, still make a lot of mistakes, our software products are full of bugs, and the success rate of software projects is going down every year (according to some industry reports). What is the next? What could be the “silver bullet” to save us from the complexity and instability of software development? We believe that Artificial Intelligence has a very good chance to become one. At the lecture we will discuss how exactly AI can be applied and where are the most interesting research problems to address.
Yegor Bugayenko is a seasoned software development expert, a designer of a few popular open-source Java frameworks, an author of “Elegant Objects” book series about object-oriented programming, a regular speaker at international software conferences, and a passionate advocate of high quality standards of software development.

Fueled by the availability of more data and computing power, recent breakthroughs in cloud-based machine learning (ML) have transformed every aspect of our lives from face recognition and medical diagnosis to natural language processing. However, classical ML exerts severe demands in terms of energy, memory and computing resources, limiting their adoption for resource constrained edge devices. The new breed of intelligent devices requires a novel paradigm change calling for distributed, low-latency and reliable ML at the wireless network edge. This talk will explore the potential of the Mobile AI paradigm to unlock the full potential of 5G and beyond. Merouane DEBBAH, IEEE and WWRF Fellow, Director of the Huawei Mathematical and Algorithmic Sciences Lab, Paris, France