Posted 5 days, 8 hours ago
We are working on making energy-based models (EBMs) viable by revisiting some of the math that underlies machine learning. Ideal candidate would understand how one goes about writing high perf code as well as be able to explain the concept of a Hami…
Remote
Posted 1 month ago
We are working on making energy-based models (EBMs) viable by revisiting some of the math that underlies machine learning. Here is what Yann LeCun had to say about EBMs https://x.com/ylecun/status/1380066315600343042 If you have background in any o…
Posted 5 months, 3 weeks ago
Fleak Explained: A compound AI system for real time data streams. Fleak offers a user-friendly visual orchestrator, allowing users to craft their Directed Acyclic Graphs (DAGs) by seamlessly connecting data sources, AI models(GPU,CPU), and user defi…
Posted 2 years, 4 months ago
Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.
Cambridge
Posted 2 years, 6 months ago
We are one of the leading Haskell/Rust consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a 100% remote developers to join our team. If you are excited about Haskell, Rust o…
Posted 2 years, 7 months ago
MLabs are hiring Haskellers! (100% Remote, Worldwide) Paid internships also available! We are one of the leading Haskell consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a…