Software Developer

Quick Facts

• Role: Software Developer
• Focus: Build and maintain MathDB (web/mobile apps, backend services, databases, and Lean formalization pipelines)

Description

Work on MathDB, a large-scale community database and knowledge graph that connects mathematical definitions, theorems, conjectures, and open problems. Contribute to interactive web and mobile applications, backend servers and database infrastructure, and Lean formalization pipelines integrating automated proof verification. Help make mathematical knowledge easier to contribute, inspect, and build upon with verified results.

Responsibilities

• Assist in developing and maintaining interactive web and mobile applications for MathDB
• Support development and maintenance of backend servers
• Assist with development and maintenance of backend database infrastructure
• Support development and maintenance of Lean formalization pipelines for MathDB

Requirements

• 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, and UI/UX
• Ability to work independently, adapt quickly, and incorporate feedback in an iterative development process
• Experience with version control, software testing, and software engineering best practices

Benefits

• Competitive compensation ($41.25–$45.00 per hour)
• Health, dental, and vision insurance
• Retirement savings plans
• Generous paid time off (vacation, holidays, sick time, parental leave, bereavement)
• Tuition reimbursement
• Additional benefits for non-benefit eligible employees (e.g., onsite counseling, sick time)