<div dir="ltr"><div>I got my PhD at Stevens in the 2000's. It's a great small university in a nice city (close to the Big One!) and a great place for working on programming languages, with a relevant community around (great universities & companies very close by), so I recommend it if you are interested.<br></div><div><br></div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Ricardo Medel<br><a href="https://urldefense.com/v3/__https://www.linkedin.com/in/ricardomedel__;!!IBzWLUs!HdxEPnQm8pjOjoXJHtCWcUb3IAnMfLPxnaYCIxN7TudRYjlXr_H3wVq6gSjAS0U9mE9QNagWXSADNQ$" target="_blank">linkedin.ricardomedel</a><br></div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El mié, 22 dic 2021 a las 12:04, Michael Greenberg (<michael@greenberg.science>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">[ The Types Forum (announcements only),<br>
   <a href="http://lists.seas.upenn.edu/mailman/listinfo/types-announce" rel="noreferrer" target="_blank">http://lists.seas.upenn.edu/mailman/listinfo/types-announce</a> ]<br>
<br>
The Cypress group at Stevens is recruiting PhD students. With eight<br>
research faculty, we do a broad range of theoretical and practical<br>
work. Eric Koskinen, Dave Naumann, and I will be particularly of<br>
interest to the TYPES crowd, but people like Tegan Brennan, Georgios<br>
Portokalidis, and Jun Xu work on adjacent PL/SE/security/systems<br>
topics.<br>
<br>
<a href="https://urldefense.com/v3/__https://www.cs.stevens.edu/cypress/people/__;!!IBzWLUs!BFwPKYyax6Ai8OJEM4UazeUOF_lVKWwm_2NBJLa2ljqjPG0O0Q6C5twd-zRIbNk7x0VQe5U3ZU8zIw$" rel="noreferrer" target="_blank">https://urldefense.com/v3/__https://www.cs.stevens.edu/cypress/people/__;!!IBzWLUs!BFwPKYyax6Ai8OJEM4UazeUOF_lVKWwm_2NBJLa2ljqjPG0O0Q6C5twd-zRIbNk7x0VQe5U3ZU8zIw$</a> <br>
<br>
<a href="https://urldefense.com/v3/__http://www.weaselhat.com/2021/09/17/im-looking-for-phd-students/__;!!IBzWLUs!BFwPKYyax6Ai8OJEM4UazeUOF_lVKWwm_2NBJLa2ljqjPG0O0Q6C5twd-zRIbNk7x0VQe5VP3mxvBA$" rel="noreferrer" target="_blank">https://urldefense.com/v3/__http://www.weaselhat.com/2021/09/17/im-looking-for-phd-students/__;!!IBzWLUs!BFwPKYyax6Ai8OJEM4UazeUOF_lVKWwm_2NBJLa2ljqjPG0O0Q6C5twd-zRIbNk7x0VQe5VP3mxvBA$</a> <br>
<br>
Stevens is in Hoboken, NJ, directly across the Hudson from New York<br>
City.<br>
<br>
Applications are reviewed on a rolling<br>
basis. <a href="https://urldefense.com/v3/__https://gradadmissions.stevens.edu/apply/__;!!IBzWLUs!BFwPKYyax6Ai8OJEM4UazeUOF_lVKWwm_2NBJLa2ljqjPG0O0Q6C5twd-zRIbNk7x0VQe5XpEB-9QQ$" rel="noreferrer" target="_blank">https://urldefense.com/v3/__https://gradadmissions.stevens.edu/apply/__;!!IBzWLUs!BFwPKYyax6Ai8OJEM4UazeUOF_lVKWwm_2NBJLa2ljqjPG0O0Q6C5twd-zRIbNk7x0VQe5XpEB-9QQ$</a>Â GRE/GMAT can be<br>
waived---contact me for more information.<br>
</blockquote></div>