Sveriges mest populära poddar
80,000 Hours - Narrations
Samhälle och kulturTeknologi

[Career review] “Expert on formal verification” by Arden Koehler

3 min•21 oktober 2021

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.

Fler avsnitt av 80,000 Hours - Narrations

Visa alla avsnitt av 80,000 Hours - Narrations
[Career review] “US Electoral Politics” by Sam Roth
•33 min
[Article] “How AI-driven feedback loops could make things very crazy, very fast” by Benjamin Todd
•26 min
[Problem profile] “Extreme power concentration” by Rose Hadshar
•1 tim
The US AI policy landscape: where to work to have the biggest impact
•44 min
[Problem profile] “Using AI to enhance societal decision making” by Zershaaneh Qureshi
•30 min
[Career review] “Founder of new projects tackling top problems” by Benjamin Todd
•26 min
[Problem profile] “Risks from power-seeking AI systems” by Cody Fenwick, Zershaaneh Qureshi
•1 tim 15 min
[Career review] “Early-stage startup employee” by Benjamin Todd
•13 min
[Problem profile] “Catastrophic AI misuse” by The 80,000 Hours team
•18 min
What are the most pressing world problems? Frequently asked questions.
•22 min

80,000 Hours - Narrations med 80000 Hours finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.