Alignerr is seeking Applied Formal Methods Researchers to translate rigorous human-written proofs into machine-verifiable formalizations in Lean 4, contributing to AI research and formal verification. This remote hourly contract offers flexible hours from 10 to 40 per week, with the chance to work across cutting-edge mathematical reasoning domains.
You will collaborate with AI researchers to improve verification pipelines, produce readable proof scripts, and tackle challenging proofs that stress
#J-18808-Ljbffr
Remote Applied Formal Methods Researcher (Lean 4) in Cambridge employer: Alignerr
Alignerr offers an exceptional work environment for a Remote Senior Software Engineer, providing the flexibility of fully remote work while engaging in cutting-edge AI technology. With a strong emphasis on collaboration and innovation, employees are encouraged to grow their skills through meaningful projects that shape the future of coding systems. The company fosters a culture of creativity and support, making it an ideal place for those looking to make a significant impact in the tech industry.
