Job Opening: Final SMT Inspector