Archived on 21 November, 2024 (8 months ago)

Symbolica.ai is hiring a
Research Intern
About Symbolica.ai
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?
Job Description
If you are fluent in 2 or more of { category theory, Haskell (Idris/Agda/...), deep learning }, you'll probably have a lot of fun with us! We are hiring interns to explore the application of category theory, dependent type theory, and functional programming to deep learning.Remote
Salary
Not Specified
Benefits
Not Specified
Tech Tags
Category TheoryHaskellIdrisAgdaDeep Learning
Date Listed
03 June, 2024 (about 1 year ago)
This job is archived, but you can still apply.