Viewing profile — amortize_
amortize_
HN member- Joined
- Sun, Jan 05, 2020, 5:12 PM UTC
- HN karma
- 2
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About amortize_
No profile information was provided.
Recent public activity
-
comment
Comment #22101652
I have not, but like you am considering getting a PhD in this area.
-
comment
Comment #22100715
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?
- story