Web & AI-Driven Software Engineer MathDB

California Institute of Technology is seeking a software developer to build and maintain MathDB, a large-scale knowledge graph for definitions, theorems, conjectures and open problems in mathematics. You will contribute to web and mobile apps, backend services, and Lean formalization pipelines at MathDB.

Join a collaborative team that values rigorous engineering, performance, and clear interfaces. Experience with interactive web/mobile apps, backend systems, and Lean is a plus; you will work

For the Web & AI-Driven Software Engineer for MathDB position at California Institute of Technology, we are reviewing applications now.

Join California Institute of Technology and contribute to our ongoing work.

Take a moment to read everything above and see whether this role is right for you.

This posting is for the Web & AI-Driven Software Engineer for MathDB role at California Institute of Technology, based in Pasadena, CA, United States.