Junior Compiler and Formal Verification Development Engineer
We are looking for Junior Compiler and Formal Verification Development Engineer to join our Shanghai Team.
JOB DESCRIPTION:
-
Improve and enhance the company’s compiler products with better code optimization and less runtime resource consumption. Improve the compatibility of the company’s compiler products with new programming languages and language standards.
-
Improve and enhance the company’s formal verification products, improve the functionalities, and optimize the verification speed.
QUALIFICATIONS, SKILLS AND EXPERIENCE:
-
Fresh graduates with bachelor’s degree or above in computer science or related majors. Strong interest in compiler, virtual machine, simulator, or binary translator software development
-
Proficiency in C/C++ and common data structures, proficient in using GCC/GDB
-
Practice highly self-disciplined engineering development and produce high-quality code
-
Familiar with Linux operating system and development environment.
-
Familiar with Shell Script and Python
-
Basic knowledge of common compiler analysis techniques is preferred, such as control flow analysis, data flow analysis, pointer analysis, inter-procedure analysis, etc
-
Basic knowledge of popular ISAs is preferred, such as x86, arm and risc-v
-
Basic knowledge of virtual machine, garbage collection, binary dynamic instrumentation and other related technologies are preferred
-
Basic knowledge of formal verification technology is preferred
-
Good sense of teamwork, those with oral and written English communication skills are preferred