Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning

General Summary of Position:

The Programming Languages research group (PLOW), led by Prof. Anitha Gollamudi at the Richard Miner School of Computer Science and Information, invites applications for a postdoctoral associate or research scientist position in the area of formal methods for security and machine learning.

Minimum Qualifications:

Postdoctoral Research Associate:

Education:

• PhD in Computer Science, Mathematics or a related field

Research Scientist:

Education:

• PhD in Computer Science, Computer Engineering, Mathematics

Experience:

• At least one postdoctoral or post-PhD research (min: 2 years, full time) related experience

Common Skills:

• Publications in top-tier venues in at least one of the following areas: security, programming languages, or machine learning
• Strong programming skills and motivation to pursue independent research

Additional Considerations:

• Background in cryptography or machine learning
• Expertise in numerical methods is a significant plus
• Expertise in GPU programming (or High Performance Computing) is a significant plus
• Experience with formal methods and enthusiasm for applying them to security and/or machine learning
• Applicants should have excellent written and oral communication skills
• Ability to work independently, with limited direction, as well as within a team environment.

Special Instructions to Applicants:

Only current UML Employees within the Grants & Contracts (MTA/GRACE) bargaining unit will be considered during the first 10 business days of the posting. All other candidates will be considered after that period.

This is a full-time, grant-funded, benefited position with an anticipated hiring range of $70,000-$85,000, and an anticipated starting salary of $70,000 for the position of research scientist. Anticipated hiring range for postdoc is $60,000-70,000. The specific title (postdoctoral associate or research scientist) will depend on the candidate's qualifications and experience.

This position is contingent upon funding, productivity, successful performance and the availability of funding. The initial appointment is for one year, with the possibility of renewal based on productivity, successful performance, and the availability of funding.

Review of applications will begin immediately and continue until the position is filled; however, the posting may close when an adequate number of qualified applications is received.

Please include a curriculum vitae (CV), cover letter, research statement and publication list with your application. Names and contact information for three references will be required during the application process.