Monoidics が R&D Engineer を募集してる……
http://lists.seas.upenn.edu/pipermail/types-announce/2012/003080.html