Leidos
Software Engineer - Functional Programming
Join to apply for the
Software Engineer - Functional Programming
role at
Leidos Software Engineer - Functional Programming
1 week 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 transfer within the Resilient Systems Campaign. Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
Basic Qualifications
Bachelor’s degree in computer science, computer engineering, electrical engineering, or a closely related technical field. Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master’s with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain. Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others. Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others. Hands-on experience developing and fielding real-world software. Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts. Strong technical writing and communication skills. Strong understanding of sound software development principles and practices and ability to define software development processes. Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
Preferred Qualifications
Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others. Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL. Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets. Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications. Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don’t wear capes (they’re a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for “how it’s always been done.”
Original Posting
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that 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 as listed above.
Pay Range
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law. Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Engineering and Information Technology Industries Government Administration and IT Services and IT Consulting Referrals increase your chances of interviewing at Leidos by 2x Sign in to set job alerts for “Software Engineer” roles.
Junior Full Stack Software Engineer (JAVA)
Gaithersburg, MD $55,250.00-$99,875.00 5 days ago Annapolis Junction, MD $3,000.00-$5,250.00 1 day ago Fort Meade, MD $12,000.00-$150,000.00 1 month ago Rockville, MD $55,000.00-$125,000.00 1 month ago Washington, DC $80,000.00-$100,000.00 3 days ago Chantilly, VA $75,000.00-$95,000.00 3 days ago Junior Software Engineer - Fully Cleared (Prime)
Annapolis Junction, MD $127,000.00-$167,000.00 3 weeks ago Fort Meade, MD $70,000.00-$100,000.00 1 month ago Reston, VA $87,975.00-$103,500.00 3 weeks ago Annapolis Junction, MD $130,000.00-$270,000.00 2 weeks ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr
Join to apply for the
Software Engineer - Functional Programming
role at
Leidos Software Engineer - Functional Programming
1 week 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 transfer within the Resilient Systems Campaign. Contribute to efforts to promote the upskilling of the broader Leidos workforce on the topics of functional programming, programming language theory, and industrialized formal methods.
Basic Qualifications
Bachelor’s degree in computer science, computer engineering, electrical engineering, or a closely related technical field. Minimum of 8 years of experience, with a significant portion focused on applying functional programming in the development of real-world systems; master’s with 6-10 years of prior relevant experience. May possess a Doctorate in technical domain. Proven expertise in at least one functional programming language, to include Haskell, OCaml, F#, Scala, Clojure, Elixir, or others. Demonstrated competence in common imperative programming languages, to include C/C++, Java, Python, and others. Hands-on experience developing and fielding real-world software. Excellent analytical, problem-solving, and critical thinking skills and ability to work independently on complex tasks and lead technical efforts. Strong technical writing and communication skills. Strong understanding of sound software development principles and practices and ability to define software development processes. Ability to obtain and maintain a DoD Secret clearance. (U.S. Citizenship is required)
Preferred Qualifications
Demonstrated experience with semi-formal and formal methods tools to include property-based and random testing frameworks, SMT solvers, interactive theorem provers, model checkers, and others. Demonstrated experience with model-based systems engineering practices based on SysMLv2 and/or AADL. Demonstrated experience developing software for embedded systems, to include single-board computers, FPGAs, MPSoCs, and other bespoke hardware targets. Demonstrated experience developing high-criticality software with high-throughput requirements, e.g. networking and streaming data processing applications. Active DoD Secret clearance is preferred
LInC
Come break things (in a good way). Then build them smarter.
We're the tech company everyone calls when things get weird. We don’t wear capes (they’re a safety hazard), but we do solve high-stakes problems with code, caffeine, and a healthy disregard for “how it’s always been done.”
Original Posting
July 28, 2025
For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that 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 as listed above.
Pay Range
Pay Range $104,650.00 - $189,175.00
The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law. Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Engineering and Information Technology Industries Government Administration and IT Services and IT Consulting Referrals increase your chances of interviewing at Leidos by 2x Sign in to set job alerts for “Software Engineer” roles.
Junior Full Stack Software Engineer (JAVA)
Gaithersburg, MD $55,250.00-$99,875.00 5 days ago Annapolis Junction, MD $3,000.00-$5,250.00 1 day ago Fort Meade, MD $12,000.00-$150,000.00 1 month ago Rockville, MD $55,000.00-$125,000.00 1 month ago Washington, DC $80,000.00-$100,000.00 3 days ago Chantilly, VA $75,000.00-$95,000.00 3 days ago Junior Software Engineer - Fully Cleared (Prime)
Annapolis Junction, MD $127,000.00-$167,000.00 3 weeks ago Fort Meade, MD $70,000.00-$100,000.00 1 month ago Reston, VA $87,975.00-$103,500.00 3 weeks ago Annapolis Junction, MD $130,000.00-$270,000.00 2 weeks ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr