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.