Hacker Careers logo
Archived on 21 November, 2024 (8 months ago)

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.

We use cookies

We use cookies to ensure you get the best experience on our website. For more information on how we use cookies, please see our cookie policy.

By clicking "Accept", you agree to our use of cookies.
Learn more.