我们正在寻找一位富有创造力的高级编程语言工程师，参与设计和实现 Cadence，这是作为 Flow 区块链一部分引入的一种新的智能合约编程语言。Cadence 以“资源导向编程”为设计理念，这是一种新的编程模型，将线性类型与对象能力相结合，创建一个安全且声明式的数字所有权模型。
您将帮助塑造 Cadence 的未来，并参与语言的各个方面，从概念到实现语言特性。您将负责理解语言实现、链上执行环境和核心协议之间的交互，帮助开发各种工具，以促进这一令人兴奋的新编程语言的发展。
关于我们：
Flow 是为建设者打造的区块链。由 Dapper Labs 创建，该团队背后是 CryptoKitties，Flow 将成为下一代去中心化应用程序的基础，著名合作伙伴包括华纳音乐集团、育碧和 Animoca。
Flow 团队是一群谦逊而好奇的建设者和科学家，他们对区块链技术及其所能实现的新型软件充满热情。我们的人才是我们最大的优势：我们多元化的团队在鼓励个人自主和职业成长的环境中蓬勃发展。我们重视文化高于一切；无论您来自哪里或学习了什么，您在这里的角色都需要在复杂问题上具备高水平的创造力和战略思维。
关于您：
• 您在编译器的设计和实现方面具有实践经验，包括解析、语义分析、类型检查、优化和代码生成。
• 您对不同的编程语言和编程范式有广泛的接触。
• 您能够将自己的技能应用于各种用例；不灵活的专家请勿申请。
• 您理解规划的重要性，但也能灵活应变，能够快速优先处理最有影响的任务。
• 您对测试覆盖率非常重视。
• 您在一种或多种通用编程语言方面有经验，包括但不限于：Go、Rust、C/C++、Swift、Python。
如果您具备以下条件，将会加分：
• 具有区块链技术的经验。
• 熟悉至少一种函数式编程语言：Haskell、OCaml、Clojure、Lisp 等。
• 具有智能合约语言的经验，例如 Solidity。
• 参与过开源软件项目的经验。 
旧金山