MIT position in Redex

[Matthias Felleisen]

Nikos sent me the following ad. They are using Redex to model

aspects of programming, which is the actual focus of the Racket

reference. 

If you think someone not on this list is interested, please

forward. 

;; - - - 

We are looking for motivated engineers (e.g., undergraduates
completing their studies, recent B.Sc./M.Sc./M.Eng. graduates) to work
on projects related to program analysis, transformation, and synthesis.
These projects focus on secure, parallel, and distributed
computing and are part of a collaboration between MIT and Aarno Labs
(an MIT spin-off). A significant aspect of these projects is related
to dynamic programming languages such as JavaScript, Racket, or
Python.

This position combines many benefits of working in industry *and*
academia: strong compensation, intellectual autonomy, impact, and
flexibility in working arrangements. This position would be ideal for
a recent graduate seeking industrial work who also wants to maintain
close ties with academia and be involved in publishing papers with
researchers at MIT. Our team is split between Boston and Philadelphia,
and can easily accommodate remote work.

If interested, please email ni...@vasilak.is with a short paragraph
about you and a resumé.