dvanhorn @ λ-calcul.us

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 [...]

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: [...]

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 [...]