Software engineering at a proprietary trading company: Optiver