Research Scientist, Formal Methods and Computational Science at OpenTrain AI | Remote