This doesn't really confirm whether he was fired or was allowed to quit. Or maybe just switched companies?

Edit: his LinkedIn still says he works there, so whatever change was probably pretty recent.