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