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.
Background Check Statement:
Any offer of employment to a successful candidate will be conditioned upon the University's receipt of a satisfactory criminal background report.
Eligibility for Employment:
Proper documentation of identity and eligibility for employment will be required before the hiring process can be completed.
Experience in logical relations, functional programming, type theory, and category theory. Ph.D. in Computer Science, research experience required
Essential Duties and Responsibilities:
Research on fibrational parametricity according to NSF grant; background reading; problem solving; proving theories; and meeting with PI.
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.
Appalachian State University, located in Boone, North Carolina’s Blue Ridge Mountains, prepares students to lead purposeful lives as engaged global citizens who understand their responsibilities in creating a sustainable future for all. The transformational Appalachian experience promotes a spirit of inclusion that brings people together in inspiring ways to acquire and create knowledge, to grow h...olistically, to act with passion and determination, and embrace diversity and difference. Appalachian enrolls about 18,000 students, has a low faculty-to-student ratio and offers more than 150 undergraduate and graduate majors. It is one of 16 universities in the University of North Carolina system.