Technical SETA focus on machine learning

Ventus Executive Solutions is a dynamic small business at the forefront of innovation and consulting, dedicated to delivering exceptional solutions for our clients. We cultivate a supportive and inclusive workplace culture that values collaboration, mentorship, and professional growth. At Ventus Solutions, we believe our employees’ success is integral to our mission, which is why we prioritize work-life balance, personal development, and fostering a sense of belonging. In addition to providing opportunities to thrive, we offer competitive salaries and comprehensive benefits to attract and retain top talent ready to make a meaningful impact. Be part of our Employee Stock Ownership Plan (ESOP).

Ventus Solutions is seeking a skilled Technical SETA with a focus on machine learningto support an innovative program.The candidate will work to create new probabilistic logical reasoning methods that high logical expressiveness. Additionally the candidate will support Bayesian and non-Bayesian principles/semantics forprobabilistic, and computationally tractable applying knowledge of machine learning (ML) with probabilistic logical deductive reasoning for decision support and forecasting in defense and civilian domains. Join our innovative team and contribute to impactful national security initiatives.

Work Location: Remote

Travel: 10-25%

Level of Effort: Part-time

Required Experience:

• Familiarity with first-order logic (FOL), automated logical deduction (a.k.a. theorem-proving), and basic database management like SQL
• Familiarity with software programming and engineering (including Python and C) with a minimum 2 years of 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
• Familiarity and/or experience with machine learning (ML), including at least 2 years of experience participating in projects after bachelors-level education
• Secret Clearance with TS eligibility

Desired Experience:

• Familiarity and experience with AI knowledge representation & reasoning (KRR, beyond just FOL and KG), including logic programs (Prolog and/or its extensions, like SWI, XSB, Rulelog, Answer Set
• Experience as DARPA tech SETA specifically in supporting PM(s) in developing PIP(s)for at least 6 months
• Excellent skills 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,

Includingat least 1 year experience participating in projects after bachelors-level education

• Prior2 years of experience with DARPA as tech SETA
• Familiarity with AI natural language processing with at least 1 year experience participating in projects after bachelors-level education
• Other AI R&D experience relevant to CODORD
• Masters or Ph.D. in AI or closely related STEM field (Computer Science, Mathematics)