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 <mailto:ni...@vasilak.is> with a short paragraph about you and a resumé. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/4B92D39A-5E59-48C7-9F4B-F96BBB640751%40felleisen.org.
