Postdoctoral Research Position in Computer Science focusing on deep induction for advanced data types. Requires PhD and expertise in logical relations, functional programming, type theory, and category theory. Full-time, 40 hours per week at a university in Boone, North Carolina.