Posted 4 weeks ago
We're trying to apply the insights of category theory, dependent type theory, and functional programming to deep learning. How do we best equip neural nets with strong inductive biases from these fields to help them reason in a structured way? Our u…
London, Australia
Posted 4 weeks ago
Supercede builds industry-leading risk placement and analytics software for the reinsurance industry. We're all-in on functional programming, and we're looking for more help. Our tech stack is predominantly: - Haskell (Yesod, Conduit, Persistent/Esq…
Create your own personalized Job Alert