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

University of Massachusetts Lowell

Lowell, MA, United States

8 days ago

Apply on diversityjobs.com

Prepare application

Role details

Contract type

Temporary contract

Employment type

Full-time (> 32 hours)

Experience required

1 year minimum

Compensation

$70,000.0 - $85,000.0

Working hours

Regular working hours

Job source

diversityjobs.com

Tech stack

Computer Programming Computer Engineering Machine Learning High Performance Computing Gpu Programming Information Technology Formal Methods Programming Languages

Requirements

PhD in Computer Science, Mathematics or a related field, * 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.

Benefits & conditions

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.