工作职责： 1、负责数字集成电路验证EDA工具软件开发,包括编译工具，时序分析工具，图分割算法，海量数据处理工具； 2、负责数字仿真器，调试器软件的开发； 3. 硬件描述语言verilog或者system verilog的编译与综合； 4. C/C++编译； 5. 形式验证工具建模及优化； 6、形式验证工具求解器的开发、集成以及优化。 7、参与新产品软件系统规划设计和开发。 岗位要求： 1. 通信、计算机、电子专业等专业硕士及以上学历，3年以上工作经验，优先应届毕业硕博条件可放宽； 2. 熟悉C/C++编程； 3. 熟练掌握算法，数据结构，熟悉Graph/Tree的算法优先考虑； 4. 熟悉verilog或者system verilog； 5. 熟悉LINUX系统以及GCC, GDB等开发调试工具； 6. 具有编译器开发和优化背景，熟悉LLVM编译框架优先； 7. 有多线程/多进程/分布式开发经验优先； 8. 有形式验证（Formal Verification）工具开发经验或相关背景优先考虑； 9. 熟悉BDD/SAT 求解器（solver）优先考虑。