About You You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You love to tackle computationally hard problems and have a proven track record of achieving results, where results are peop
Get weekly curated job picks, salary trends, and career insights delivered to your inbox.