[apologies for multiple copies] On behalf of Prof. Walid Taha A postdoc opening at Rice University on the simulation of hybrid (continuous/discrete) systems using enclosures. We are open to a range of different backgrounds. An ad can be found here: http://www.acumen-language.org/2013/10/postdoctoral-fellowship-on-compiling.html