加入我们的客户团队，助力 ZK 革命，支持 web3 网络，提供可靠且具有成本效益的证明生成。他们是一家高性能的密码学初创公司，拥有令人兴奋的硬件创新，正在寻找一位优秀的编译器工程师。
关于这个职位
作为高级编译器工程师，您将构建工具以在两种新型机器上表达计算，一种是数字的，另一种是虚拟的。我们技术栈中这些领域的目标包括：
- 使用 ZK 约束系统表达可验证程序。
- 将算法翻译为针对运行在 FPGA 上的定制密码处理器的代码。
您将与硬件和密码学团队紧密合作，定义指令集和高级程序表示。您构建的工具可能是嵌入式编程语言、专用编译器和机器仿真器。这项工作将通过改善产品的开发者体验、性能和安全性，直接影响 Irreducible 的成功。
资格要求
- 精通 Rust
- 函数式编程
- 有编写 CPU 汇编代码的经验
- 有编写虚拟机解释器或仿真器的经验
- 较强的书面和口头沟通能力
- 能够跨抽象层思考
- 理解技术权衡，并采取务实的方法解决问题
- 渴望在快节奏的初创公司环境中工作
加分资格
- 熟悉 WebAssembly 或 RISC-V
- 有编写编译器的经验
- 有非标准 ISA 的经验
- 有 AI/ML 硬件加速器的经验
- 理解形式验证技术
- 理解零知识密码学
我们提供
- 具有竞争力的薪资和福利套餐。
- 与热情和创新的团队合作的机会。
- 灵活的工作时间和远程工作选项（支持搬迁到柏林）
- 职业成长和发展机会。
- 协作和包容的公司文化。 
