They'll have another layoff ("Resource Action" in IBM-speak) later this year. No later than mid-December, so they don't have to pay the 401(k) match (if you leave before the end of the year, they take back their match for the whole year).