About this role
Postdoctoral Researcher at appstate. Location: Boone, North Carolina, United States. Role: conducting research, proving theories, meeting PI Requirements: PhD in Computer Science; experience in logical relations, functional programming, type theory, and category theory; research experience required. Category: Research and Development (R&D) Seniority: No Prior Experience Required Tools: Haskell, Type theory, Category theory, Logic Commitment: Full Time Workplace: Onsite Languages: English