SAS ist still quite a big thing in the insurance sector, at least in Europe.

But the more Data Science focused roles (vs. Pure actuarial roles) are going more and more with R or Python.