-
, formal verification, proof assistants, automated proof search, and AI-guided mathematical discovery; neural operators, physics-informed learning, inverse problems, uncertainty quantification, and rigorous
-
, TensorFlow). Experience working with multimodal datasets (video, gaze, motion, behavioral responses). Background or interest in decision making under uncertainty, social decision dynamics, or human–AI
Enter an email to receive alerts for uncertainty "https:" positions