Postdoctoral ResearcherAppalachian State University • Boone, North Carolina, United States
This job offer is no longer available
Postdoctoral Researcher
Appalachian State University
- Boone, North Carolina, United States
- Boone, North Carolina, United States
About
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 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 Quick Link Posting Number P
Languages
- English
Notice for Users
This job was posted by one of our partners. You can view the original job source here.