Barak Pearlmutter is looking for PhD students and postdocs to work on functional programming and automatic differentiation.
I’m looking for PhD students and postdocs interested in working on an
elegant combination of functional programming and big-iron style
numeric computing. Blurb below. If you know anyone good who might be
interested, I’d be grateful if you’d pass this [...]
Jane Street Capital has announced their 2009 summer project:
I’m pleased to announce the Jane Street Summer Project for 2009. The goal
of the JSSP is to make functional programming languages into better
practical tools for programming in the real world. To do that, we will
fund students over the summer to work on open-source projects which aim at
improving [...]
These are excellent opportunities to work on formal methods with Pete Manolios at Northeastern. There are two positions open: research scientist and postdoc. Announcements for both are included below. First, the research scientist position:
Research scientist position in Formal Methods
Prof. Pete Manolios
Northeastern University
Boston, Massachusetts
Highly motivated applicants are being sought to work on the
automation of component-based systems: [...]
Shriram Krishnamurthi has a recent and insightful essay on writing graduate school letters of recommendation.
Matt Might was recently in town interviewing at Brandeis. Having been steeped in the job search process over the last year, I asked him for any advice and hints for finding open positions. Here is response (with permission):
cra.org has the best listing.
The Chronicle of Higher Education has a listing of more teaching-oriented positions.
Other [...]