Accurate knowledge representation for discovery of insights and transparent problem solving.
About the Company
We are building an AI system for analysts and scientists based on a fundamentally new approach to reasoning and knowledge representation. Our system goes beyond state-of-the-art large language models by symbolically combining algorithms to enable novel capabilities such as multi-step analysis, verifiable reasoning paths, and uncertainty assessment. Our vision includes applications that support and automate analysis and research across domains like Finance, Strategy Consulting, Engineering, Material Sciences, and more.
About the Role
We are looking for strong software engineers to build our program synthesis pipeline. In this role, you can choose to work close to theory or focus on production system development. You will be exposed to cutting-edge research in areas including Bayesian statistics, dynamical systems, information theory, and category theory.
Responsibilities
- Define new features or fixes with a strong understanding of overall objectives and challenges
- Deliver features or fixes end-to-end with ownership and accountability
- Develop implementation strategies
- Leverage expertise from other team members effectively
- Write design documents for complex problems
- Write clean, performant, and maintainable code
- Support team members to help them meet their goals
Required Skills
- Experience implementing program synthesis frameworks
- Strong algorithm implementation and analysis skills
- Production backend software engineering experience
- Proficiency in Julia or other functional/typed languages such as Rust, OCaml, Clojure, C++, or Haskell
- Experience with symbolic computing, including graph theory and algebra
- Skills in profiling and low-level performance optimization
- Advanced degree in Mathematics, Computer Science, or Statistics preferred
Required Mindset
- Builder at heart: passionate about building and solving complex problems with entrepreneurial spirit and humility
- Results-driven: proactive, resourceful, accountable, and focused on delivering impactful results
- Growth mindset: intellectually curious, critical thinker, and eager to explore state-of-the-art methods
- Strong collaborator: clear communicator who embraces iterative progress and adapts to feedback
- Project management approach: breaks down goals into manageable parts, solves problems systematically, involves others in problem-solving, and documents processes for team continuity