New York University

Description

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. 

Qualifications

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