Senior Research Engineer; PhD level​/Neuro-Symbolic AI Security Clearance

Position: Senior Research Engineer (PhD level) / Neuro-Symbolic AI with Security Clearance
Job Number 695584

Description:

Job Description :
Bringing together people who use their passion for purposeful innovation...Your Mission is Ours. At Lockheed Martin we keep people safe and solve the world's most complex challenges. We place an emphasis on empowering our employees by fostering innovation, integrity, and exemplifying the epitome of corporate responsibility. Our people are some of the greatest minds in the industry and they make Lockheed Martin a great place to work.

We provide diverse career opportunities designed to propel development and boost agility. Our flexible schedules, competitive pay, and comprehensive benefits enable our employees to live a healthy, fulfilling life in and outside of work. Lockheed Martin Advanced Technology Laboratories (ATL) is chartered with creating generation-after-next technology to help Lockheed Martin maintain technology dominance. As a group of applied research laboratories, we are professionals who develop and apply leading edge technologies to our customers' most difficult problems and needs.

Our researchers work closely with customers to create and shape opportunities and are skilled in applying emerging research to evolving programs. Our agile business structure is designed to swiftly respond to urgent needs. Our primary partners include government agencies like the Defense Advanced Research Projects Agency (DARPA) and government service laboratories, commercial enterprises, and other Lockheed Martin organizations. ATL maintains research and development relationships with government agencies, key universities, industry partners and thought leaders What our team does:
This position is within the Trusted Intelligence Laboratory (TIL). Our mission is to create new competencies for Lockheed Martin for development of Trusted-by-Design Intelligent Systems. TIL technology focus areas include Neuro-Symbolic and Generative AI, AI Assurance, and Human-AI Trust. TIL current application areas are Autonomy, Counter-Autonomy, Command and Control, and Cognitive Security. Advances in AI and Autonomy are poised to have a transformational impact on society.

We are growing our areas of research to lead future technology advances in applied formal methods, simulation, test, verification, validation, and certification of autonomous and AI-enabled systems across air, land, sea, space and cyber domains.

What you will do:

• Co-developing research ideas for internal and external customers.

• Leading/co-leading the development, implementation, and evaluation of ideas in software.

• Developing AI and autonomy algorithms with strong mathematical foundations.

• Co-author technical reports and/or research papers.
*** This role is scoped as Hybrid with an onsite requirement in either our Arlington, VA or Cherry Hill, NJ locations. If the selected applicant will be badged to a location within 15 miles of the Camden, NJ City Hall, the role will be represented by a Collective Bargaining Agreement (CBA). #LMATL

Basic Qualifications:

• PhD in Computer Science, Electrical Engineering, or related areas with strong mathematical background
• Conducted research primarily in neuro-symbolic AI, combining methods such as answer set programming (ASP), Prob Log, Logic Tensor Networks (LTNs), or other logic-based frameworks with deep neural networks in semi/self-supervised tasks and/or reinforcement learning problems.
• Expertise in working with Large Pre-trained Models (LPTMs), such as Large Language Models (LLMs), Vision Language Models (VLMs), Decision Transformers, and/or other multi-modal models.
• Solid publication record with at least 2 papers in top conference venues, such as, NeurIPS, CVPR, ICRA, RSS, AAAI, UAI, ICLR/ICLM, ICSE, ICCPS, SAFECOMP, HSCC, CAV.
• Must have the ability to obtain a U.S. Secret security clearance that requires U.S. citizenship. Applicants selected will be subject to a government security investigation and must meet eligibility requirements for access to classified information
Desired

Skills:

• Conducted research in at least one more adjacent area such as formal verification/methods (e.g., theorem provers, SMT/SAT solvers, etc.) or assurance and scalability of…