Senior Chip Design Engineer, Formal Verification at NVIDIA (Tel Aviv)