Senior Lean Programming Engineer
About the role
We are looking for a LEAN Programming Engineer to take a hands-on implementation approach in designing, implementing, and optimizing our theorem-proving AI system. You will contribute to research and development of critical components of our AI architecture: (a) formalizing mathematical, scientific and engineering problems into a dom...