AS
Postdoc Position

Postdoctoral Researcher

Deadline
Mar 04, 2027
Closing in 136 days
Location
N/A
United States
Employment
None
Full time
Reference
N/A
Posted Sep 08, 2026

About the role

Employment Opportunities Postdoctoral Researcher

Below you will find the details for the position including any supplementary documentation and questions you should review before applying for the opening. To apply for the position, please click the Apply for this Job link/button. If you would like to bookmark this position for later review, click on the Bookmark this Posting link. If you would like to print a copy of this position for your records, click on the Print Preview link. Application Deadline: All applications must be submitted electronically by 11:59 p.m. Eastern Time on the closing date indicated in the posting. For positions listed as Open Until Filled, applications will be accepted until the position is filled.

Bookmark this Posting Print Preview Apply for this Job Please see Special Instructions for more details.

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
  • Posting Details

    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

    Primary Purpose Postdoctoral researcher working on NSF grant on deep induction rules for advanced data types grant. Reports to Paticia 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
  • 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 [email protected] Quick Link https: // appstate.peopleadmin.com/postings/50240 Posting Number 201501613P

    Supplemental Questions

    Required fields are indicated with an asterisk ().

    Applicant Documents

    Required Documents

  • Cover Letter / Letter of Interest
  • Curriculum Vitae
  • List of References with Contact Information
  • Optional Documents

    How to apply

    Read the full posting, then apply through the employer's own site. Applications are handled by the institution, not by AcademicGates.