Assistant or Associate Professor (Computer Science) - Gustavus Adolphus College - Saint Peter, MN Saint Peter, MN, United States
Formal Methods/Binary Analysis Research Scientist - Lawrence Livermore National Laboratory - Livermore, CA Livermore, CA, United States