Added PhD position; updated page on Formal Methods