... -motivated, serving as a key contributor to the research and implementation of new software and embedded ... computing systems, secure networking, formal verification, and advanced software analysis tools. As part of ...

... . Primary Responsibilities Lead and conduct advanced research in the areas of multi-vehicle ... algorithms and software solutions for multi-agent coordination, task allocation, path planning, and decision ...

... . Together, we will nurture an engineering culture that values intellectual curiosity, risk takers and ... . Runtime software environments and performance monitoring for heterogeneous real-time systems, including ...