职位描述
本站申请链接
作为 IOG 的软件工程师，您将负责为我们的产品编写高质量的代码。您将面临与前沿研究和技术打交道的令人兴奋的挑战。加入开发 Cardano 区块链的团队吧。我们的团队主要负责推进 Cardano 的分类账，维护其安全性、可扩展性和整体架构。
offer要求
- 编写满足给定任务验收标准的惯用 Haskell 代码
- 编写能够提供足够且无多余的高效代码覆盖率的测试（单元测试、属性测试）
- 最好拥有计算机科学学位，但并非必要条件
- 至少 5 年 Haskell 开发经验（专业或其他）
- 具有在声明式编程范例中编写代码的丰富经验
- 具有使用 Git 和 Github 的工作经验
- 具有使用 nix 的经验者优先考虑，但不是必需的
- 熟练掌握高级 FP 技术，例如：类型族、高类数据、依赖类型、泛型编程、类型级编程、自由单体
- 熟练掌握评估策略和相关概念：按需调用、懒评估、备忘录化、弱头规范形式与规范形式。能够识别和避免空间泄漏
- 使用任何常用库在 Haskell 中使用序列化技术的经验：cborg、serialise、store、flat、二进制等
- 深入了解纯函数式数据结构和提供此类功能的 Haskell 库：容器、矢量、字节序等
- 熟练使用其他常见的 Haskell 库，如 cryptonite、random、transformers、mtl、lens、conduit、persistent、aleson 等
offer待遇
- 远程工作
- 报销笔记本电脑费用
- 购买硬件必需品（耳机、显示器等）的新入门包
- 学习和开发机会
- 工作时间
- 具有竞争力的 PTO
