Seeking "Expressions of Interest" from Postdoctoral Researchers interested in formal verification of randomized programs to work with Professor Joseph Tassarotti in the Department of Computer Science at NYU Courant.

In this role, the Postdoctoral Associate will focus on the following:

-Carrying out research on the development of new techniques for the formal verification of randomized programs

-Assisting in mentoring and supervision of graduate students carrying out research in this area

-Attending and engaging in discussions in a weekly seminary on formal methods

Candidates should have interest and experience in one or more of the following topics:

-Formal verification of programs using interactive theorem provers

-Semantics of programming languages with randomness and non-determinism

-Implementation and analysis of randomized algorithms

NYU Courant is a highly respected Institute for cutting-edge research and advanced training in applied mathematics and computer science and is located in the very heart of the world's leading artistic and financial center in downtown Manhattan.

In compliance with NYC's Pay Transparency Act, the annual base salary range for this position is $62,500 - $75,000. New York University considers factors such as (but not limited to) the scope and responsibilities of the position, the candidate's work experience, education/training, key skills, and internal peer equity, as well as market and organization considerations.

Candidates should have a Ph.D. in Compute Science or a related field (by the time the appointment begins).

Please submit the following:

-Updated CV

-Research Statement

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.

Sustainability Statement

NYU aims to be among the greenest urban campuses in the country and carbon neutral by 2040. Learn more at nyu.edu/sustainability