We're a well-resourced, nimble team of experts on a mission to bridge the gap between theoretical mathematics and cutting-edge technologies, creating symbolic reasoning models that think like humans – precise, logical, and interpretable.
Requirements
- Conducting research into symbolic and categorical reasoning models, bridging abstract mathematics with machine learning.
- Translating complex theoretical insights into scalable, efficient coding implementations.
- Developing and optimising machine learning pipelines for structured reasoning tasks, with a focus on interpretability and performance.
- Building robust experimentation platforms for large-scale training and evaluation of models.
- Collaborating with researchers to explore novel architectures and methodologies in logical reasoning and structured data.
- Benchmarking, debugging, and refining models to ensure reliability in real-world applications.
- Staying at the forefront of advancements in mathematics, machine learning, and AI research to inspire new approaches.
Benefits
- Competitive compensation
- Attractive equity package