Digital Design Engineer
Efficient Computer
IoTPython
Principal Research Scientist, Manufacturing and Autonomy
Leidos
full-time
Posted on:
Origin: • 🇺🇸 United States • California, Virginia
Visit company websiteSalary
💰 $126,100 - $227,950 per year
Job Level
Lead
Tech Stack
IoTJavaPythonRubyRustScala
About the role
- Develop innovative solutions to challenging problems of interest to DARPA and U.S. Department of Defense (DoD)
- Engage R&D customers and transition partners to understand technical gaps and needs for resilient systems solutions in mission critical systems
- Lead and execute research in areas of naval surface platforms, autonomy, and resilient systems
- Develop and deliver software products
- Lead teams of researchers and engineers in the development, adaptation, and extension of innovative approaches to resilient systems solutions
- 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
- Track software technology trends and identify future software R&D funding opportunities
- Drive capture of strategic customer-funded software R&D and develop/lead a research portfolio using internal and customer funding
Requirements
- Proven track record in proposing, winning, and executing work with customers such as DARPA, IARPA or similar agencies within the last 5 years
- Proven track record in developing and delivering software products
- Experience with surface platforms, autonomous concepts, and naval applications
- Bachelor’s degree in Computer Science, Mathematics, or a related field and 15+ 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)
- 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
- Experience with autonomous systems
- Experience with naval systems and specifically surface vessels
- Proven track record in proposing, winning, and executing Contract R&D
- 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
- 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
- Ability and willingness to obtain and maintain a DoD Secret clearance
- U.S. Citizenship is required
- Preferred: Ph.D. in Computer Science, Mathematics, or related degree
- Preferred: 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
- Preferred: Experience conducting applied research areas of CPS such as autonomous vehicles, smart sensors, or Internet of Things
- Preferred: Experience in semantic analysis of software
- Preferred: Strong and proven customer relationship skills and ability to shape opportunities
- Preferred: Experience applying and leading the application of formal methods in research contexts
- Preferred: Ability to work in a fast-paced environment
- Preferred: Proven experience forming strong teams composed of members from academia and industry
- Preferred: Experience developing software for critical applications that require software certification
- Preferred: Active DoD Secret clearance
- Preferred: Ability and willingness to work a hybrid schedule onsite in either San Diego California or Arlington Virginia
