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

Job no: 529198
Position type: Staff Full Time
Benefit Status: Benefited-Union
Campus: UMass Lowell
Department: Miner Sch of Comp & Info Sci
Salary: See posting section for salary range details.
Applications Open: Dec 03 2025
Applications Close: Open until filled

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.

if (typeof SocialShareKit != 'undefined') { SocialShareKit.init({ forceInit: true, reinitialize: true, selector: '.social-share-kit .ssk' }); }