Mathematician
About Us
Math, like programming, deserves dedicated tools. Corca is a workspace for math exploration, creation, and collaboration: a collaborative editor for mathematics or an IDE for math. A place where you can work on math, without special training.
Despite being intuitively simple, Corca designed for rigorous scientific math. Users can create their own notations, rules, and objects, connecting math to data or models. You can even invent entirely new mathematical frameworks and watch them come to life. Corca is more than a tool—it’s a tool for creating tools.
It is a long road and we're early. So currently our main focus is to make a tool that is faster and simpler than paper. And you know, paper is a challenging competitor. At the same time, we are something that paper will never be able to implement—a computation layer allowing seamlessly solve symbolic expressions and run simulation.
Corca was set up as a fully remote company from the start. Today, our small, focused team is distributed across the US, Europe and Asia.
What you'll do
Define principles and build of Corca's semantic mathematics engine and data format
Define and own Corca's integration work (Lean, Rocq, Sympy, etc)
Continuously monitor and own Corca's library of mathematical notations
Help shape Company's strategy and direction
Who You Are
Ph.D. in Mathematics / Computer Science or other relevant field
years of software engineering experience Familiarity with modern math formalization languages (Lean, Rocq, etc)
Our Stack
Frontend: Typescript React Next.js, MobX for state management, Tailwind for styling.
Backend: Node.js (Typescript), Ruby on Rails and Python.
Yjs, TipTap and Prosemirror in the core of text editor. Custom editor for math.
WebAssembly for different computation tasks on the client.
Heavy use of unit and integration testing (Jest, React Testing Library, Storybook, Playwright, Rspec), full type safety for all parts of the app. Multiple checks for all code using GitHub Actions.
Hosted on Google Cloud mostly using Cloud Run.
Services orchestrated using Docker Compose.
What We Offer
Interesting problems that no one has thought of before
Fully remote team, no commute to the office
Competitive Compensation
Unlimited Vacation
For Applicants outside the US: Contractor Agreement with a US entity or full time employment in the country of residence
Application Process
Apply by sending a few paragraphs about yourself or a CV to hey@corca.io. Please note job name in the topic of your email.