Both the autonomous mining trucks [1] and the automated military convoy run on software developed by NREC [2] (a part of the Robotics Institute at CMU), and I have worked on both. It's a very cool place to work and we are hiring. If you have any questions about what it's like to work on these kind of systems ask away.