Postdoctoral Researcher

Appalachian State

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
View email address on click.appcast.io

Quick Link

Posting Number
201501613P

Apply

Vacancy posted 1 day ago

Similar jobs that could be interesting for youBased on the Postdoctoral Researcher in Boone, NC vacancy

Black Lotus Labs Threat Researcher - APT Research
$145.46k - $193.94k
...shape the future of AI‑ready connectivity, join us today. The Role Black Lotus Labs is seeking a remote Threat Intelligence Researcher on the Research & Analysis team focused on tracking advanced threats. This team leverages Lumen’s global visibility across one of...
Suggested
Full time
Temporary work
Remote work
Lumen
Boone, NC
2 days ago
Assistant Professor of Cell Biology
...Start Date Fall 2027 (08/02/2027) Minimum Qualifications PhD in Biology or related field and postdoctoral training. Areas of Interest Commitment to teaching and research at a master’s‑degree granting institution. PhD and postdoctoral experience in a subdiscipline...
For PostDoc
Appalachian State University
Boone, NC
2 days ago
Assistant Professor of Cell Biology
...Qualifications A Ph.D. in Biology or related field postdoctoral experience Areas of Interest and Preferred Qualifications (... ...Successful applicants will have a commitment to teaching and research at a master's degree granting institution. They will have a PhD...
For PostDoc
Full time
Temporary work
Fixed term contract
Live in
Visa sponsorship
Appalachian State
Boone, NC
2 days ago
Institutional Research Analyst
...Classified Ad Title Institutional Research Analyst Post Date 9/30/2026 Expiration Date 10/30/2026 Details The Institutional Research Analyst position is part of the Strategic Analytics & Institutional Research team in Institutional Research, Assessment & Planning (IRAP...
Suggested
Work at office
ILHeadStart
Boone, NC
2 days ago
Institutional Research Analyst
...Posting Details Request to Recruit Position Title Institutional Research Analyst Location Boone, NC Faculty Rank Provide Rank Position Number 026471 Department Institutional Research & Planning - 210000 Position...
Suggested
Full time
Live in
Work at office
Monday to Friday
Appalachian State
Boone, NC
13 hours ago
Research Scientist Intern (2025)
...We are looking for a Research Scientist Intern to push the state of the art of our AI models. As a Research Scientist Intern at Whiterabbit.ai, you will: Play a key role in architecting the algorithms and models that will power our products Train on a dedicated...
Remote job
Internship
Whiterabbit.ai
Boone, NC
4 days ago
Medical Laboratory Scientist
$25 per hour
Job Description Job Description Job description: There is an immediate opening for a Laboratory Scientist, Chemist, or Medical Technologist with experience operating analytical instrumentation in a medical laboratory setting. The position would require analysis...
Part time
Immediate start
Night shift
Envision Pain Management
Boone, NC
29 days ago
Cytotechnologist ( Evenings )
Cytotechnologist The Cytotechnologist participates in specialized and complex technical tasks involved in screening slides of clinical specimens to detect evidence of cancer or other pathological conditions. The Cytotechnologist's decisions and actions with patients...
Hourly pay
Full time
Shift work
Night shift
Weekend work
Afternoon shift
Appalachian Regional Healthcare System
Boone, NC
4 days ago
Marketing Operations Analyst
FocusKPI is looking for a Marketing Operations Analyst to join one of our clients, a high-tech SaaS company. As a Marketing Operations Analyst on the Marketing Operations & Technology team, you’ll help share the client's marketing data strategy. This includes driving...
Full time
FocusKPI
Boone, NC
4 days ago
Research Scientist Intern - Graphics, ML
$170.6k
...Job Details: Job Description: The Graphics Research Organization at Intel is seeking a highly motivated Research Scientist Intern to join its world-class team. This role offers an opportunity to help shape next-generation graphics technologies and experiences by conducting...
Remote job
Internship
Local area
Immediate start
Work from home
Worldwide
Shift work
Intel
Boone, NC
13 hours ago
Medical Technologist - MLT / MT
Medical Technologist/Medical Laboratory Technician This location offers plenty for a true nature lover with stunning scenery. Low-cost housing, competitive compensation, good schooling, and year-round community-based activities are among the many appeals to this position...
MLee Healthcare Staffing and Recruiting, Inc
Boone, NC
1 day ago
Travel Cath Lab Technologist - $2,478 per week
$2,478 per week
Job Description & Requirements MedPro Healthcare Allied Staffing is seeking a travel Cath Lab Technologist for a travel job in Boone, North Carolina. Specialty: Cath Lab Technologist Discipline: Allied Health Professional Start Date: 03/16/2026 Duration: 13 weeks 4...
Weekly pay
Contract work
Temporary work
Local area
Immediate start
Shift work
MedPro Healthcare Staffing
Boone, NC
3 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Postdoctoral Researcher. Be the first to apply!