Applied Scientist, Automated Reasoning Group
The Automated Reasoning Group is looking for an Applied Scientist to formally verify high-performance cryptographic algorithms as well as develop the scalable automated reasoning tools required to do so....