Opportunity: Neuro-Symbolic AI for Multimodal Content Analysis: Forensic Detection and High-Fidelity Video Retrieval
Opportunity Number:
AFRL-008
Opportunity Location:
Rome, NY
Opportunity Description:
The modern information landscape presents a dual challenge for the Air Force: (1) the proliferation of sophisticated, multimodal AI-generated media (deepfakes) poses a significant threat to information integrity, and (2) the sheer volume of collected video and sensor data makes finding specific, mission-relevant events nearly impossible without exhaustive manual review. This research program addresses both challenges through a unified framework, leveraging Neuro-Symbolic AI to create systems that can not only forensically analyze multimodal content but also perform high-fidelity, prompt-based retrieval from massive video archives.
This topic seeks novel approaches that move beyond surface-level artifact detection. Instead, we aim to build systems that combine the pattern-recognition strengths of neural networks with the contextual reasoning of symbolic AI. This will enable a deeper understanding of relationships, objects, and actions within and across different media types (video, images, audio, text). The goal is to develop capabilities for both defending against AI-generated disinformation and for turning petabytes of raw footage into actionable, searchable intelligence.
Research areas of primary interest include:
• Advanced Multimodal Forensics & Red Teaming: This thrust focuses on the detection of AI-generated content that is explicitly designed to be undetectable. This includes developing novel generative techniques (e.g., via cross-modal diffusion models or GANs) to create stealthy synthetic media, which will then be used to red team and future-proof our detection systems. The goal is to build explainable forensic models that identify inconsistencies not just within a single modality, but across video, audio, and text domains.
• Neuro-Symbolic Video Analysis and Retrieval: This addresses the data overload problem by developing AI that can understand and respond to complex, natural-language prompts. The goal is to enable an analyst to retrieve a specific, short clip from hours of footage by asking a question like, “Show me all instances where a blue vehicle stops and a person exits carrying a package.” This requires the AI to build a structured, symbolic representation of the video’s content, enabling it to reason about objects, actions, and their temporal relationships without relying on simple keyword matching.
• Explainable and Verifiable AI: A critical component for both forensics and retrieval is trust. Any system developed must be able to explain why it flagged an image or video as synthetic or how it interpreted a prompt to find a specific result. This thrust will focus on creating verifiable models whose reasoning can be audited and understood by a human operator, ensuring that the AI is a trustworthy partner in the analytical process.
Opportunity Skill Set:
Ideal candidates (Ph.D./M.S. or high-performing undergraduate researchers in Computer Science, Computer Engineering, Cybersecurity, or Applied Mathematics) should possess strong expertise in network security and anonymous routing architectures (mixnets, onion routing, decentralized cover-traffic protocols, and low-latency anonymity networks), generative machine learning for covert communications (practical experience with GANs, Diffusion Models, and LLMs for high-entropy steganography and synthetic traffic generation across image, text, and packet payloads), and adversarial traffic analysis (countering ML-based classifiers, shaping packet timing/volume distributions, and mitigating side-channel metadata leakage against active and passive observers). In addition, candidates should demonstrate proficiency in formal methods and explainable AI (XAI) (e.g., attribution methods, information-theoretic bounds, or formal logic verification to prove protocol indistinguishability and deniability beyond heuristic statistical testing) alongside robust systems programming skills in Python (PyTorch/TensorFlow), C/C++, Rust, or Go, coupled with network simulation and packet inspection tools (e.g., Wireshark, Scapy, ns-3, Mininet, or Linux eBPF/XDP).