# Applied Category Theory Research

**Company:** [PlantingSpace](https://hotfix.jobs/companies/plantingspace)
**Location:** Remote
**Role:** AI Research
**Skills:** Category Theory, Rust, Ocaml, Haskell, Clojure, C++, Probabilistic Graphical Models, Bayesian Networks, Denotational Semantics, String Diagrams, Monoidal Categories, Optics, Lenses, Synthetic Probability Theory, Probabilistic Dsl
**Posted:** 2026-03-23

> Conducts research in applied category theory to formalize semantics of probabilistic DSLs and develop models for real-world phenomena like relationships, dynamical systems, and natural language. Requires PhD-level expertise in category theory and functional programming skills.

## Job Description

## Responsibilities
- Follow existing literature and bring up relevant ideas
- Formalize the categorical semantics of our probabilistic DSL, feeding back theoretical insights for the benefit of the implementation
- Develop new models for real world phenomena along our framework, for example, relationships, probabilistic models, dynamical systems, and natural language
- Present results of your work in a way accessible to experts in other fields

## Useful Experience
- PhD (or equivalent research experience) which involved category theory
- Programming in some functional or statically typed programming languages, e.g. **Rust**, **OCaml**, **Clojure**, **C++**, or **Haskell**
- Writing about category theory in accessible ways
- Theory building in computer science, applied mathematics or statistics
- Familiarity with some of the listed concepts:
  - (Logical) foundations of computation
  - Synthetic probability theory
  - Probabilistic graphical models (including Bayesian networks)
  - Denotational semantics
  - String diagrams, monoidal categories, optics, lenses

## Similar roles

- [ML Scientist](https://hotfix.jobs/jobs/401a3fda-7a0b-4af9-aa9c-134e4ae4b19c) - Sesame - San Francisco, CA - $190k – $320k/yr
- [Research Scientist](https://hotfix.jobs/jobs/34963160-7769-44e3-8e41-872372a811ed) - OpenRouter - Remote
- [Research Engineer, Benchmarks](https://hotfix.jobs/jobs/71636332-204e-4abc-b0b5-c2b5c2ca3726) - hud - San Francisco, CA
- [Research Scientist](https://hotfix.jobs/jobs/5c6acbfc-713c-4c38-bb2c-7a8d9dbc74d1) - Spotify - Remote
- [Research Scientist, Life Sciences](https://hotfix.jobs/jobs/3612b705-0fb1-4f66-a4a1-0b28ba382b5c) - Anthropic - San Francisco, CA - $300k – $320k/yr

**Apply:** https://hotfix.jobs/jobs/9bc11124-5ca7-461d-9810-abb3d96f3027
**Canonical:** https://hotfix.jobs/jobs/9bc11124-5ca7-461d-9810-abb3d96f3027