崗位職責:
1. 負責智能計算系統(tǒng)的驗證環(huán)境的搭建與維護;
2. 負責驗證工具開發(fā),提升驗證環(huán)境的易用性;
3. 負責智能計算的子系統(tǒng)級驗證。
任職要求:
1. 計算機、軟件工程、集成電路、微電子等信息學相關專業(yè)本科及以上學歷;
2. 熟悉程序運行原理,例如編譯鏈接過程;
3. 熟悉常見的鏡像分析工具,例如obj*/elf*等;
4. 具有數字邏輯驗證實習或工作經驗;
5. 熟練掌握Python, bash, makefile等;
6. 有CPU、AI芯片驗證經驗優(yōu)先;
7. 有強烈的自動化、便捷化意識。