alt Hacker Newshttps://blog.janestreet.com/formal-methods-at-jane-street-in...
I thought this article from Jane Street makes a nice complimentary pairing.
https://blog.janestreet.com/formal-methods-at-jane-street-in...
I thought this article from Jane Street makes a nice complimentary pairing.
And it’s not just blogs. They’ve got an open job posting [0] for a ‘Formal Methods Engineer’.
[0] - https://www.janestreet.com/join-jane-street/position/8585303...