LawZero is a non-profit organization developing safe-by-design artificial intelligence systems through its Scientist AI approach. The Mathematical Scientist will contribute to foundational theoretical research, including developing AI architectures and safety mechanisms, proving probabilistic safety guarantees, analyzing existing research, and guiding empirical validation and experiments.