Zurzeit ist eine offene Stelle in der Arbeitsgruppe von Piet Brouwer anzukündigen, siehe die englische Version dieser Seite.