Postdoctoral Researcher

Feb 2, 2027 – Feb 5, 2027Ioannina, Greece

Essential

Adjunct Computer Science Instructor

11Views

Essential

Lecturer

12Views

Essential

Lecturer, Computer Science

11Views

Essential

Adjunct Instructor of Computer Science-INTL

5Views

Essential

RESEARCH ASSOCIATE - Computer Science

11Views

Essential

Assistant Professor: Computer Science

20Views

Essential

Research Associate (NE)

11Views

Essential

Instructor in Computer Science (Part-Time Pool)

12Views

Essential

Visiting Assistant Professor in Computer Science

7Views

Essential

z-Part-Time Faculty Pool - Computer

10Views

Post a Job View All Jobs

52nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2027)

To Be AnnouncedAustralia

NeurIPS 2026

Dec 6, 2026 – Dec 12, 2026Sydney, Australia

To Be AnnouncedUnited States

Next-Generation AI & Machine Learning (NXT AI)

Nov 2, 2026 – Jan 1, 1970Boston, United States

Sheraton Phoenix DowntownUSA

2026 IEEE International Conference on Big Data

Dec 14, 2026 – Dec 17, 2026Phoenix, Arizona, USA

Aug 31, 2026 – Sep 4, 2026Boston, MA, USA

52nd International Conference on Very Large Data Bases (VLDB 2026)

Sep 2, 2026 – Sep 4, 2026Pisa, Italy

ACM 6th International Conference on Information Technology for Social Good (GoodIT 2026)

Malmo LiveSweden

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

Oct 12, 2026 – Oct 14, 2026Malmo, Sweden

View all conferences →

Postdoctoral Researcher

Applications Close: Aug 15, 2026

Appalachian State University

John E. Thomas Hall, 287 Rivers St, Boone, NC 28608, USA

13Views

Postdoctoral Researcher

Department: Computer Science - 250600

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

Work Schedule/Hours: Monday-Friday, 8:00 am - 5:00 pm

Suggested Salary Range: Commensurate with experience

Open Until Filled: Yes

Evaluation of Applications Begins: 04/11/2025

This is a Preview Listing…

You must sign in to see the full job description, and to apply.

Manage / Upgrade this job to a Full Job Listing.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

Job Fulfilled

Related Jobs - August 26, 2026

Nov 12, 2026 – Nov 15, 2026

Essential

Adjunct Computer Science Instructor

11Views

Essential

Lecturer

12Views

Essential

Lecturer, Computer Science

11Views

Essential

Adjunct Instructor of Computer Science-INTL

5Views

Essential

RESEARCH ASSOCIATE - Computer Science

11Views

Essential

Assistant Professor: Computer Science

20Views

Essential

Research Associate (NE)

11Views

Essential

Instructor in Computer Science (Part-Time Pool)

12Views

Essential

Visiting Assistant Professor in Computer Science

7Views

Essential

z-Part-Time Faculty Pool - Computer

10Views

Post a Job View All Jobs

Related Conferences

Online

ACM Virtual Global Computing Education Conference (SIGCSE Virtual 2026)

Aug 31, 2026 – Sep 4, 2026L'Aquila, Italy

European Symposium on Algorithms (ESA 2026)

Nov 8, 2026 – Nov 11, 2026New York, USA

67th Annual Symposium on Foundations of Computer Science (FOCS 2026)

To Be AnnouncedGreece

52nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2027)

Feb 2, 2027 – Feb 5, 2027Ioannina, Greece

To Be AnnouncedAustralia

NeurIPS 2026

Dec 6, 2026 – Dec 12, 2026Sydney, Australia

To Be AnnouncedUnited States

Next-Generation AI & Machine Learning (NXT AI)

Nov 2, 2026 – Jan 1, 1970Boston, United States

Sheraton Phoenix DowntownUSA

2026 IEEE International Conference on Big Data

Dec 14, 2026 – Dec 17, 2026Phoenix, Arizona, USA

