Title: Program Unrolling by Abstract Interpretation for Probabilistic Proofs
The position is in the computer department of New York University, from May to September 2021, is in the context of the DARPA project 'Securing Information for Encrypted Verification and Evaluation (SIEVE) to enhance zero-knowledge (ZK) proofs. The candidate will develop an abstract interpreter to unroll bounded programs written in C and optimize them on the fly (before transformation in a finite Boolean-arithmetic circuit). This requires knowledge in programming languages, mastering functional languages as well as the theory and practice of abstract interpretation. This position will report to Professor Patrick Cousot.
Knowledge of programming languages, mastering functional languages as well as the theory and practice of abstract interpretation.
Please provide a CV and cover letter.
For people in the EU, click here for information on your privacy rights under GDPR: www.nyu.edu/it/gdpr
NYU is an Equal Opportunity Employer and is committed to a policy of equal treatment and opportunity in every aspect of its recruitment and hiring process without regard to age, alienage, caregiver status, childbirth, citizenship status, color, creed, disability, domestic violence victim status, ethnicity, familial status, gender and/or gender identity or expression, marital status, military status, national origin, parental status, partnership status, predisposing genetic characteristics, pregnancy, race, religion, reproductive health decision making, sex, sexual orientation, unemployment status, veteran status, or any other legally protected basis. Women, racial and ethnic minorities, persons of minority sexual orientation or gender identity, individuals with disabilities, and veterans are encouraged to apply for vacant positions at all levels.
NYU aims to be among the greenest urban campuses in the country and carbon neutral by 2040. Learn more at nyu.edu/sustainability
Internal Number: 85753
About New York University
Founded in 1831, New York University is now one of the largest private universities in the United States. Of the more than 3,000 colleges and universities in America, New York University is one of only 60 member institutions of the distinguished Association of American Universities.