NASA-funded researchers are developing “hopping microbots” capable of exploring hazardous terrain, including underground caves and one day, to search for life below the surface of Mars.