About this opportunity
Appalachian State University lists this Postdoctoral Researcher opportunity in boone, North Carolina. Review the employer’s description below for duties, qualifications and application requirements.
Job description
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
Worksite address
boone, NC, 28607, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.