Does your team hire PhDs with formal verification backgrounds? If so, what is th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		amortize_ on Jan 20, 2020 \| parent \| context \| favorite \| on: How Amazon Web Services Uses Formal Methods (2015)... 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 on Jan 20, 2020 [–]

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_ on Jan 20, 2020 | [–]

I have not, but like you am considering getting a PhD in this area.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact