About this role
Applied Category Theory Research at Planting Space. Location: Europe. Role: Formalize semantics, Develop models, Present results Requirements: PhD (or equivalent) in category theory; experience in functional/statically typed languages; ability to write about category theory accessibly; theory building in CS/math/statistics; familiarity with logical foundations, synthetic probability, probabilistic graphical models, denotational semantics, string diagrams Category: Research and Development (R&D) Seniority: Senior Level Tools: Rust, OCaml, Clojure, C++, Haskell Commitment: Full Time Workplace: Remote Languages: English