[soumyadeb]

I did a PhD in Computer Science but chose to go to industry (not research lap). My PhD had zero effect on the job opportunities OR quality of job. Did a couple of startups after and that gave me a lot more fulfilling experience. PhD teaches you somethings like how to judge a problem but you can learn the same thing in a much shorter timespan e.g. by trying to do a startup.

I would say, unless you are 100% sure you want to go to academia or research lab, DON'T do a PhD. You will never regret it. Also, it is never a one way street. After a year or two working somewhere if you find out that PhD is your true calling, you can always go back to graduate school. You will get into a better graduate school. The PhD you would then do will likely be better too. Nothing against automated theorem proving (don't know what it is) but likely your industry experience will give you a better perspective on how to pick a better problem.