Postdoctoral Researcher

Job in Boone, Watauga County, North Carolina, 28607, USA

Listing for: Appalachian State University

Full Time position
Listed on 2026-06-18

Job specializations:

Research/Development
Postdoctoral Research Fellow, Research Scientist, Data Scientist

Salary/Wage Range or Industry Benchmark: 60000 - 80000 USD Yearly USD 60000.00 80000.00 YEAR

Postdoctoral Researcher

Position Summary Information:
Postdoctoral researcher working on NSF grant on deep induction rules for advanced data types grant. Reports to Patricia Johann, Computer Science Department.

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

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 deep induction for advanced data types according to the NSF grant.

Background reading
Problem solving
Proving theories
Meeting with PI

Type of Position

Full Time Position

Position Staff / Non‑Faculty

Non‑Faculty

VISA Sponsorship

Work Schedule

Monday‑Friday, 8:00 am – 5:00 pm; 40 hours per week; 12 months per year

Physical Demands

To perform this job successfully, an individual must be able to perform each essential job duty satisfactorily. Reasonable accommodations may be made to enable qualified individuals with disabilities to perform essential job functions.

#J-18808-Ljbffr