Mathematician at Corca

Stream: job postings

[Oleg Sh]

Dear Lean Community,

My name is Oleg, and I’m one of the cofounders at Corca, we are developing a collaborative semantic math editor: https://corca.app.

The project began as "just" an editor, but we are now working to add computation features and semanticity beyond layout. Our goal is to make mathematical writing both human-friendly and machine-interpretable, drawing on ideas from formalization and symbolic systems.

We are a VC-backed, fully remote team of eight (with a small concentration in New York); the project started in aug 2023 with founders experiencing problems communicating math. We are looking for additional help from mathematicians with experience in the math formalization field. The scope of work is somewhat exploratory, so we can be flexible with engagement type — full-time, part-time, or project-based consulting.

More details about the role are available here:
https://corca.app/doc/Fzv_v1ggpjDGRlEXq8mD6

If this is of interest, we would be glad to speak further or answer any questions. My email is oleg[at]corca.io.

Oleg

[Pablo Donato]

(deleted)