Postdoctoral Researcher Position Available In Watauga, North Carolina
Tallo's Job Summary: The Postdoctoral Researcher position at Appalachian State University in Boone, NC, USA, requires a Ph.D. in Computer Science and expertise in logical relations, functional programming, type theory, and category theory. The role entails conducting research on deep induction for advanced data types as per an NSF grant. The work schedule is Monday to Friday, 8:00 am to 5:00 pm, with a suggested salary range based on experience. Applications are evaluated starting on 04/11/2025.
Job Description
Postdoctoral Researcher Appalachian State University Boone, NC, USA Apr 02, 2025
JOB
DESCRIPTION
Postdoctoral Researcher
Department:
Computer Science – 250600
Minimum Qualifications
Experience in logical relations, functional programming, type theory, and category theory, specifically categorical semantics of advanced data types
Ph.D. in Computer Science
Research experience required
License/Certification Required
N/A
Preferred Qualifications
Ph.D. in Computer Science or related field, or equivalent research experience.
Strong background in functional programming, type theory, and category theory.
Interest in working on fundamental research questions on the themes of type-indexed programming, term-indexed programming, and indexed programming in general.
Essential Duties and Responsibilities
The primary purpose of the Postdoctoral Researcher is to research on deep induction for advanced data types according to the NSF grant.
Responsibilities include but are not limited to the following:
Background reading
Problem solving
Proving theories
Meeting with PI
Work Schedule/Hours:
Monday-Friday, 8:00 am – 5:00 pm
Suggested Salary Range:
Commensurate with experience
Closing Date:
4/10/2025
Open Until Filled:
No
Evaluation of Applications Begins:
04/11/2025
