Lets just hope there aren't any binary trees in need of inverting at Apple ;)
Seriously though, seems like a perfect fit, much better than him working on something unrelated at Google etc
As an Android hobby developer, given the amount of issues that have been lagging all these years and the quality of each "stable" release, I really don't get where do all those genius that Google does eventually hire work.