Software Engineer - Formal Methods @ Leidos | Jobright.ai