Importante grupo in Chile is offering a unique opportunity for mathematicians to design innovative mathematics problems aimed at challenging frontier AI models. This role involves verifying solutions through code and requires in-depth knowledge of specialized tools such as Z3, cvc5, SageMath, and Macaulay2. The ideal candidate is skilled in Python programming and is ready to engage in part-time, non-permanent projects. This position offers a chance to collaborate with senior reviewers to maintain high-quality standards in task design.