Employment Opportunities

The University of Dayton Research Institute’s (UDRI) Autonomy Systems Group is in search of motivated, innovative team members to further ongoing government research in autonomous agent development and applying legal and ethical considerations to domain modeling for course of action generation and selection. The qualified applicant will join our technically diverse team that includes computer scientists, engineers, operations research analysts, mathematicians and cognitive psychologists.

We develop autonomy decision services that support multiple echelons of dynamic mission planning from the strategic level down through vehicle autonomy. Planners and operators at each level interact with the autonomy to define and refine their goals, preferences, and constraints. Using this input together with domain models and local contextual information, the decision services reason over possibilities to determine the most appropriate course of action for the situation.

To develop our decision services, we blend the use of common programming languages like Java, Python, and C++ with Answer Set Programming (ASP) declarative logic programming and our own complex event processing DSL. We wrap it all into a DevSecOps framework that deploys through containers and scales from edge platform computing up to the cloud.

BS in Computer Science, Engineering, Operations Research, Mathematics or similar discipline (or equivalent professional experience)
3+ years demonstrable experience with ONE OR MORE of the following:
* Logic or constraint programming (e.g. clingo, prolog, Z3, other SAT solvers)
* Software development in object oriented language (e.g. Java, Python, Rust)
* Operations research modeling (e.g. OR-tools, CPLEX, LINGO)
* Planning domain language (e.g. PDDL)

Due to the nature of the work, candidate must be a U.S. citizen and willing and able to obtain a DoD Secret security clearance

Demonstrated communication skills

Advanced degree in Computer Science, Engineering, Operations Research, Mathematics, or similar discipline

Natural language processing

Computational ethics

Applied artificial intelligence and autonomy technologies

Game theory and optimization

Multicriteria decision analysis (MCDA)

Ontology development. Especially familiarity with the Basic Formal Ontology

Container virtualization

Software development processes including source control, issue tracking, continuous integration, requirement flow

Informed by its Catholic and Marianist mission, the University is committed to the principles of diversity, equity, and inclusion. Informed by this commitment, we seek to increase diversity, achieve equitable outcomes, and model inclusion across our campus community. As an Affirmative Action and Equal Opportunity Employer, we will not discriminate against minorities, women, protected veterans, individuals with disabilities, or on the basis of race, color, national origin, religion, sex, sexual orientation or gender identity.