California Institute of Technology · Pasadena, CA, United States
Software Developer
Caltech
Job Category: Parttime Term Exempt Overtime Eligible: Overtime Eligible Benefits Eligible: Benefit Based
Caltech is a world-renowned science and engineering institute that marshals some of the world's brightest minds and most innovative tools to address fundamental scientific questions. We thrive on finding and cultivating talented people who are passionate about what they do. Join us and be a part of the diverse Caltech community.
Job Summary
We're hiring a software developer to help build and maintain MathDB.
https://mathdb.com/
MathDB is a large-scale community database of definitions, theorems, conjectures and open problems in mathematics, tracking the latest breakthroughs, and providing a new platform for research and collaboration. Mathematical knowledge is growing at an extraordinary pace. New results, methods and questions are arriving faster than the literature can absorb them, making it increasingly difficult to keep track of what is known, what remains open and how developments fit together. We need a shared database that grows with the subject: a living resource that the mathematical community can continually expand, correct and refine. Much of mathematical knowledge is scattered across papers, books, lecture notes and informal conversations. We aim to bring this knowledge together in a knowledge graph, connecting definitions, theorems, conjectures and open problems through implications, equivalences, examples and shared ideas. Making these relationships explicit can reveal connections that are otherwise easy to miss, help researchers navigate unfamiliar areas and accelerate the discovery of new mathematics. Formalization offers another way to make mathematical knowledge precise, reliable and reusable. We are integrating Lean formalizations and automatic proof verification into MathDB, connecting mathematical statements and their explanations with proofs that can be checked by a computer. Our goal i …truncated… fort in building and ma…
Sign in to see the original posting
Browse more developer jobs on RoleBurst