Total 4 job vacancies by 00100 LEIDOS, INC.

Leidos is looking for a Machine Learning (ML) Algorithms Research Engineer to join our Electronic Warfare (EW) division.  The candidate will research, develop, and implement new machine learning algorithms to support the division’s Cognitive EW business area, which leverages state of the art ML concepts for implementation across the RF domain (e.g., cognitive communications, radar, electronic warfare (EW), spectrum sensing, SIGINT). 

The Leidos EW Division performs on programs that include advanced signal processing, machine learning, optimization, detection & estimation, deep learning, and adaptive decision and control. 

Primary Responsibilities

• Designs and develops methods, algorithms, and systems that apply machine learning technologies to support advanced electronic warfare concepts.

• Works and leads cross-discipline engineering teams in order to develop, integrate, test, and field Cognitive Electronic Warfare systems.

• Support business capture activities and proposals through technical contributions in the areas of machine learning, advanced signal processing, radar, and electronic warfare.

Basic Qualifications

• Strong experience with mathematical model tools and languages; such as MATLAB, Python, etc.

• Experience in being part of a multi-disciplinary project team in research or development

• Strong and confident communication/presentation skills 

• An active US Secret clearance is required

• Bachelor’s Degree in Electrical Engineering, Applied Math, Computer Science / Machine Learning, or similar field and 12+ years of experience

Preferred Qualifications

• The ideal candidate will have a Master’s Degree in Electrical Engineering, Applied Math, Computer Science / Machine Learning, or similar field.

LInC

Electronic Warfare

Original Posting Date:

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:

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.

Leidos Innovations Center is looking for a principal research scientist in the areas of formal methods and cyber-physical systems (CPS) who has a proven track record in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.

Primary Responsibilities

The principal research scientist will serve in the role of principal investigator on contract R&D and internal R&D programs, engaging R&D customers and transition partners to develop new business opportunities and leading teams of researchers and engineers in the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research. The focus of this research is the generation of assurance evidence for critical software, at scale.

The innovative technical solutions will advance the state of the art while addressing long-term problems of importance to national security.  As such, candidates should have successful, proven, and demonstrable experience leading proposals and winning competitive research and development efforts, and then leading high-performing teams in the development and integration of software-based solutions for customers such as DARPA and other branches of the Department of Defense

Basic Qualifications

• M.S or Ph.D. (preferred) degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.
• At least 10 years with M.S or 8 years with Ph.D. of industrial/academic experience advancing the state of the art in formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving.
• At least 4 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
• At least 5 years of hands-on experience:
  • applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools and
  • conducting applied research areas of CPS such as autonomous vehicles, smart sensors, or Internet of Things, fusing data collected from cyber and physical systems to develop novel approaches to address emerging technical challenges in domains relevant to U.S. national security.
• Strong and proven customer relationship skills including the ability to discover the true technical challenges and requirements associated with opportunities, recommending alternative technical approaches, and shaping future opportunities.
• Qualified candidates must be a U.S Citizen and be able to obtain a DoD Secret clearance with potential eligibility for Top Secret (no clearance needed to start).

Preferred Qualifications

• Ph.D. in Electrical Engineering, Computer Science, Mathematics, or in areas related to low-level systems, software correctness
• Track record of extending formal methods tools for new challenges
• Experience applying and leading the application of formal methods in fundamental research contexts, to problems in complex domains, under conditions of uncertainty, and dynamic and evolving technical challenges
• Proven track record in proposing, winning, and executing work with customers such as DARPA
• Ability to work in a fast-paced environment
• Excellent written and oral skills in communicating technical information with an ability to present complex technical information clearly and coherently
• Proven experience forming strong teams composed of members from academia and industry for competitive research and development opportunities.

LInC

Original Posting Date:

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:

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.

Leidos Innovations Center is looking for a senior research scientist in formal methods and cyber-physical systems who has experience in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software-intensive systems.

Primary Responsibilities

The senior research scientist will serve in the role of senior of chief scientist on contract R&D programs, engaging or supporting the engagement of customers to develop new business opportunities and leading teams of researchers and engineers in the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research. The focus of this research is the generation of assurance evidence for critical software, at scale.

The innovative technical solutions will advance the state of the art while addressing long-term problems of importance to national security.  As such, strong candidates will have successful, proven, and demonstrable experience winning and contributing to proposals and winning competitive CRAD efforts and then leading high-performing teams in the development and integration of software-based solutions for customers such as DARPA and other branches of the Department of Defense.

