RustBelt: Logical Foundations for the Future of Safe Systems Programming :: Jane Street
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
Source: janestreet.com