qqp question1: What resources can I use if I want to get a career in formal verification? question2: I sold a company for 100 million USD. I live in California, and the companies are registered in Delaware. How much do I keep after tax?