Programming in Language Theory Research Assistant Position Available In Watauga, North Carolina

Programming in Language Theory Research Assistant
Below you will find the details for the position including any supplementary documentation and questions you should review before ing for the opening. To for the position, please click the for this Job link/button. If you would like to bookmark this position for later review, click on the Bookmark this Posting link. If you would like to a copy of this position for your records, click on the Preview link.
Bookmark this Posting Preview | for this Job
Posting Details Work experience orcation that is NOT included on the application will NOT be considered when screening your application. Please include ALL work experience andcation on the application to ensure that you receive the appropriate credit toward qualification for this position. Working Title Programming in Language Theory Research Assistant
Location Boone, NC
Position Number N01605
Department Computer Science – 250600
Position Summary Information 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 M.S. in Computer Science. 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. Preferred Qualifications Some background in lambda calculus, term rewriting, and/or type theory is wee, but not strictly necessary. Work Scle/Hours This position will work hours between the time period of Mon-Fri, 8 00-5 00 pm. Number of Hours Per Week 5-10
Number of Months Per Year 11
Mandatory Staff No
Physical Demands of Position To perform this job successfully, an individual must be able to perform each essential job duty satisfactorily. Reasonable amodations may be made to enable qualified individuals with disabilities to perform essential job functions. Hiring Range $12.00-$18.00
Pay will bemensurate with applicantpetencies, budget, equity and market considerations. Posting Details Information Posting Date 05/14/2025
Closing Date 05/23/2025
Open Until Filled No
Applicant Pool Preference External (Post on the Web)
Special Instructions to Applicants Quick Link appstate.peopleadmin/postings/50771
Posting Number 201500959P