A leading AI research organization is seeking Formal Verification Scientists who are passionate about converting advanced mathematics into machine-verifiable knowledge. This fully remote role involves translating informal proofs into structured formats, analyzing mathematical reasoning, and collaborating on formal verification strategies. Candidates should hold a Master's degree in a relevant field and have experience with proof assistants. Enjoy autonomy in your work while contributing to significant AI research projects.
#J-18808-Ljbffr