So you want to be a proof engineer?
proofcraft.org
proofcraft.org
"We have found relatively little published literature on using high-level formal specification to verify the design of complex distributed systems in industry."
To name a few.
The title of this post made me hope they were looking to hire a "proof engineer", but alas, they're only explaining how to become one. It's already hard enough trying to find a Haskell job, finding one in Isabelle or Agda must be near impossible!
I have heard stories from people in Europe that formal methods are used there in checking implementations for life and safety critical pieces of civil engineering, like high speed trains and nuclear power stations.
IMO, you need: - Learn math, i.e. what a proof is, basic algebra, etc - Learn a dependently typed system like Agda or Coq. All these systems use functional programming but this kind of programming is very different from programming which leads to programs.