4 ms·

Does your team hire PhDs with formal verification backgrounds? If so, what is the interview process like? Do you make them go through the standard leetcode type

Does your team hire PhDs with formal verification backgrounds? If so, what is the interview process like? Do you make them go through the standard leetcode type interviews?

exdsq 7y ago
Side note - did you do a PhD in formal verification? I'd love to hear more about it? I am seriously considering it myself.
- amortize_ 7y ago
  I have not, but like you am considering getting a PhD in this area.