LawZero is a non-profit developing Scientist AI as a safe-by-design AI system with probabilistic safety guarantees. The Mathematical Scientist will advance foundational theory, analyze safety requirements, contribute to research papers, and support empirical validation and research prioritization.