Description Are you an enthusiastic and skilled Software Engineer with hands-on experience in functional programming? Join us at the Leidos Innovations Center in the Information and Data Science Division, where you'll collaborate with a talented team and engage in exciting R&D programs. In this rewarding role, you will leverage your expertise in functional programming and programming language theory to design and implement advanced software solutions across the computational stack, benefiting both operational technology (OT) and enterprise IT systems. You'll thrive in a dynamic environment that emphasizes embedded systems, cyber-physical systems, AI, and technologies relevant to continuous integration and deployment. Primary Responsibilities: Architect and develop software for the Resilient Systems Campaign, providing software engineering expertise on DARPA awarded programs. Design, develop, and maintain custom tools and frameworks aimed at creating high-assurance, resilient software. Utilize state-of-the-art semi-formal and formal methods tools to enhance the development of resilient software. Produce comprehensive technical documentation, mentor junior engineers, and facilitate knowledge transfer within the team. Contribute to initiatives promoting the upskilling of the workforce on functional programming, programming language theory, and formal methods. Basic Qualifications: Bachelor's degree in computer science, computer engineering, electrical engineering, or related field. A minimum of 8 years of experience with a strong focus on functional programming in real-world systems; master's degree with 6-10 years of experience may also be considered. Proficient in at least one functional programming language, such as Haskell, OCaml, F#, Scala, Clojure, or Elixir. Competent in common imperative programming languages, including C/C++, Java, and Python. Hands-on experience in developing and deploying real-world software applications. Exceptional analytical, problem-solving, and critical thinking abilities, with a capacity to work independently on complex tasks and lead technical efforts. Strong technical writing and communication skills. Solid understanding of software development principles and the capacity to define effective software development processes. U.S. Citizenship is required, and ability to obtain and maintain a DoD Secret clearance. Preferred Qualifications: Experience with semi-formal and formal methods tools, including property-based testing frameworks, SMT solvers, theorem provers, and model checkers. Familiarity with model-based systems engineering practices using SysMLv2 and/or AADL. Experience developing software for embedded systems, such as single-board computers, FPGAs, MPSoCs, and custom hardware. Experience in developing high-criticality software applications with high-throughput requirements, particularly in networking and streaming data processing. Active DoD Secret clearance is preferred. Come innovate and challenge the status quo with us! Original Posting: July 28, 2025 For U.S. Positions: While subject to change, Leidos anticipates this job requisition will remain open for at least 3 days, with an anticipated close date of no earlier than 3 days after the original posting date. Pay Range: $104,650.00 - $189,175.00 The Leidos pay range for this job level is a general guideline and not a guarantee of compensation. Additional factors influencing an offer include responsibilities of the job, education, experience, skills, and internal equity.