Postdoctoral Researcher

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 johannp@appstate.edu

Quick Link https://appstate.peopleadmin.com/postings/50240

Posting Number 201501613P