3 ms·
Does anyone work in the field of formal verification? I’m a senior in school and always enjoyed the actual “computer science” more than coding itself. I’m gonna
by chis 9y ago
Does anyone work in the field of formal verification? I’m a senior in school and always enjoyed the actual “computer science” more than coding itself. I’m gonna end up at a google/Microsoft type place programming webapps unless I find something else to do in the next couple months.
I guess my question is just: is it a worthwhile career, and is the field growing?
- jahewson 9y agoMicrosoft Research has a group which explores tooling for software engineering: https://www.microsoft.com/en-us/research/group/research-in-software-engineering-rise/?from=http%3A%2F%2Fresearch.microsoft.com%2Frise https://www.microsoft.com/en-us/research/group/research-in-s...