Research Software Engineer, Formal Methods @ RTX | Jobright.ai