关于 啄木鸟
公司希望彻底改变基于斯坦福大学颠覆性研究的半导体验证和确认。 我们得到了国际顶级风险投资的支持，并在中国和台湾拥有一级设计公司客户。
 
我们目前在中国大陆和台湾设有办事处，并希望积极发展公司！
 
职位描述
我们正在寻找一位积极进取且注重细节的资深编译器开发工程師加入我们公司。该角色将专注于实现和验证基于斯坦福大学多年研究的创新验证技术的产品，帮助我们扩展并将其转变为工业用途。 您将负责开发、验证、产品化、和维护啄木鸟独有，用于产生硬件测试软件的編譯器(基于 LLVM 和 GCC)。这是一个可以精英团队的好机会，并能够在一个具有挑战性的领域学习，贡献和创新。 个人还将与客户合作，将产品集成到他们的验证流程中。
啄木鸟为选定的候选人提供有竞争力的薪酬，并具有公平性。办公地点全国可议，工作薪资可议。
 
主要职责
主要职责将根据候选人的技能和专业知识来调整，而其中有可能包括下列几项：
· 修改 LLVM 或 GCC 以开发啄木鸟独有的编译器
· 撰写和维护测试计划
· 建立不同指令集架构的编译器测试环境，如 RISC-V， ARM 等
· 为验证解决方案发明新功能或技术
 
资格
· 具有电机/电子/计算机的本科,硕士,博士学位。
· 工程师：具软件开发和验证相关经验
· 具深度的编译器知识
· 具有 LLVM 或 GCC 环境的软件开发经验
· 精通 C / C++ / Java 语言
· 精通 Linux 环境及至少一种可用于建立回归测试的脚本语言（如 Python, Perl, Tcl）
· 具有软件验证工具和方法的经验
· 熟悉指令集架構 (如 RSIC-V, ARM, x86)
· 熟悉版本控制方法/系统，如Perforce或GIT
· 强大的分析和问题解决能力
· 有独立工作的能力
· 能够与内部和外部团队/客户有效合作。
· 具有强烈学习初创公司所可能需要的各种技能的渴望
 
首选技能
理想中的候选人将会有以下的经验：
· 拥有 post-SI 验证和调试经验
· 熟悉使用云计算平台，如 AWS 或 GCP