Related skills
rust haskell category_theory bayesian_networks denotational_semantics📋 Description
- Research and develop category-theoretic representations of real-world phenomena
- Integrate representations into our probabilistic DSL and user interface
- Follow literature and bring up relevant ideas
- Present results to domain experts in accessible terms
- Collaborate with a fully remote, cross-disciplinary team
🎯 Requirements
- PhD or equivalent research experience involving category theory
- Programming in Rust, OCaml, Clojure, C++, or Haskell
- Ability to write about category theory in accessible ways
- Theory building in CS, applied mathematics or statistics
- Foundations of computation (logical) and synthetic probability theory
- Probabilistic graphical models (Bayesian networks)
🎁 Benefits
- Fully remote team
- CET-friendly timezone
- Collaborative culture
- Cutting-edge category theory research
Meet JobCopilot: Your Personal AI Job Hunter
Automatically Apply to Engineering Jobs. Just set your
preferences and Job Copilot will do the rest — finding, filtering, and applying while you focus on what matters.
Help us maintain the quality of jobs posted on Empllo!
Is this position not a remote job?
Let us know!