Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning jobs in United States
cer-icon
Apply on Employer Site
company-logo

Inside Higher Ed ยท 5 days ago

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

positionLowell, MA
timeFull-time
remoteOnsite
seniorityMid, Senior Level
money$60K/yr - $85K/yr
date2+ years exp

Inside Higher Ed is seeking a postdoctoral associate or research scientist to join the Programming Languages research group at UMass Lowell. The position focuses on formal methods for security and machine learning, requiring strong programming skills and a background in relevant research areas.

Digital MediaEducationHigher EducationJournalismRecruiting

Qualification

PhD in Computer SciencePublications in top-tier venuesProgramming skillsBackground in cryptographyNumerical methodsGPU programmingFormal methods experienceCommunication skillsWork independentlyTeamwork skills

Required

PhD in Computer Science, Mathematics or a related field
PhD in Computer Science, Computer Engineering, Mathematics
At least one postdoctoral or post-PhD research (min: 2 years, full time) related experience
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

Preferred

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
Excellent written and oral communication skills
Ability to work independently, with limited direction, as well as within a team environment

Benefits

Benefited-Union

Company

Inside Higher Ed

twittertwittertwitter
company-logo
Inside Higher Ed is the online source for news, opinion, and jobs related to higher education.
dateFounded in 2004
location
Washington, District of Columbia, USA
people-size51-200 employees
web-link
https://www.insidehighered.com/

Funding

Current Stage
Growth Stage
Total Funding
unknown
2022-01-10Acquired
2006-08-31Series Unknown

Leadership Team

leader-logo
Stephanie Shweiki
Director, Foundation Partnerships
linkedin

Recent News

PRLog
PebblePad Announces Global Partnership with Inside Higher Ed and Times Higher Education
2025-11-07
Research & Development World
NSF caps indirect costs at 15% for new university grants
2025-05-03
Business Standard India
OPT removal, visa scrutiny by US: Why Indian student enrolment fell 28%
2025-04-11
Company data provided by crunchbase