Web & AI-Driven Software Engineer for MathDB
California Institute of Technology
Get a reply from this employer
Your resume and cover letter, tailored to exactly what they’re hiring for.
Benefits offered by this job
Job summary
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
Qualifications
- Bachelor's degree in CS, Math, or a related field.
- Experience building interactive web and mobile apps with responsive UI/UX.
- Strong attention to detail in design, performance, responsiveness, and UI/UX.
- Ability to work independently, adapt quickly, and incorporate feedback iteratively.
- Experience with version control, testing, and engineering best practices.
Responsibilities
- Develop and maintain interactive web and mobile applications for MathDB.
- Develop and maintain Lean formalization pipelines for MathDB and backend services.
- Support backend servers and database infrastructure for MathDB.
- Collaborate with users and team to integrate proofs and Lean workflows.
Skills
Education
Tools
Job description
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
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
