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