senior research scientist - formal methods Jobs in 45301