[sjg007]

If you want to spend your day working on theorem proving then get a PhD. If not, don't. You may also find another PhD subject you may like more. A PhD opens different doors even though you may still arrive at the same destination. If you are paralyzed in making a decision, you might want to start the PhD and do a summer internships at various companies. Use internships as a way to evaluate a "regular" jobs. BTW this advice doesn't mean you have to stay in this country that you hate. You may be able to get a PhD somewhere you like!

[dehrmann]

A PhD also closes some doors because the roles you apply for will tend to be more specialized. Or maybe that's not the direction you want to go, and you have to explain in every HR phone screen for five years "no, I actually want to do x."

In general, the jobs you get if you have a PhD pay somewhat better, but there's fewer of them, and have less flexibility with who you work for and where.

[sjg007]

Eh you can leave it off your resume if you want.