General direction: developing and deploying analyses for ensuring the safety and the performance of autonomous systems, from drones to self-driving cars.

Particular opportunity: development of formal program analysis techniques for the safe orchestration of the transfer of control between human and autonomous systems.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.