[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.

Episode metadata supplied by the publisher feed · Published Oct 21, 2021

Embed this episode

Attribution link and audio player

NOW PLAYING

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

0:00 3:17

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

TED Talks Society and Culture Thought-provoking videos about life and being human, with ideas from business leaders, psychologists and researchers speaking onstage at the TED conference, TEDx events and partner events around the world. You can also download these and many other videos free on TED.com, with an interactive English transcript and subtitles in up to 80 languages. TED is a nonprofit devoted to Ideas Worth Spreading.

Frequently Asked Questions

How long is this episode of 80,000 Hours - Narrations?

This episode is 3 minutes long.

When was this 80,000 Hours - Narrations episode published?

This episode was published on October 21, 2021.

Can I download this 80,000 Hours - Narrations episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!