Aug 31, 2026 – Sep 4, 2026Boston, MA, USA

52nd International Conference on Very Large Data Bases (VLDB 2026)

Sep 2, 2026 – Sep 4, 2026Pisa, Italy

ACM 6th International Conference on Information Technology for Social Good (GoodIT 2026)

Malmo LiveSweden

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

Oct 12, 2026 – Oct 14, 2026Malmo, Sweden

View all conferences →

Postdoctoral Researcher

Applications Close: Aug 15, 2026

Appalachian State University

John E. Thomas Hall, 287 Rivers St, Boone, NC 28608, USA

13Views

Postdoctoral Researcher

Department: Computer Science - 250600

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

Work Schedule/Hours: Monday-Friday, 8:00 am - 5:00 pm

Suggested Salary Range: Commensurate with experience

Open Until Filled: Yes

Evaluation of Applications Begins: 04/11/2025

This is a Preview Listing…

You must sign in to see the full job description, and to apply.

Manage / Upgrade this job to a Full Job Listing.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

Job Fulfilled

Related Jobs - August 26, 2026

Nov 12, 2026 – Nov 15, 2026

Essential

Adjunct Computer Science Instructor

11Views

Essential

Lecturer

12Views

Essential

Lecturer, Computer Science

11Views

Essential

Adjunct Instructor of Computer Science-INTL

5Views

Essential

RESEARCH ASSOCIATE - Computer Science

11Views

Essential

Assistant Professor: Computer Science

20Views

Essential

Research Associate (NE)

11Views

Essential

Instructor in Computer Science (Part-Time Pool)

12Views

Essential

Visiting Assistant Professor in Computer Science

7Views

Essential

z-Part-Time Faculty Pool - Computer

10Views

Post a Job View All Jobs

Related Conferences

Online

ACM Virtual Global Computing Education Conference (SIGCSE Virtual 2026)

Aug 31, 2026 – Sep 4, 2026L'Aquila, Italy

European Symposium on Algorithms (ESA 2026)

Nov 8, 2026 – Nov 11, 2026New York, USA

67th Annual Symposium on Foundations of Computer Science (FOCS 2026)

To Be AnnouncedGreece

52nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2027)

Feb 2, 2027 – Feb 5, 2027Ioannina, Greece

To Be AnnouncedAustralia

NeurIPS 2026

Dec 6, 2026 – Dec 12, 2026Sydney, Australia

To Be AnnouncedUnited States

Next-Generation AI & Machine Learning (NXT AI)

Nov 2, 2026 – Jan 1, 1970Boston, United States

Sheraton Phoenix DowntownUSA

2026 IEEE International Conference on Big Data

Dec 14, 2026 – Dec 17, 2026Phoenix, Arizona, USA

Aug 31, 2026 – Sep 4, 2026Boston, MA, USA

52nd International Conference on Very Large Data Bases (VLDB 2026)

Sep 2, 2026 – Sep 4, 2026Pisa, Italy

ACM 6th International Conference on Information Technology for Social Good (GoodIT 2026)

Malmo LiveSweden

Ninth AAAI/ACM Conference on AI, Ethics, and Society (AIES 2026)

Oct 12, 2026 – Oct 14, 2026Malmo, Sweden

View all conferences →

Postdoctoral Researcher

Applications Close: Aug 15, 2026

Appalachian State University

John E. Thomas Hall, 287 Rivers St, Boone, NC 28608, USA

13Views

Postdoctoral Researcher

Department: Computer Science - 250600

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

Work Schedule/Hours: Monday-Friday, 8:00 am - 5:00 pm

Suggested Salary Range: Commensurate with experience

Open Until Filled: Yes

Evaluation of Applications Begins: 04/11/2025

This is a Preview Listing…

You must sign in to see the full job description, and to apply.

Manage / Upgrade this job to a Full Job Listing.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

Job Fulfilled

Related Jobs - August 26, 2026