Mindrift is looking for mathematicians to design math problems for AI systems. This part-time role involves creating verification problems using specialized tools like Z3 and Macaulay2, alongside writing Python solutions.

With an emphasis on collaboration and quality, candidates should possess a degree in Mathematics, relevant experience, and strong English skills. The position is project-based, requiring around 10-20 hours weekly.

Compensation can reach up to $14 per hour based on contributions. Join a cutting-edge project with flexible hours.