Relevant specializations may include applied mathematics, scientific computing, operations research, optimization, formal mathematics, theorem proving, probability, statistics, numerical methods, and mathematical modeling. micro1 is looking for Computational Mathematicians, Statisticians, and Optimization Experts with prior professional AI-training or model-evaluation experience to support a project focused on improving advanced AI systems.