Unknown Company

Postdoctoral Researcher

Apply Now Save
boone, nc • Posted 6 days ago
Onsite Full Time Other

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.

Posting Details

Request to Recruit Position Title Postdoctoral Researcher

Location Boone, NC

Faculty Rank No Provide Rank N/A

Position Number

Department Computer Science -

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

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

Search Chair

Search Chair Name Patricia Johann Search Chair Email

Supplemental Questions

Required fields are indicated with an asterisk (*).

#J-18808-Ljbffr
Back to Job Search