Remote or Arlington, Virginia
•
Today
Leidos Innovations Center is looking for a Software Engineer in formal methods and cyber-physical systems who has experience with integrating and delivering of state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems. This role will contribute to R&D projects in formal methods, proof engineering, theorem proving, formalized mathematics, gaining hands-on experience developing and applying novel capabilities to address emerg
Full-time
USD 85,150.00 - 153,925.00 per year