Go工程师
全职
多伦多，柏林，维也纳，洛桑，远程
关于Informal Systems
Informal Systems是一家以远程为主的公司，办公室设在多伦多，洛桑，维也纳和柏林。我们的结构类似于工人合作社，重要的公司行动受到成员员工的一人一票民主控制。
Informal是Cosmos的核心贡献者，我们通过大量依赖形式验证工具和技术（如TLA+形式规范、符号模型检查器Apalache、基于模型的测试框架等）开发可互操作的区块链系统。
Cosmos技术栈，包括Tendermint Core、Cosmos-SDK、IBC和Cosmos Proof of Stake模块，是一个业界领先的Go工具包，用于构建、部署和运行社区拥有的去中心化网络。这项技术今天被用于保护价值数十亿美元的加密货币市值。
作为一名Go工程师，您将有机会与产品团队合作，改进区块链查询和交易的API。这个角色将有助于弥合协议的形式验证和代码库的质量之间的差距，并与工程、运营和应用团队互动，改进我们功能的自动化。
您的主要职责将包括：
• 学习并融入Cosmos区块链生态系统
• 参与整个技术栈的设计和开发过程
• 贡献干净、经过良好测试和文档化的代码
• 改进软件的用户体验和代码质量
• 审查问题和拉取请求，并为贡献者提供有价值的反馈
• 架构和贡献即将推出的SaaS产品，包括开发后端服务
• 设计新的加密经济协议，以支持新兴区块链互操作性
• 开发Cosmos Hub的关键组件，包括权益证明系统、IBC、共享安全等
• 改进软件的用户体验、正确性、代码质量和性能。
我们在一名成功的Go工程师中寻找的特质：
• 有Golang或类似语言的编写经验
• 优先考虑有3年分布式系统或区块链编程经验
• 熟悉区块链系统
• 致力于产品质量和用户体验
• 有设计易于使用的可维护API的成功经验
• 有可靠自动化流程的记录
• 有开源项目和社区经验
• 有承担责任并将倡议落实的能力
• 优秀的人际交往能力，有与分布式团队合作和指导他人的经验
我们的一些福利包括：
• 独特、关怀和友好的文化（了解更多关于我们的工作方式）
• 每年25天（5周）带薪休假，外加3天心灵假期
• 公司在12月25日至1月1日闭店
• 年度生活方式福利（健身房会员费、健身器材等报销）
• 远程优先、灵活的工作环境
• 为您设立家庭办公室的津贴，以确保您的成功
• 年度公司聚会
• 带薪产假
• .....等等 
多伦多