Our team at @DeepMind is hiring engineers and researchers in PL, compilers, systems etc. Come work with us on challenging problems and help shape the next generation of AI infrastructure!
https://deepmind.com/careers/jobs/1796254 …
https://deepmind.com/careers/jobs/470166 …
-
-
Sounds interesting, because I’m active in that space myself, working towards joint approaches to neural program synthesis, constraint solving, and type inference... but asking for compiler experts exclusively in C, C++, and Python doesn’t make sense IMO. Why not Haskell?
1 reply 0 proslijeđenih tweetova 2 korisnika označavaju da im se sviđa
especially since you invented Haskell’s outside-in constraint solving algorithm :D — coincidentally, I started reading on it yesterday after musing over @Lowert’s thesis on matchability and partially applied type families...
05:15 - 31. sij 2020.
0 replies
0 proslijeđenih tweetova
1 korisnik označava da mu se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.