Fafnir

Кстати, по поводу динамической типизации, есть же юнит-тесты, интеграционные тесты. Их писать все равно придется, так что не стоит отметать Python по этой причине, все же скорость разработки повыше.

Java + Quartz. Проверено временем! Возьмите только легкий контейнер, а не JBOSS, будет проще.