Jobs

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top ...

ABOUT THE TEAM The Strategic Deployment team makes frontier models more capable, reliable, and aligned to transform high-impact domains. On one hand, this involves deploying models in real-world, hig...

We are looking for the right people — people who want to innovate, achieve, grow and lead. We attract and retain the best talent by investing in our employees and empowering them to develop themselves...

About the role We are seeking a dedicated and innovative Statistical & Mathematical Modeling Scientist to join our dynamic team. In this role, you will play a crucial part in shaping the future of bi...