通信、计算机、电子专业等专业硕士及以上学历，3年以上工作经验，优先应届毕业硕博条件可放宽

熟悉C/C++编程；

熟练掌握算法，数据结构，熟悉图论算法优先考虑

熟悉verilog或者system verilog；

熟悉LINUX系统以及GCC, GDB等开发调试工具

具有编译器开发和优化背景，熟悉LLVM编译框架优先

有多线程/多进程/分布式开发经验优先

有形式验证（Formal Verification）工具开发经验或相关背景优先考虑

熟悉BDD/SAT 求解器（solver）优先考虑