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