职位发布者
职位描述
你将会做什么
zkSync EraVM 后端迁移到最新版本的 ISA
后端优化——更好的选择模式、更好的 ISA 利用率、窥孔通行证等。
优化器调整 - zkSync EraVM 与典型的 LLVM 目标不同,因此需要配置指令组合器等过程,并且必须调整管道本身
前端优化 - 我们的前端目前可以生成正确的 IR,但缺少可使分析和转换更高效的属性和元数据
调试信息和调试器支持
分析器支持
二进制格式开发和链接器集成 - 我们目前使用用 Rust 编写的自定义链接器,并希望有一天迁移到 LLVM
我们希望您具备什么素质
我们希望您花费大约 5 年或更长时间从事使用 LLVM 或 LLVM 本身的项目,并广泛或深入地学习 LLVM。
最好具有实现 MLIR 或 LLVM IR 级优化的经验。
我们希望您能够用现代 C++ 编写可维护的代码。
为了理解编程语言设计和编译器实现之间的联系,我们期望它对于您所使用的编程语言来说是真实的。
您可以在无人监督的情况下取得成果。
我们喜欢具有批判性思考能力的人以及发现错误时敢于沟通的人。
特别申明:
- TG招聘严禁企业和招聘者用户做出任何损害求职者合法权益的违法违规行为,包括但不限于扣押求职者证件、收取求职者财物、向求职者集资、让求职者入股、诱导求职者异地入职、异地参加培训、违法违规使用求职者简历等。 若发布的职位存在违法等恶意内容的情况, 请立即举报
工作地址
迪拜-龙城市