We use cookies. Find out more about it here. By continuing to browse this site you are agreeing to our use of cookies.
I agree and accept cookies
Main menu
Post a Job
Request a Demo
Yes
No
Both
Advanced search
#alert
Back to search results / More jobs like this
Back to search results
Appalachian State University jobs

Postdoctoral Researcher

Appalachian State University
United States, North Carolina, Boone
287 Rivers Street (Show on map)
Oct 21, 2025
Request to Recruit






Position Title Postdoctoral Researcher
Location Boone, NC
Faculty Rank No
Provide Rank N/A
Position Number 089591
Department Computer Science - 250600
Position Summary Information










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
Type of Position Full Time Position
Staff/Non-Faculty Staff/Non-Faculty
VISA Sponsorship?
Appointment Type 1.0
Work Schedule/Hours Monday-Friday, 8:00 am - 5:00 pm
Number of Hours Per Week 40
Number of Months Per Year 12
Mandatory Staff No
Suggested Salary Range Commensurate with experience
Physical Demands of Position
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.
Posting Details Information








Posting Date 03/27/2025
Closing Date
Open Until Filled Yes
Evaluation of Applications Begins 04/11/2025
Proposed Date of Hire
Special Instructions to Applicants
For a complete application, please apply and submit all below-required documents electronically through Appalachian State University's Job Board:

  • Cover Letter
  • CV
  • List of three professional references with contact information
Search Chair Name Patricia Johann
Search Chair Email johannp@appstate.edu
Quick Link https://appstate.peopleadmin.com/postings/50240
Posting Number 201501613P
Applied = 0
MORE JOBS LIKE THIS

(web-675dddd98f-kfkhf)