HN Jobs

A searchable index of Hacker News “Who is hiring?” job postings.

← All postings · June 2024 thread

Symbolica

CompanySymbolica
Websitesymbolica.ai
Typeinternship
Role taxonomyIntern
LocationLondon, Australia · Remote
Salary
Apply viaApplication linkhttps://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-4052-ba18-e859d461808c
Hiring notesSponsors visas. Interns welcome.
TechML/AI
Parsed locationsLondon, Australia
RegionsAustralia
Posted bytaliesinb
PostedJun 3, 2024
SourceView on Hacker News ↗

Original posting

Symbolica.ai | London, Australia | REMOTE, INTERNS, VISA 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 upcoming ICML paper gives some flavor https://arxiv.org/abs/2402.15332 ; you can also watch https://www.youtube.com/watch?v=rie-9AEhYdY&t=387s ; but there is a lot more to say. 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! Check out our open positions at https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-405...