It's not enough to say it's statically typed, since not everyone is convinced of the benefits based on the context they're coming from.
I just saw a talk by Rich Hickey about Clojure, and he eschews static typing, since he thinks of it as a coupling in a language. And based on the types of programs he writes and runs, he hasn't seen a benefit.
So I think when you're specific about what statically typed buys you in the context of the job Empirical does for you, I think it's more convincing.