Postdoctoral Researcher

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.

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

Position Title: Postdoctoral Researcher

Location: Boone, NC

Primary

Purpose:

Postdoctoral researcher working on NSF grant on deep induction rules for advanced data types grant. Reports to Patricia Johann, Computer Science Department.

• 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

• 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.

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

Full Time Position

Staff/Non-Faculty: Staff/Non-Faculty

VISA Sponsorship: No

Work Schedule/

Hours:

Monday-Friday, 8:00 am – 5:00 pm

Number of Hours Per Week: 40

Salary: Commensurate with experience

Physical Demands: 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 Date: 03/27/2025 | Closing Date:
Open Until Filled | Evaluation of Applications Begins: 04/11/2025 | Proposed Date of Hire: unspecified

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

Name: Patricia Johann

Email: johannp

Posting Number: P

Required fields are indicated with an asterisk (*).

Required Documents

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

Optional Documents