Employing AI techniques to support human control of complex systems; example current major AI projects:

• UI, planner, and simulation interfaces for UAV (Unmanned Aerial Vehicle) systems
• planning system for web service composition as part of DARPA's Integrated Learning program
• plan/intent recognition algorithms and software for web service and computer security applications
• procedure display evaluation aid for NASA

Specific applicant skills/experience to be evaluated; not all required:

• Development/engineering skills:
  • rapid development using ultra-high level languages (primarily Common Lisp) and scripting languages (e.g. PERL and Python)
  • Java, largely for developing platform-independent user-interfaces
  • constraint programming
  • functional programming (e.g., SML, Ocaml, Haskell)
• Key research experience:
  • AI planning methods; ideally both practical and theoretical
  • plan recognition
  • search algorithms
  • constraint satisfaction/optimization
• Additional valued research experience:
  • formal methods
  • control theory
  • optimization techniques
  • Human/Computer Interaction (HCI) and UI development
  • simulation