Filtr uses AI to scan 1000+ jobs and finds postings that perfectly matches your resume

Leidos Innovations Center's Information and Data Science Division is seeking a Senior Resilient Systems Scientist to lead strategic solution developments and projects, driving the capture of strategic customer-funded software R&D, and developing a groundbreaking research portfolio.

Requirements

• Industrial and/or academic experience advancing the state of the art in FPGA development, embedded systems, 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
• Experience with test and evaluation, software analysis and software specification
• FPGA development and testing, embedded systems design and innovation, 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
• Experience 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
• Experience in semantic analysis of software
• 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

Responsibilities

• Develop innovative solutions to challenging problems of interest to the Defense Applied Research Projects Agency (DARPA) and U.S. Department of Defense (DoD).
• Engaging R&D customers and transition partners to understand technical gaps and needs for resilient systems solutions in mission critical systems.
• Leading teams of researchers and engineers in the development, adaptation, and extension of innovative approaches to resilient systems solutions across a range of technical areas and application domains to advance the state of the art while addressing long-term problems of importance to national security such as embedded systems.
• Develop novel approaches for the generation of assurance evidence for critical software, at scale
• Collaborate in cross-discipline teams to deliver innovations that provide measurable resilient mission impact.
• To ensure technical relevancy, they will track software technology trends in the customer community and broader R&D communities as well as identify future software R&D funding opportunities.

Other

• Proven track record in proposing, winning, and executing work with customers such as DARPA, IARPA or similar agencies within the last 5 years
• Bachelor’s degree in Computer Science, Mathematics, or a related field and 12+ years prior relevant experience, M.S degree with 10+ years of prior relevant experience, or Ph.D. with 8+ years of experience (Ph.D. preferred)
• Strong verbal and written communication skills, with experience engaging with senior leadership and technical teams as well as ability to present complex software solutions in a clear, understandable manner
• Qualified candidates must possess a Secret clearance as well as the ability to obtain a Top Secret
• 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