Sign up to save your podcasts
Or
Share [Career review] “Expert on formal verification” by Arden Koehler
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
[Career review] “Expert on formal verification” by Arden Koehler
Delete
Narrated by AI.
---
Outline:
(00:36) Sometimes recommended -- under-researched
(00:48) Review status
(00:53) Why might becoming an expert in formal verification be high impact?
(02:12) Want one-on-one advice on pursuing this path?
(02:33) Learn more
(02:48) Learn about other high-impact careers
---
First published:
October 21st, 2021
Source:
https://80000hours.org/career-reviews/formal-verification-expert
---
Narrated by TYPE III AUDIO.
View all episodes
By 80000 HoursDelete
Narrated by AI.
---
Outline:
(00:36) Sometimes recommended -- under-researched
(00:48) Review status
(00:53) Why might becoming an expert in formal verification be high impact?
(02:12) Want one-on-one advice on pursuing this path?
(02:33) Learn more
(02:48) Learn about other high-impact careers
---
First published:
October 21st, 2021
Source:
https://80000hours.org/career-reviews/formal-verification-expert
---
Narrated by TYPE III AUDIO.