About this position
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
How to apply
- Read the full advert on the source site — it carries the authoritative terms.
- Prepare your SOP, CV, transcripts and referees before the deadline.
- Apply through the university's own portal. Never pay a fee to a third party.