Hacker News new | past | comments | ask | show | jobs | submit login
Automated Reasoning as an Annoying Child (galois.com)
29 points by lelf on Feb 25, 2021 | hide | past | favorite | 1 comment



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 :-).




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: