Postdoctoral Researcher
Appalachian State University
United States of America
Summary
Postdoctoral Research Positions in Computer Science for an NSF-funded project on deep induction rules for advanced data types. Requires PhD with background in logical relations, functional programming, type theory, and category theory. Full-time, Boone, NC, 12 months, open until filled.