Pixar have always developed and used their own in-house animation tools, it's a big part of their culture. I seriously doubt they'd be using Maya (or anything else) regardless of how advanced it was.
Very cool! Glad to see Nucleus still getting some love, Jos would be happy — I was talking to a Pixar effects fellow at SIGGRAPH and was under the impression that Houdini’s constraint solver thing had spread like wildfire in that department.