4 ms·
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?
by crimsonalucard 7y ago
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?
- Terretta 7y agoYes, 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 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-math-behind-data-privacy-and-security-assurance-sec301-aws-reinvent-2018 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 http://www0.cs.ucl.ac.uk/staff/b.cook/ARG.html A more enterprisey collection: https://aws.amazon.com/security/provable-security/ 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.