SMT Operator at jobdiva