Mathematical Scientist for AI Safety Research at LawZero — EarlySignal