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 Software Engineers with a Bayesian statistics background to contribute to development of our models and algorithms for statistical inference and machine learning. Tasks will focus on designing, implementing, and scaling statistical procedures that are applicable to a wide class of models and embedded within a large software system.