Tech SETA - AI

ECS seeks a Technical Science, Engineering, and Technical Advisor (SETA) to provide onsite support at the Defense Advanced Research Projects Agency (DARPA) with a new program concept in the area of Artificial Intelligence (https://www.darpa.mil/research/programs/codord). The program aims to create new probabilistic logical reasoning methods that have high logical expressiveness (cf. CODORD, including higher-order and defeasible/argumentation), support Bayesian and non-Bayesian principles/semantics for probabilistic/uncertain reasoning, and – crucially – are computationally tractable (i.e., worst-case polynomial time complexity). These methods will then be used in a central role within systems that combine machine learning (ML) with probabilistic logical deductive reasoning, including for: decision support and prediction (a.k.a., modeling or forecasting), in defense and also civilian application domains.

• Masters or PhD, in AI or closely related STEM field (e.g., computer science, math).

• Familiarity with first-order logic (FOL), automated logical deduction (a.k.a. theorem-proving), and basic database management (e.g., SQL). E.g., via courses in education for undergraduate or graduate degree.

• Familiarity with software programming and engineering (including Python and C). Including minimum 2 years experience participating in projects after bachelors-level education.

• Familiarity with knowledge graphs (KG; including ontologies). Including minimum 1 month experience participating in projects after bachelors-level education.

• Familiarity with basic probability (including theory) and statistics. E.g., via courses in education for undergraduate or graduate degree.
• Familiarity and/or experience with machine learning (ML). Including preferably at least 2 years experience participating in projects after bachelors-level education.