![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#0 Cool Internships in PL - Pedro Abreu
Type Theory Forall
English - December 14, 2020 12:08 - 31 minutes - 51.3 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
Previous Episode: #0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
Next Episode: #1 What is PL research? - Prof. Ben Delaware
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.
Welcome!
Don’t forget to checkout Galois’ new podcast hosted by Joey Dodds and Shpat Morina. Click Here