Job Description

Programming in Language Theory Research Assistant

Department: Computer Science - 250600

Minimum Qualifications
M.S. in Computer Science.
Experience with the Agda programming language.
Experience with the Latex typesetting system.
Demonstrated ability to read and understand rigorous mathematical proofs and research papers.
Ability and availability to travel for research meetings and presentations

License/Certification Required

Essential Job Functions
We seek a research assistant for a project formalizing the basic results of programming language theory, with specific focus on typed lambda calculus and term rewriting. Job duties include writing code in the Agda proof language that verifies standard metatheoretic results such as confluence and normalization. The applicant is also expected to contribute to technical reports/documentation about the code produced.

Knowledge, Skills, & Abilities Required for this Position

Preferred Qualifications
Some background in lambda calculus, term rewriting, and/or type theory is welcome, but not strictly necessary.

Work Schedule/Hours: This position will work hours between the time period of Mon-Fri, 8 00-5 00 pm.
Anticipated Hiring Range:
Closing Date: 5/23/2025

To apply, visit

Appalachian State University is an Affirmative Action/Equal Opportunity Employer. The University does not discriminate in access to its educational programs and activities, or with respect to hiring or the terms and conditions of employment, on the basis of race, color, national origin, religion, sex, gender identity and expression, political affiliation, age, disability, veteran status, genetic information or sexual orientation.

Job Tags

Part time,

Similar Jobs