We are building an AI system for analysts and scientists, based on a fundamentally new approach to reasoning and knowledge representation. We go beyond state-of-the-art LLMs by combining algorithms symbolically, to provide novel capabilities like performing multi-step analysis, displaying a verifiable reasoning path, and assessing uncertainty.

We envision applications supporting and automating analysis and research in domains such as Finance, Strategy Consulting, Engineering, Material Sciences, and more.

We are looking for strong software engineers to build our reasoning algorithms. You will be able to choose how close to theory or the production system you want to work, and be exposed to cutting edge research in Bayesian statistics, dynamical systems, information theory, category theory, and more.

In this role you'll:

• Define new features or fixes, based on awareness of overall objectives and challenges
• Commit to delivering defined features or fixes end-to-end
• Define implementation strategies
• Leverage the expertise of other team members effectively
• Write design documents for more complex problems
• Write clean and performant code
• Help other team members to deliver on their goals

• A builder at heart: You’re passionate about building things, solving complex problems, and approaching challenges with an entrepreneurial spirit and humility. Your sharp sense of prioritisation gives you a laser focus on delivering results that uplift the entire team, moving us closer to our goal.
• Results-driven: You relish taking full ownership of tasks, seeing them through from start to finish, and taking accountability for the results. You’re proactive, resourceful, and avoid overcomplication - anticipating problems, even in complex, uncertain environments.
• Growth mindset: You are intellectually curious, have a critical mind, and seek opportunities to stretch your abilities. You explore the state-of-the-art, you dig deep to truly understand a problem, and question assumptions.
• A strong collaborator: You naturally communicate with clarity and purpose, ensuring your ideas and updates are easily understood. You work efficiently, embracing an iterative approach that allows for frequent progress and course correction. You’re open to direct feedback, adapting quickly and using it to improve both your work, and the performance of those around you.
• Approaching problems and tasks like a project manager:
• You can take a given goal and break it down into smaller parts.
• You can solve problems systematically, by yourself as well as collaboratively with others.
• You involve others in effective problem-solving sessions because you are eager to get input that improves your solution and not lose time due to lack of alignment.
• You document processes well because you understand that doing so enables others to take over and allow you to move on to other things.

Useful experience:

• Production backend software engineering
• Julia, or usage of some more functional or typed languages, e.g. Rust, OCaml, Clojure, C++, or Haskell
• Profiling and low level performance optimisation
• Symbolic computing (graph theory and algebra)
• Mathematics, Computer Science, or Statistics advanced degree
• Implementation and analysis of algorithms
• Symbolic computing (graph theory and algebra)
• Package development (implementation of algorithms from scratch, choice of data structures and interface design)

Competitive compensation

Compensation in line with the tech startup market, including performance-based bonuses, and possibility to receive equity.

• Base pay: market rates in the country of residence obtained from compensation benchmarks (Ravio, Figures, Levels.fyi); salary is reviewed yearly and grows according to impact in the team.
• Performance Rewards: quarterly, as a share of an overall reward pot that grows every year, according to the company’s valuation.
• Flexible range of allowances: to support professional and personal needs.
• Equity: possibility to become a shareholder from the start.

A unique work & team culture

• A multinational team of intellectually curious, with diverse talents and backgrounds, providing you with the opportunity to explore cutting-edge areas of research and software development.
• High standards in everything we do, with an emphasis on learning and continuous professional development.
• Self-determination, autonomy, and internal mobility as part of our organisational design.
• Self-driven career development, based on individual contributions and speed of growth.
• An intensive onboarding program with a dedicated mentor as well as topic-specific trainers, and various modules providing you with a holistic intro to our system, culture, and ways of work.
• Quarterly Team Retreats in different European locations - up to 4 weeks per year to work, connect, and have fun together!

Cutting edge tech

• Developing novel models of computation suitable for optimal evaluation and program synthesis.
• Designing scalable learning algorithms using Bayesian approaches applied to symbolic model representations.
• Leveraging the power of LLMs to transform natural language into a more compact syntactic representation, preserving semantics.