hours/week Role Responsibilities Author and review challenging mathematics problems to train and evaluate frontier... AI models. Evaluate model outputs on tasks such as proof construction, verification, problem-solving, formalization...
in research-level problem authoring, proof construction, proof verification, formalization, conjecture exploration, and advanced... project execution. Selected professionals will apply frontier-level mathematical judgment to author and review challenging...
of Chicago and funded by NSF, is a national user facility for frontier research in chemistry and materials science using... of administrative support associated with the construction of a second beamline recently funded by NSF for the next 3 years and the...