Talent.com
Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning
Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine LearningInsideHigherEd • Lowell, Massachusetts, United States
Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning

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

InsideHigherEd • Lowell, Massachusetts, United States
[job_card.variable_days_ago]
[job_preview.job_type]
  • [job_card.full_time]
[job_card.job_description]

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.

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

    [job_alerts.create_a_job]

    Postdoctoral Research Associate • Lowell, Massachusetts, United States

    [internal_linking.related_jobs]
    Specialist, Academic Development

    Specialist, Academic Development

    Relativity • Manchester, NH, United States
    [job_card.full_time]
    The Specialist, Academic Development focuses on researching, approaching, and signing law schools to Relativity's Academic program. This role requires ingenuity and grit to build relationships with ...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Pediatric Development - Behavioral

    Pediatric Development - Behavioral

    Elliot Health System • Manchester, New Hampshire, US
    [job_card.full_time]
    Pediatric Development - Behavioral physician employment in New Hampshire : .Developmentaland Behavioral Pediatrician Opportunity Elliot Health System and DartmouthHealth Childrens, Manchester, New ...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Travel Mammography Tech - $3,039 to $3,330 per week in Lebanon, NH

    Travel Mammography Tech - $3,039 to $3,330 per week in Lebanon, NH

    AMN Healthcare Allied • Manchester, New Hampshire, US
    [job_card.full_time]
    Job Description & Requirements.Mammography Tech - (Mam - Mammo Tech) .StartDate : ASAP Available Shifts : 8 D Pay Rate : $3039. New Hampshire licensed Mammo Tech needed for 8 hour weekdays Mon-Fr...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Senior Specialist, Product Manager - Life Sciences

    Senior Specialist, Product Manager - Life Sciences

    Entegris • Billerica, MA, United States
    [job_card.full_time]
    Senior Specialist, Product Manager - Life Sciences.SU sterile filtration franchise, supporting commercial and market requests to enable product adoption, and providing customers with timelines and...[show_more]
    [last_updated.last_updated_variable_hours] • [promoted] • [new]
    Travel Mammography Tech - $3,039 to $3,330 per week in Lebanon, NH

    Travel Mammography Tech - $3,039 to $3,330 per week in Lebanon, NH

    AlliedTravelNetwork • Manchester, New Hampshire, US
    [job_card.full_time]
    AlliedTravelNetwork is working with AMN Healthcare Allied to find a qualified Mammography Tech in LEBANON, New Hampshire, 03756!. Job Description & Requirements.Mammography Tech - (Mam - Mammo T...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Senior Director, Software Engineering & AI

    Senior Director, Software Engineering & AI

    Entegris • Billerica, MA, United States
    [job_card.full_time]
    Senior Director, Software Engineering & AI.Here at Entegris, we use advanced science to enable technologies that transform the world, and we are seeking employees who have the drive to continue tha...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Physician (MD / DO) - Hematology and Oncology in Keene, NH

    Physician (MD / DO) - Hematology and Oncology in Keene, NH

    LocumJobsOnline • Manchester, New Hampshire, US
    [job_card.full_time]
    LocumJobsOnline is working with CompHealth to find a qualified Hematology and Oncology MD in Keene, New Hampshire, 03431!. Come live and practice in a charming New England town with easy access to B...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Locum Physician (MD / DO) - Endocrinology in Lebanon, NH

    Locum Physician (MD / DO) - Endocrinology in Lebanon, NH

    LocumJobsOnline • Manchester, New Hampshire, US
    [job_card.full_time] +2
    LocumJobsOnline is working with CompHealth to find a qualified Endocrinology MD in Lebanon, New Hampshire, 03756!.Interested in this assignment? Or maybe you still have not found what you are looki...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Biocompatibility & Toxicology Senior Scientist

    Biocompatibility & Toxicology Senior Scientist

    DEKA Research and Development • Manchester, NH, United States
    [job_card.full_time]
    DEKA Research & Development has an immediate opening for a Biocompatibility & Toxicology Senior Scientist to join our team focused on medical device and combination product development.The individu...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Associate Scientist

    Associate Scientist

    ALS TDI • Watertown, MA, USA
    [job_card.full_time]
    [filters_job_card.quick_apply]
    The ALS Therapy Development Institute (ALS TDI) is a leading non-profit biotechnology company dedicated to discovering and advancing effective treatments for amyotrophic lateral sclerosis (ALS).At ...[show_more]
    [last_updated.last_updated_30]
    Staff Applied Scientist

    Staff Applied Scientist

    Relativity • Manchester, NH, United States
    [job_card.full_time]
    At Relativity, we're building a world-class Applied Science team to push the boundaries of intelligent systems in the legal domain. We're looking for a Staff Applied Scientist to join our team.Agent...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Automation Machine Vision Engineer

    Automation Machine Vision Engineer

    DEKA Research and Development • Manchester, NH, United States
    [job_card.full_time]
    DEKA Research & Development, located in Manchester, NH, is seeking an Automation Machine Vision Engineer to join our industrial automation team developing vision inspection systems for medical devi...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning

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

    UMass Lowell • Lowell, Massachusetts, USA
    [job_card.full_time]
    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 res...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Remote M&A Associate - AI Trainer ($50-$60 / hour)

    Remote M&A Associate - AI Trainer ($50-$60 / hour)

    Data Annotation • Manchester, New Hampshire
    [filters.remote]
    [job_card.full_time] +1
    We are looking for a finance professional to join our team to train AI models.You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to improve the quality of ...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Postdoctoral Research Associate - Bistatic and Multi-Static MM-Wave CRR RCS Measurement Systems

    Postdoctoral Research Associate - Bistatic and Multi-Static MM-Wave CRR RCS Measurement Systems

    InsideHigherEd • Lowell, Massachusetts, United States
    [job_card.full_time]
    See posting summary for formal range, anticipate hiring at $67,000 annually.The successful applicant will conduct analytical and experimental research as well as system development in compact radar...[show_more]
    [last_updated.last_updated_30] • [promoted]
    Medical Laboratory Scientist II FT Rotating

    Medical Laboratory Scientist II FT Rotating

    Metrowest Medical Center • TOWN OF FRAMINGHAM, Massachusetts, United States
    [job_card.full_time]
    We are a community built on care.Our caregivers and supporting staff extend compassion to those in need, helping to improve the health and well-being of those we serve, and provide comfort and heal...[show_more]
    [last_updated.last_updated_30] • [promoted]
    AI Scientist, Computational Radiology (Associate Director)

    AI Scientist, Computational Radiology (Associate Director)

    AstraZeneca • Waltham, Massachusetts, USA
    [job_card.full_time]
    Job Title : AI Scientist Computational Biology (Associate Director).Location : Waltham / Boston MA United States.Are you ready to lead the charge in transforming radiology imaging into life-saving biom...[show_more]
    [last_updated.last_updated_variable_days] • [promoted]
    Travel Mammography Tech - $3,039 to $3,330 per week in Lebanon, NH

    Travel Mammography Tech - $3,039 to $3,330 per week in Lebanon, NH

    AlliedTravelCareers • Manchester, New Hampshire, US
    [job_card.full_time]
    AlliedTravelCareers is working with AMN Healthcare Allied to find a qualified Mammography Tech in LEBANON, New Hampshire, 03756!. Job Description & Requirements.Mammography Tech - (Mam - Mammo T...[show_more]
    [last_updated.last_updated_30] • [promoted]