Formal Methods/Binary Analysis Research Scientist - Lawrence Livermore National Laboratory - Livermore, CA Livermore, CA, United States
Lecturer - Computer Science - University of Texas Permian Basin - Odessa, TX Odessa, TX, United States
VISITING ASSISTANT PROFESSOR Computer Science/Statistics - Occidental College - , CA CA, United States
Systems Engineer for Research Computing - Harvard University, Faculty of Arts and Sciences - Cambridge, MA Cambridge, MA, United States