成都招聘

1.微电子学、电子工程或电子设计自动化相关专业本科(学士)或者以上学历；

2.1年以上IC/FPGA设计、验证或者EDA相关工作领域研发经验；

3.有较好的数字电路和硬件描述语言verilog/systermverilog/vhdl基础;

4.熟悉脚本语言(shell，tcl...)，熟悉Linux的日常使用；

5.有较强的问题分析能力、良好的沟通能力、良好的英语读写能力、文档编写能力；

6.有linux上的应用程序开发的经历优先；

7. 能通过公司培训快速理解并使用形式验证工具，有形式验证(Formal verification)工具使用经验更佳；

8.接受出差；

工作职责：

1.与销售紧密合作，完成售前和售后的芯片数字前端形式验证技术支持工作；

2.协助研发开展公司部分新产品应用与测试；

3.帮助客户工程师搭建并调试芯片模块的验证环境；

4.配合研发解决客户现场反馈问题。

工作地：上海/成都

    上海阿卡思微电子科技有限公司是由硅谷回国的资深芯片设计自动化(EDA)专家于2020年5月在上海浦东张江高科技园区设立，旗下全资子公司成都奥卡思微电科技有限公司落地成都高新区。公司拥有集成电路及芯片设计自动化核心技术，是目前国内本土***提供芯片数字前端EDA软件的公司，开发国际领先、自主可控的具有完全自主知识产权的数字EDA产品。
公司已商用的EDA产品有AveMC芯片形式化验证EDA软件和AveCEC芯片逻辑等价性检查EDA软件。AveMC软件在覆盖率、空泛性等技术方面全球独一无二。