Top security researcher joins AI startup, showing AI’s new edge in spotting software bugs