LanceSoft, Inc. is seeking top-tier competitive mathematicians to work on innovative AI projects. You will craft original and challenging mathematics problems and evaluate AI models by creating novel prompts that expose reasoning deficiencies.

Your role involves designing problems at AIME, HMMT, and IMO difficulty levels while contributing to the development of new evaluation benchmarks in competitive mathematics.