Software Engineer - Functional Programming

Software Engineer - Functional Programming

Join to apply for the Software Engineer - Functional Programming role at Leidos

Software Engineer - Functional Programming

6 days ago Be among the first 25 applicants

Join to apply for the Software Engineer - Functional Programming role at Leidos

Description
Are you a motivated

Description
Are you a motivated Software Engineer with technical, hands-on experience using functional programming to develop real-world systems? Join us at the Leidos Innovations Center, Information and Data Science Division, with a group of highly skilled and innovative individuals and a variety of exciting R&D programs.
As a Software Engineer , you will appeal to your expertise in functional programming and other programming language theory concepts to design and implement sophisticated software solutions spanning all levels of the computational stack for operational technology (OT) and enterprise IT systems alike. You will work in a dynamic, high-impact environment requiring knowledge of embedded systems, cyber-physical systems, AI and autonomy, and technologies relevant to the continuous integration/continuous deployment of software.
Primary Responsibilities

• Architect and develop software in support of the Resilient Systems Campaign within the Information and Data Science Division, to include providing software engineering expertise on awarded DARPA programs.
• Design, develop, and maintain custom tools and frameworks to support the development of high-assurance, resilient software.
• Utilize the state-of-the-art in semi-formal and formal methods tools in the development of high-assurance, resilient software.
• Produce technical documentation, mentor junior engineers, and contribute to knowledge