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:

Open Until Filled:

Yes Evaluation of Applications Begins:

04/11/2025

Proposed Date of Hire:

To apply, visit https://appstate.peopleadmin.com/postings/50358 Appalachian State University is an Affirmative Action/Equal Opportunity Employer. The University does not discriminate in access to its educational programs and activities, or with respect to hiring or the terms and conditions of employment, on the basis of race, color, national origin, religion, sex, gender identity and expression, political affiliation, age, disability, veteran status, genetic information or sexual orientation. je-2a0d21d9df0e4e57881602ec944c5880