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

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 fieldResearch Scientist:Education:PhD in Computer Science Computer Engineering MathematicsExperience:At least one postdoctoral or post-PhD research(min: 2 years full time) related experienceCommon Skills:Publications in top-tier venues in at least one of the following areas: security programming languages or machine learningStrong programming skills and motivation to pursue independent researchAdditional Considerations:Background in cryptography or machine learningExpertise in numerical methods is a significant plusExpertise in GPU programming (or High Performance Computing) is a significant plusExperience with formal methods and enthusiasm for applying them to security and/or machine learningApplicants should have excellent written and oral communication skillsAbility 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 $70000$85000 and an anticipated starting salary of $70000 for the position of research scientist. Anticipated hiring range for postdoc is $. The specific title (postdoctoral associate or research scientist) will depend on the candidates 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.Required Experience:IC Key Skills Laboratory Experience,Machine Learning,Python,AI,Bioinformatics,C/C++,R,Biochemistry,Research Experience,Natural Language Processing,Deep Learning,Molecular Biology Employment Type : Full-Time Experience: years Vacancy: 1 Monthly Salary Salary: 70000 - 85000