Search Filters
Use this area to filter your search results. Each filter option allows for multiple selections.
Hamilton College
Clinton, New York
NEW! NEW!
Normandale Community College
Bloomington, Minnesota
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
University of Michigan - Ann Arbor
Ann Arbor, Michigan
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
Open Rank Faculty (Literacy), National Center for the Elimination of Educational Disparities (NCEED)
Morgan State University
Baltimore, Maryland
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
Mount Wachusett Community College
Gardner, Massachusetts
NEW! NEW!
California State University, San Bernardino
San Bernardino, California
NEW! NEW!
NEW! NEW!
NEW! NEW!
NEW! NEW!
University of Southern California (USC)
Los Angeles, California
NEW! NEW!
NEW! NEW!
Loading... Please wait.
Post Doc Research Associate
Position Information:Position Title:Post Doc Research AssociateAppointment Type:Post Doc/TraineeJob Description:Summary of Duties and Responsibilities:Â Candidate will conduct world-class research in the area of formal methods, including design-time and/or runtime verification. Topics include defining new specification logic variants, formal requirements elicitation, proving algorithmic complexity and correctness, formal modeling, and algorithmic advances contributing to industrial-shaped instances of symbolic model checki
Loading. Please wait.