I’m looking for someone to join me in Boulder, CO at Kudu Dynamics to work on automated vulnerability discovery using program analysis and machine learning. It’s a good mix of research and building. If you’re interested, please send me a PM. Some experience in either vulnerability research, reverse engineering, compilers, or formal verification is preferred. Remote isn’t an option, but relocation is available