成都招聘

负责公司形式化验证软件的开发调试，包括软件核心算法模块的开发，对客户问题的支持

任职要求：

1.计算机，微电子，电子信息通信、自动化等专业本科或者以上学历；

2.熟悉C/C++语言开发，了解Makefile；

3.熟悉LINUX系统, GCC, GDB等开发调试工具；

4.能够熟练阅读英文文献

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