Principal Research Scientist with Security Clearance
- Employer
- Leidos
- Location
- Arlington, Virginia
- Posted
- Apr 01, 2024
- Closes
- Apr 19, 2024
- Ref
- 2741852305
- Discipline
- Safety / Security
- Specialty
- Connectivity
- Hours
- Full Time
- Organization Type
- Academia
R- Description 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: 2024-01-31
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 $122,200.00 - $220,900.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.
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: 2024-01-31
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 $122,200.00 - $220,900.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.