> Markdown version of [/jobs/ext/2882603-research-scientist-or-postdoctoral-associate-in-formal-methods-for-security-and-machine-learning](https://www.wearedevelopers.com/jobs/ext/2882603-research-scientist-or-postdoctoral-associate-in-formal-methods-for-security-and-machine-learning). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning - **Company:** University of Massachusetts Lowell - **Location:** Lowell, MA, United States - **Salary:** $70,000.0 - $85,000.0 - **Contract:** Temporary contract - **Skills:** Computer Programming, Computer Engineering, Machine Learning, High Performance Computing, Gpu Programming, Information Technology, Formal Methods, Programming Languages - **Published:** September 13, 2026 - **Apply:** https://diversityjobs.com/main/sendform/8/8/28176/1/15023692?backUrl=%2Fcareer%2F15023692%2FResearch-Scientist-Or-Postdoctoral-Associate-In-Formal-Methods-For-Security-Machine-Learning-Massachusetts-Lowell ## About the Role * 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. ## Related Videos - [Machine Learning: Promising, but Perilous](https://www.wearedevelopers.com/videos/627-machine-learning-promising-but-perilous) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [Introduction to Azure Machine Learning](https://www.wearedevelopers.com/videos/368-introduction-to-azure-machine-learning) - [CUDA Python: GPU programming for the modern developer](https://www.wearedevelopers.com/videos/100221-cuda-python-gpu-programming-for-the-modern-developer) - [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods) - [Surviving the Vulnpocalypse: Open Source and Supply Chain Security in a Post Mythos World](https://www.wearedevelopers.com/videos/100279-surviving-the-vulnpocalypse-open-source-and-supply-chain-security-in-a-post-mythos-world) ## Related Articles - [9 Ways to Make Money Hacking](https://www.wearedevelopers.com/magazine/333-9-ways-to-make-money-hacking) - [What Are Large Language Models?](https://www.wearedevelopers.com/magazine/304-what-are-large-language-models) - [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer) - [Why Upskilling And Reskilling is Important For Developers](https://www.wearedevelopers.com/magazine/428-why-upskilling-and-reskilling-is-important-for-developers) - [Dev Digest 138 - Are you secure about this?](https://www.wearedevelopers.com/magazine/486-dev-digest-138-are-you-secure-about-this) - [Résumé-Driven Development: How IT trends affect the job market for software developers](https://www.wearedevelopers.com/magazine/59-resume-driven-development-how-it-trends-affect-the-job-market-for-software-developers)