Really? You have a software engineering job where a required skill set is formal methods? That's interesting. What is the role and how do they use it?

Yes, I had such roles available at both my last job and this one where I am actively hiring senior/staff/principal engineers who can contribute.

See early basics in "Bridgewater Associates discuss the use of ARG tools at AWS Summit in NYC" shared here:

https://www.youtube.com/watch?v=gJhV35-QBE8

For slides, try "The Theory and Math Behind Data Privacy and Security Assurance (SEC301) - AWS re:Invent 2018" here:

https://www.slideshare.net/AmazonWebServices/the-theory-and-...

A few more public links about what's going on in the field here:

http://www0.cs.ucl.ac.uk/staff/b.cook/ARG.html

A more enterprisey collection:

https://aws.amazon.com/security/provable-security/

Please recognize that most of what we'd like to talk about, we can't. It's difficult for folks doing this kind of work to get clearance to talk about it. But more are undertaking this than you might think. Drop me a note if interested.