Automated Reasoning as an Annoying Child

I'd love to know how long it takes a typical Galois engineer to analyze a piece of code. The SAW tool sounds like it helps a lot.

I found them at some point when they were hiring and I was (passively) looking for work, and they look like they pay above average for the area (DC) which is definitely not cheap (and they have other things that make it appear to be a great place to work... alas, I'm wildly unqualified to work there :-).