Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning
UMass Lowell • Lowell, Massachusetts, United States
30+ days ago
Job type
- Full-time
Job description
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.