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...