Gramian Consultancy is a boutique consultancy specializing in IT professional services and engineering talent solutions. With a strong background in software engineering and leadership, we help companies build high-performing teams by matching them with professionals who truly fit their needs.

Role Overview

We are partnering on an advanced AI research initiative focused on improving mathematical reasoning capabilities in next-generation AI systems. The project involves developing and evaluating challenging mathematics benchmarks used to assess how effectively AI models solve complex, multi-step reasoning problems.

We are looking for candidates with strong backgrounds in competitive mathematics and proof-based reasoning. You will create original mathematical challenges, write rigorous solutions, and evaluate AI-generated reasoning across domains such as Algebra, Number Theory, Combina...