Senior Research Engineer (PhD level) / Neuro-Symbolic AI

Job Description:

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 worlds 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).
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), ProbLog, 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 Cyber-Physical Systems (e.g., runtime monitors, software analysis methods, decentralized decisions, etc.).

• Experience in defining research problems independently and executing the research work.

• Experience in collaborative research with people from academia and/or industry and/or government labs.

• Experience in co-authoring white papers and/or proposals to government agencies (e.g., NSF, DARPA, NASA, etc.).
Security Clearance Statement: This position requires a government security clearance, you must be a US Citizen for consideration.
Clearance Level: Secret
Other Important Information You Should Know
Expression of Interest: By applying to this job, you are expressing interest in this position and could be considered for other career opportunities where similar skills and requirements have been identified as a match. Should this match be identified you may be contacted for this and future openings.
Ability to Work Remotely: Part-time Remote Telework: The employee selected for this position will work part of their work schedule remotely and part of their work schedule at a designated Lockheed Martin facility. The specific weekly schedule will be discussed during the hiring process.
Work Schedules: Lockheed Martin supports a variety of alternate work schedules that provide additional flexibility to our employees. Schedules range from standard 40 hours over a five day work week while others may be condensed. These condensed schedules provide employees with additional time away from the office and are in addition to our Paid Time off benefits.
Schedule for this Position: 4x10 hour day, 3 days off per week
Lockheed Martin is an equal opportunity employer. Qualified candidates will be considered without regard to legally protected characteristics.
The application window will close in 90 days; applicants are encouraged to apply within 5 - 30 days of the requisition posting date in order to receive optimal consideration.
At Lockheed Martin, we use our passion for purposeful innovation to help keep people safe and solve the worlds most complex challenges. Our people are some of the greatest minds in the industry and truly make Lockheed Martin a great place to work.

With our employees as our priority, we provide diverse career opportunities designed to propel, develop, and boost agility. Our flexible schedules, competitive pay, and comprehensive benefits enable our employees to live a healthy, fulfilling life at and outside of work. We place an emphasis on empowering our employees by fostering an inclusive environment built upon integrity and corporate responsibility.

If this sounds like a culture you connect with, you’re invited to apply for this role. Or, if you are unsure whether your experience aligns with the requirements of this position, we encourage you to search on Lockheed Martin Jobs, and apply for roles that align with your qualifications.
Experience Level: Experienced Professional
Business Unit: ADVANCED TECHNOLOGY LABS
Relocation Available: Yes
Career Area: Software Engineering
Type: Full-Time
Shift: First

• 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 Cyber-Physical Systems (e.g., runtime monitors, software analysis methods, decentralized decisions, etc.).

• Experience in defining research problems independently and executing the research work.

• Experience in collaborative research with people from academia and/or industry and/or government labs.

• Experience in co-authoring white papers and/or proposals to government agencies (e.g., NSF, DARPA, NASA, etc.).

Job Ident #: 82634111280

Company Details

Lockheed Martin

6801 Rockledge Dr
Bethesda, Maryland 20817 USA
www.lockheedmartinjobs.com/

Lockheed Martin Corporation is an American global aerospace, defense, security and advanced technologies company with worldwide interests. It was formed by the merger of Lockheed Corporation with Martin Marietta in March 1995. It is headquartered in North...

Benefits:
TBD

(Job and company information not to be copied, shared, scraped, or otherwise disseminated/distributed without explicit consent of JSfirm, LLC)

Job Info

Location

ARLINGTON, Virginia, United States

Type

Permanent

Company Details

Lockheed Martin

6801 Rockledge Dr
Bethesda, Maryland 20817 USA
www.lockheedmartinjobs.com/