Type Theory Forall
Type Theory Forall
Dec 13, 2020
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.

Who is Pedro Abreu?

What is the goal of this Podcast?

What are My Research Interests?

In this episode I share about my internship experiences at Nicta (data61 now), Sifive, Galois and Nomadic Labs.


Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shapat Morina. Click Here

More episodes
Clear search
Close search
Google apps
Main menu