Postdoctoral Researcher
Listed on 2026-08-03
-
Research/Development
Postdoctoral Research Fellow, Research Scientist, Data Scientist
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 DetailsRequest 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
- 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?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 InformationPosting Date 03/27/2025 Closing Date Open Until Filled Yes Evaluation of Applications Begins 04/11/2025 Proposed Date of Hire
Search ChairSearch Chair Name Patricia Johann Search Chair Email johannp
Supplemental QuestionsRequired fields are indicated with an asterisk (*).
#J-18808-Ljbffr(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).