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.
We are seeking full-time researchers to develop and analyze learning algorithms for a system that represents domain knowledge as modular probabilistic models. The role involves theoretical problems with immediate implementation applicability in finance and scientific 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.
We are seeking full-time researchers to develop and analyze learning algorithms for a system that represents domain knowledge as modular probabilistic models. The role involves theoretical problems with immediate implementation applicability in finance and scientific research.