Full-Stack Engineer for MathDB Platform & Lean AI

Caltech; Pasadena (CA); On-site; USD 57,000 - 62,000; Full time

Benefits offered by this job

Health insurance

Retirement savings plan

Paid time off

Job summary

Caltech is hiring a software developer to help build and maintain MathDB, a large-scale knowledge graph for mathematics. You will work on web/mobile apps, backend servers, and Lean formalization pipelines, contributing to a collaborative open research platform.

The role emphasizes building production-ready software, attention to UI/UX, and iterative development in a research-driven environment at Caltech in Pasadena.

Qualifications

• Bachelor's degree in Computer Science, Mathematics, or a related field.
• Experience developing interactive web and mobile applications.
• Strong attention to detail in application design, performance, responsiveness, UI/UX.
• Ability to work independently, adapt quickly, and incorporate feedback through iterative development.
• Experience with version control, software testing, and software engineering best practices.

Responsibilities

• Assist in the development and maintenance of interactive web and mobile applications for MathDB.
• Support the development and maintenance of backend servers for MathDB.
• Assist in the development and maintenance of MathDB's backend database infrastructure.
• Support the development and maintenance of Lean formalization pipelines for MathDB.

Skills

Web development

Mobile apps

Backend servers

Lean formalization

Education

Bachelor's degree in Computer Science, Mathematics, or related field

Master's degree in Computer Science, Mathematics, or related field

Tools

Git

Docker

Kubernetes

Lean formalization pipelines

Job description

Caltech is hiring a software developer to help build and maintain MathDB, a large-scale knowledge graph for mathematics. You will work on web/mobile apps, backend servers, and Lean formalization pipelines, contributing to a collaborative open research platform.

The role emphasizes building production-ready software, attention to UI/UX, and iterative development in a research-driven environment at Caltech in Pasadena.