What are the responsibilities and job description for the Engineering Program Manager/SETA position at Ventus Solutions?
Ventus Executive Solutions (VES) 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, 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.
Ventus Executive Solutions (VES) is seeking a skilled Technical Systems Engineering and Technical Assistance (SETA) candidate to support a highly innovative program office. The ideal candidate is topic focused on creating new probabilistic logical reasoning methods with high logical expressiveness. The candidate is able to support Bayesian and non-Bayesian principles for probabilistic/uncertain reasoning mathematically tractable. The candidate will understand systems methods which will be used to combine machine learning with probabilistic logical deductive reasoning to include decision support, and prediction in defense and civilian application domains.
Work Location: On-Site in Arlington, VA
Required Experience
- Knowledge with first-order logic (FOL), automated deduction (theorem-proving) and database management (SQL via educational classes)
- Software programing and engineering to include Phyton and C with 2 Years experience in projects after bachelors-level education
- Knowledge with graphs (including ontologies) and 1 month experience participating in projects after bachelors-level education
- Understanding of basic probability (including theorem) and statistics
- Experience with machine learning (ML) with 2 years’ experience participating in projects after bachelors-level education
- Master’s or PhD in artificial intelligence (AI) or related STEM field (computer science, math)
- Top Secret Clearance
Desired Experience
- Experience with AI knowledge representation and reasoning (KRR, beyond just FOL and KG), including logic programs (Prolog and/or its extensions like SWI, XSB, Rulelog and Answer Set Programs)
- Minimum 1 year experience participating in projects after bachelors-level education
- 2 Years experience with DARPA Tech SETA
- Knowledge of AI natural language processing with minimum 1 year experience participating in projects after bachelors-level education
- AI R&D experience relevant in logic/reasoning that is higher-order, modal, deontic, and/or defeasible, neutral networks and neuro-symbolic AI.
- 6 months minimum experience with DARPA Tech SETA specifically supporting Program Manager in developing new programs.
- Proficient with preparing PowerPoint diagrams/graphics
- Experience with probabilistic logical reasoning such as Bayesian networks, probabilistic graphical models, and/or probabilistic logic programs.
