🛠 Tech Stack

💼 About This Role

You'll develop category theoretic representations for a system that models domain knowledge as modular probabilistic models. Your work will bridge theory and implementation, enabling applications in finance and scientific research.

🎯 What You'll Do

• Follow existing literature and bring up relevant ideas
• Formalize categorical semantics of probabilistic DSL
• Develop new models for real world phenomena

📋 Requirements

• PhD (or equivalent) involving category theory
• Rust, OCaml, Clojure, C++, or Haskell proficiency
• Theory building in computer science, applied mathematics or statistics

✨ Nice to Have

• Writing about category theory in accessible ways
• Familiarity with probabilistic graphical models
• Knowledge of string diagrams or monoidal categories

🎁 Benefits & Perks

• 🏖️ Fully remote within CET timezone
• 🧑‍🤝‍🧑 Collaborative culture with direct feedback
• 📚 State-of-the-art research exploration opportunities