Teams at PlantingSpace

The Applied Category Theory Researcher will develop category theoretic models for real-world phenomena, formalizing categorical semantics for probabilistic programming and improving the implementation based on theoretical insights.

Collaborate with engineers to identify, validate, specify, and implement high-value use cases using the company's symbolic probabilistic modeling system. Provide deep domain expertise, statistical modeling guidance, and industry contacts to recruit pilot users. Help integrate pilot solutions into users' workflows and support transition from pilot to production, working as a contracted practitioner with revenue-share opportunities.

Develop and implement a program synthesis pipeline, design complex algorithms, and work collaboratively on features and improvements in a remote setting.