A research-oriented company is seeking a Researcher to work on AI training and formal proof systems. This fully remote role requires a Master's degree or higher in Mathematics or a related field, with expertise in Lean and formal verification. Responsibilities include translating mathematical proofs into formalizations and collaborating with research teams to improve verification pipelines. The position offers flexibility and autonomy in a cutting-edge research environment.
#J-18808-Ljbffr