Insight Global is seeking a Research Engineer that has experience with Logic/Constraint programmer to join a United States Department of Defense contractor. This person will be supporting further ongoing government artificial intelligence research.
These autonomy services support multiple levels of dynamic mission planning and execution from strategic operations down to vehicle autonomy.
Must Haves
- Must Be Able to Obtain a UNITED STATES Security Clearance.
- Logic or constraint programming (e.g. clingo, prolog, Z3, SAT solvers)
- Object Oriented Programming Experience (Java, Python, C#, Rust)
- Operations research optimization with multi-criterion decision analysis (MCDA)
