Researcher - Lean 4 & Formal Proof Systems in Edinburgh

Researcher - Lean 4 & Formal Proof Systems in Edinburgh

Edinburgh Full-Time On-site
A

Researcher – Lean 4

Researcher - Lean 4 & Formal Proof Systems in Edinburgh employer: Alignerr Corp.

Join a leading global AI research firm that values innovation and collaboration, offering a dynamic remote work environment for an Applied Physicist. With competitive pay, flexible scheduling, and a strong emphasis on employee growth, this role provides the opportunity to engage in cutting-edge projects while contributing to the advancement of AI technology. Experience a supportive culture that encourages creativity and professional development, making it an ideal place for those passionate about physics and AI.

A

Contact Details:

Alignerr Corp. Recruitment Team