Please state the location and include REMOTE, INTERNS and/or VISA
when that sort of candidate is welcome. When remote work is
not an option,
include ONSITE.
Please only post if you personally are part of the hiring company—no
recruiting firms or job boards. One post per company. If it isn't a household name,
explain what your company does.
Commenters: please don't reply to job posts to complain about
something. It's off topic here.
Readers: please only email if you are personally interested in the job.
Searchers: try https://hnresumetojobs.com, https://hnhired.fly.dev,
https://kennytilton.github.io/whoishiring/, https://hnjobs.emilburzo.com.
Don't miss these other fine threads:
Who wants to be hired? https://news.ycombinator.com/item?id=40563280
Freelancer? Seeking freelancer? https://news.ycombinator.com/item?id=40563281
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...