Today
Secret
Unspecified
Unspecified
Arlington, VA (On-Site/Office)
Strategic Analysis, Inc (SA) is seeking a versatile, skilled Technical SETA to support the Defense Science Office (DSO) at DARPA. In support of DARPA and their mission, SA employees will exceed client expectations with high integrity and focused attention to milestones.
Role: Tech SETA support to new program concept. 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.
Desired capabilities and characteristics:
Program lifecycle experience, with a STEM background and general interest in learning, problem solving, and diving into new areas in support of program development.
Experience in program or project management
Excellent technical writing skills, including the ability to perform proof reading and quality control on technical documents and slides
Required: 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.
Required: Familiarity with software programming and engineering (including Python and C). Including minimum 2 years of experience participating in projects after bachelors-level education.
Required: Familiarity with knowledge graphs (KG; including ontologies). Including minimum 1 month experience participating in projects after bachelors-level education.
Desired: 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
Required also: Familiarity with basic probability (including theory) and statistics. E.g., via courses in education for undergraduate or graduate degree.
Required also: Familiarity and/or experience with machine learning (ML). Including preferably at least 2 years of experience participating in projects after bachelors-level education.
Desired also: Experience as DARPA tech SETA specifically in supporting PM(s) in developing PIP(s). Including preferably at least 6 months. Including good skill and speed at preparing PowerPoint diagrams/graphics.
Desired also: Familiarity and/or experience with probabilistic logical reasoning, such as Bayesian networks, probabilistic graphical models, and/or probabilistic logic programs.
Programs). Including preferably at least 1 year experience participating in projects after bachelors-level education.
Desired: Experience with being a DARPA tech SETA. Including preferably at least 2 years of experience.
Desired: Familiarity with AI natural language processing. Including preferably at least 1 year experience participating in projects after bachelors-level education.
Desired: Other AI R&D experience relevant to CODORD (https://www.darpa.mil/research/programs/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.
Responsibilities:
Technical SETA for program/s, will assist with technology review, development oversight and crration of briefing slides.
Degree requirment: Master' Degree, Ph.D. preferred
Clearance: Secret required, ability to obtain TS clearance SA is an equal opportunity/Affirmative Action Plan employer that is committed to diversity and inclusion in the workplace. We prohibit discrimination and harassment of any kind based on race, color, sex, religion, sexual orientation, national origin, disability, genetic information, pregnancy, or any other protected characteristic as outlined by federal, state, or local laws. This applies to all employment practices within our organization, including hiring, recruiting, promotion, termination, layoff, recall, leave of absence, compensation, benefits, training, and apprenticeship makes hiring decisions based solely on qualifications, merit, and business needs at the time.
Role: Tech SETA support to new program concept. 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.
Desired capabilities and characteristics:
Program lifecycle experience, with a STEM background and general interest in learning, problem solving, and diving into new areas in support of program development.
Experience in program or project management
Excellent technical writing skills, including the ability to perform proof reading and quality control on technical documents and slides
Required: 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.
Required: Familiarity with software programming and engineering (including Python and C). Including minimum 2 years of experience participating in projects after bachelors-level education.
Required: Familiarity with knowledge graphs (KG; including ontologies). Including minimum 1 month experience participating in projects after bachelors-level education.
Desired: 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
Required also: Familiarity with basic probability (including theory) and statistics. E.g., via courses in education for undergraduate or graduate degree.
Required also: Familiarity and/or experience with machine learning (ML). Including preferably at least 2 years of experience participating in projects after bachelors-level education.
Desired also: Experience as DARPA tech SETA specifically in supporting PM(s) in developing PIP(s). Including preferably at least 6 months. Including good skill and speed at preparing PowerPoint diagrams/graphics.
Desired also: Familiarity and/or experience with probabilistic logical reasoning, such as Bayesian networks, probabilistic graphical models, and/or probabilistic logic programs.
Programs). Including preferably at least 1 year experience participating in projects after bachelors-level education.
Desired: Experience with being a DARPA tech SETA. Including preferably at least 2 years of experience.
Desired: Familiarity with AI natural language processing. Including preferably at least 1 year experience participating in projects after bachelors-level education.
Desired: Other AI R&D experience relevant to CODORD (https://www.darpa.mil/research/programs/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.
Responsibilities:
Technical SETA for program/s, will assist with technology review, development oversight and crration of briefing slides.
Degree requirment: Master' Degree, Ph.D. preferred
Clearance: Secret required, ability to obtain TS clearance SA is an equal opportunity/Affirmative Action Plan employer that is committed to diversity and inclusion in the workplace. We prohibit discrimination and harassment of any kind based on race, color, sex, religion, sexual orientation, national origin, disability, genetic information, pregnancy, or any other protected characteristic as outlined by federal, state, or local laws. This applies to all employment practices within our organization, including hiring, recruiting, promotion, termination, layoff, recall, leave of absence, compensation, benefits, training, and apprenticeship makes hiring decisions based solely on qualifications, merit, and business needs at the time.
group id: 10114253
