Hi, we are looking for a new member for my team. The job is developing the SystemModeler (www.wolfram.com/system-modeler) Modelica's compiler which is written in OCaml. Here's the full announce if you are interested: http://www.wolfram.com/company/careers/opportunities/#op-127441-software-engineer-systemmodeler Leonardo