Skip to content
PlantingSpacePlantingSpaceUnited States

Applied Category Theory Research

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.

Salary not listed
RemoteAI Research

About the role

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

Skills

Category TheoryRustOcamlHaskellClojureC++Probabilistic Graphical ModelsBayesian NetworksDenotational SemanticsString DiagramsMonoidal CategoriesOpticsLensesSynthetic Probability TheoryProbabilistic Dsl

Similar roles

AI Research jobs
Sesame

ML Scientist

SesameSan Francisco, CA +2

Research-oriented Machine Learning Scientist developing multimodal ML models (NLP, Speech, Computer Vision) for lifelike voice agents. Requires published papers in large-scale deep learning and familiarity with SOTA AI.

190k – 320k/yr
On-siteAI Research
OpenRouter

Research Scientist

OpenRouterUnited States

Conduct original research on LLM evaluation, routing optimization, and model behavior using billions of real-world generations. Design novel benchmarks, run large-scale empirical studies, and develop statistical foundations for intelligent routing. Requires MS/PhD, publication track record, deep stats/ML expertise, and Python/SQL skills.

Salary not listed
RemoteAI Research
hud

Research Engineer, Benchmarks

hudSan Francisco, CA

Build high-quality, domain-specific benchmarks and infrastructure to rigorously evaluate frontier AI agents on realistic workflows. Requires strong Python/Docker/Linux skills, experience with evals or benchmarks, and a deep understanding of what makes a benchmark reliable and useful.

Salary not listed
On-siteAI Research
Spotify

Research Scientist

SpotifyNew York, NY

Research Scientist advancing generative audio models (diffusion/flow matching) for music, focusing on vocal synthesis, post-training alignment (DPO/RLHF), or audio editing. Requires PhD, top publications, and PyTorch expertise to turn research into artist-first Spotify products.

Salary not listed
RemoteAI Research
Anthropic

Research Scientist, Life Sciences

AnthropicSan Francisco, CA

Founding Research Scientist on Anthropic's Life Sciences team, designing and executing wet-lab experiments in molecular biology and biochemistry. Partners with computational biologists and uses Claude AI for hypothesis generation, experimental planning, and rapid iteration to drive AI-accelerated biological discoveries.

300k – 320k/yr
HybridAI Research