人才招募

Junior Compiler and Formal Verification Development Engineer

Job Type: Full Time, Permanent

Location: Shanghai

Reporting: Core R&D Department

Share:

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

We're looking for self-starters - candidates who can jump in quickly without requiring a lot of direction, learn by effective research, and pursue concrete results timely.

通过使用我们的网站,表明您已经阅读并理解我们的Cookie政策及隐私政策