Postdoctoral Researcher

Postdoctoral Researcher Position Summary Information: Postdoctoral researcher working on NSF grant on deep induction rules for advanced data types grant. Reports to Patricia 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 deep induction for advanced data types according to the NSF grant. Background reading Problem solving Proving theories Meeting with PI Type of Position Full Time Position Position Staff / Non‑Faculty Non‑Faculty VISA Sponsorship No Work Schedule Monday‑Friday, 8:00 am – 5:00 pm; 40 hours per week; 12 months per year 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. #J-18808-Ljbffr Appalachian State University