关于我们
Symbolica 是一家人工智能研究实验室，开创性地将范畴论应用于机器的逻辑推理。
我们是一个资源充足、灵活敏捷的专家团队，致力于弥合理论数学与尖端技术之间的差距，创建像人类一样思考的符号推理模型——精确、逻辑且可解释。当其他人专注于扩展数据需求量大的神经网络时，我们正在构建理解思维结构的人工智能，而不仅仅是数据中的模式。
我们的方法结合了严谨的研究与快速、结果导向的执行。我们在重新构想智能的基础，同时在紧密的反馈循环中开发以产品为中心的机器学习模型，研究推动应用。
成立于2022年，我们已从包括Khosla Ventures、General Catalyst、Abstract Ventures和Day One Ventures在内的硅谷领先投资者那里筹集了超过3000万美元，以推动形式数学和逻辑在机器学习中的应用边界。
我们的愿景是创建能够改变行业的人工智能系统，使机器能够以精确和洞察力解决人类最复杂的挑战。加入我们，通过将突破性的想法变为现实来重新定义人工智能的未来。
关于职位
我们正在寻找具有Rust知识的高级软件工程师，全面负责从原型和高层次规格交付工作系统——从研究团队获取想法，将其转化为生产质量的系统，并快速交付。您将与研究人员、机器学习工程师和领导层密切合作，将雄心勃勃的想法转化为真实的产品。您需要快速行动，处理不确定性，并填补研究与生产之间的关键执行差距。
这个角色非常适合那些热衷于交付的人——将不完整的规格视为机会而非障碍——并希望构建在规模和现实世界中可靠工作的系统。
📍 这是一个基于我们旧金山办公室的现场职位。
您的重点
- 将研究原型和高层次概念转化为生产质量的软件
- 全面负责交付：获取规格，澄清需求，并执行至完成
- 构建正确、可靠、可维护和高性能的系统
- 与机器学习研究人员和工程师密切合作，将研究成果整合到功能系统中
- 负责关键的工程任务，保持高标准和细节关注——数据管道、API集成、测试、错误处理、系统集成等
- 参与代码审查、技术讨论和架构规划
- 为改进我们如何在团队之间构建、交付和交付功能的流程做出贡献
关于您
- 5年以上软件工程实际经验
- 证明能够在不完整的规格上执行并推动项目完成
- 有撰写生产质量代码的丰富经验（强烈推荐Python和Rust）
- 熟悉构建全栈系统（API、数据管道、微服务、内部工具）
- 对代码质量、可维护性和正确性有高标准
- 在快速变化、优先级迅速转移的环境中感到舒适
- 偏向于责任感：您看到需要完成的事情并负责交付
- 支持机器学习研究或构建机器学习基础设施的经验是加分项
- 深刻理解LLM架构和推理时间优化
- 对代理生态系统（框架、工具、MCP服务器、MAS架构）有深入了解
- 在LLM/代理领域快速原型设计的记录
- 有协调和评估复杂多代理系统的经验
我们提供
- 具有竞争力的薪资和早期股权激励
- 高信任、执行优先的文化，官僚主义最小化
- 直接负责有实际业务影响的有意义项目
- 一个难得的机会，坐在深度研究与现实世界产品化的交界处
此职位的候选人必须被合法授权在美国工作。此职位不符合签证赞助或支持资格。
阅读更多关于Symbolica的信息：
- https://fortune.com/2024/04/09/vinod-khosla-former-tesla-autopilot-engineer-ai-models/
- https://venturebeat.com/ai/move-over-deep-learning-symbolicas-structured-approach-could-transform-ai/
Symbolica 是一个平等机会雇主。我们庆祝多样性，并致力于为所有员工创造一个包容的环境，无论种族、性别、年龄、宗教、残疾或性取向。
