Position Summary:

UDRI is a national leader in scientific and engineering research, serving government, industry and nonprofit customers. UDRI contributes to the fulfillment of the University’s commitments to education, research and public service through the involvement of students, faculty and external partners. Join our team today as an Autonomy Researcher!

Verification of autonomy is known to be a hard problem. Autonomous systems include complex decision-making mechanisms that are likely to be sensitive to changing mission conditions, resulting in a “state space explosion” of possible system behaviors that traditional test-based approaches cannot adequately cover. To address this problem, “formal methods” – i.e., mathematically-based tools and techniques for design, specification, and verification – can supplement testing by providing evidence of system correctness through proof and analysis. Formal methods, in conjunction with existing best practices for system and software development, can also be used to...