Hacker Careers Logo
Home
Companies
About HackerCareers

© 2023 Hacker Careers

Hacker Careers Short Logo White
Archived on 21 November, 2024 (6 months ago)
Company Logo for Symbolica.ai

Symbolica.ai is hiring a
Research Intern

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 Theory
Haskell
Idris
Agda
Deep Learning

Date Listed

03 June, 2024 (12 months ago)
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?
This job is archived, but you can still apply.