×
Register Here to Apply for Jobs or Post Jobs. X

Postdoctoral Researcher

Job in Boone, Watauga County, North Carolina, 28607, USA
Listing for: Appalachian State University
Full Time position
Listed on 2026-06-07
Job specializations:
  • Research/Development
    Postdoctoral Research Fellow, Research Scientist
Job Description & How to Apply Below
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

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

Quick Link

Posting Number
P
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)
0
200
Filters
Education Level
Experience Level (years)
Posted in last:
Salary