I wonder if the senior engineering talent OCI poached from AWS (including the guy who introduced formal methods to AWS) is still there?
For sure they'd have. I have heard they hired tons of people in Seattle area, presumably from Amazon. Also Amazon hired lots of people from Oracle. Starting from many deeply technical Java/JVM experts to tons of B-grade solution architects types.
To me this assumption that rank and file employees would find their employer evil but keep working there nonetheless is unrealistic.