What are the responsibilities and job description for the Artificial Intelligence (AI) Tech SETA-DARPA CODORD, Top Secret Clearance position at Blue Sky Innovators Inc?
The topic is 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. RequirementsDegree : Masters or PhD, in AI or closely related STEM field (e.g., computer science, math). Security clearance : Top SecretFamiliarity 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.Desired Qualifications : Familiarity and experience with AI knowledge representation & reasoning (KRR, beyond just FOL and KG), including logic programs (Prolog and / or its extensions, e.g., SWI, XSB, Rulelog, Answer Set Programs). Including preferably at least 1 year experience participating in projects after bachelors-level education. Experience with being a DARPA Tech SETA, .SETA specifically in supporting PM(s) in developing new program concepts, including preferably at least 2 years experience. Familiarity with AI natural language processing. Including preferably at least 1 year experience participating in projects after bachelors-level education.Other AI R&D experience relevant to CODORD, e.g., in : logic / reasoning that is higher-order, modal, deontic, and / or defeasible (a.k.a. argumentation); neural networks and neuro-symbolic AI; AI planning and causal reasoning; and / or AI use cases scenario development. Good skill and speed at preparing PowerPoint diagrams / graphics.Familiarity and / or experience with probabilistic logical reasoning, such as Bayesian networks, probabilistic graphical models, and / or probabilistic logic programs. Blue Sky Innovators, Inc. is an EEO / AA employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, genetic information, age, disability, protected veteran status, or any other characteristics protected by applicable law. If you are a qualified job seeker with a disability or a disabled veteran, you have the right to request an accommodation if you are unable or limited in your ability to use or access http : / / www.blueskyinnovators.com as a result of your disability. To request an accommodation, please email us at careers@blueskyinnovators.com and provide your name and contact information. Please note : this is only for job seekers with disabilities requesting an accommodation.
recblid eizskzg4lo2eioq8kixjkrejdyivas
