Formal Methods Engineer at Jane Street — EarlySignal