Basic Qualifications

• M.S. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field with at least 6 years of industrial/academic experience making significant contributions to formal verification, developing technologies such as program analysis, constraint-solving, symbolic execution, or theorem proving. Ph.D. in technical domain above is preferred.
• At least 2 years of experience with programming languages such as Java, Scala, C/C++, Ruby, Rust, or Python
• At least 3 years of hands-on experience:
  • applying formal methods, using technologies such as theorem provers for first-order logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools and/or
  • conducting applied research areas of CPS such as autonomous vehicles, smart sensors, or Internet of Things, fusing data collected from cyber and physical systems to develop novel approaches to address emerging technical challenges in domains relevant to U.S. national security.
• Qualified candidates must be a U.S. Citizen and be able to obtain a DoD Secret Clearance with potential eligibility for Top Secret (no clearance needed to start).

Preferred Qualifications

• Ph.D. or M.S. in Electrical Engineering, Computer Science, Mathematics, or in areas related to low-level systems, software correctness
• Experience applying the application of formal methods in fundamental research contexts, to problems in complex domains, under conditions of uncertainty, and dynamic and evolving technical challenges
• Demonstrable experience extending formal methods tools for new challenges
• Experience proposing, winning, and executing work with customers such as DARPA
• Experience customer relationship skills including the ability to discover the true technical challenges and requirements associated with opportunities, recommending alternative technical approaches, and shaping future opportunities
• Experience forming strong teams composed of members from academia and industry for competitive CRAD opportunities
• Ability to work in a fast-paced environment
• Excellent written and oral skills in communicating technical information with an ability to present complex technical information clearly and coherently

LInC

Original Posting Date:

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:

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.

The Leidos Innovation Center (LInC) Advanced Analytics team is seeking qualified applicants for multiple Research Scientist openings. We are looking Research Scientists with a background in quantum technologies / quantum information science, specifically with focuses on quantum optics and communications. While experience with quantum computing hardware or algorithms can be beneficial, this is NOT a position for quantum computing efforts or interests.

This is an exciting opportunity to use your experience to help grow the Leidos quantum technologies portfolio of contract and internal R&D projects, benchmarking, and operational prototypes, geared towards quantum communications and sensing.  In this position, the Research Scientist will participate in the full life cycle of research & development of optical systems for the study of quantum-enabled remote sensing and communications. Ideal candidates should be interested in a career devoted to applied research and development with strong experimental, hardware skills and should be interested in maturing technologies from concept to prototype.

We seek to fill multiple positions across multiple levels of experience (Bachelor/Masters/Ph.D. and 1-15+ years of experience)

PLEASE NOTE: This position is for a future need.

Primary responsibilities:

• Design, build, perform tests, and analyze optics/optoelectronics/photonics experiments in various systems and platforms for cutting edge devices in quantum communication, sensing, and precision positioning, navigation, and timing
• Perform laboratory and field tests to prove and validate quantum experimental theories as viable products in applicable domains, and benchmark results within the field
• Write proposals, publish papers, attend and present at conferences, and brief internal leadership and external customers
• Collaborate with other team members, engineers, and scientists across the company and different fields to leverage quantum technologies to achieve organizational goals

To be considered for the following levels:

• Bachelor/Master or Ph.D. degrees in physics, applied physics, engineering, or related fields with 1-15+ years of relevant experience
• US Citizenship with the ability to obtain and maintain a US government Secret security clearance
• Research experience and experimental background in one or more of the following areas: integrated photonics, quantum optics, quantum entanglement, photonics, quantum communications, quantum information science, quantum sensing, materials science, fabrication

What we are looking for across all levels of Research Scientists:

• Experience developing innovative solutions based upon the application of relevant research results from a wide variety of sources
• Experience building and benchmarking software prototypes, to include metrics development, and theoretical/analytical/computational skills
• Technical writing skills with experience in writing advanced technical proposals.
• Provide business development support to help grow Arlington Branch’s project portfolio
• Strong desire to learn new technologies and flexibility to change from one project to another quickly
• Experience with standard programming languages for analytics or scientific applications
• Ability to effectively communicate to both technical and non-technical audiences
• Highly motivated to publish in peer-reviewed journals and present research at conferences

LInC

Pay Range:

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.