Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning - Lowell, MA
1 month ago

Job summary
The Programming Languages research group invites applications for a postdoctoral associate or research scientist position in the area of formal methods for security and machine learning.
Job description
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.
Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.
Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Access all high-level positions and get the job of your dreams.
Similar jobs
Hikaflow is building an AI-powered developer productivity platform focused on automated code review, security analysis, regression detection, contributor insights, and intelligent documentation. · This role involves working on real production AI systems used by engineering teams. ...
1 month ago
We're looking for an Applied Machine Learning Engineer (Robotics Perception) to help us build practical AI/ML capabilities that improve how robots perceive, understand, and operate in the real world. · What you'll do: · ...
4 days ago
We're building intelligent systems that drive real-world impact pushing the limits of what is possible with regards to automated security solutions, · and we're looking for passionate, curious, and collaborative individuals to join our team. · ...
2 weeks ago
We are currently looking for a Machine Learning Scientist/Researcher to join our team. · ...
6 days ago
Leidos' Security Enterprise Solutions (SES) operation is seeking a Machine Learning Engineer with a strong analytical chemistry instrumentation background to support our data science and AI initiatives. · ...
3 weeks ago
We're looking for an Applied Machine Learning Engineer (Robotics) to help us build practical AI/ML capabilities that improve how robots perceive, understand, and operate in the real world. · ...
1 week ago
We're looking for an Applied Machine Learning Engineer (Robotics) to help us build practical AI/ML capabilities that improve how robots perceive, understand, and operate in the real world. This is a great fit for a mid-career engineer or applied scientist who enjoys building end- ...
1 week ago
We're looking for relentless, ambitious, creative, and exceptional people to join our team and build the factory of the future. · Own the post-sales deployment of H2Ok's optimization models for CIP and other processesPartner with customer teams to understand their operations, ali ...
1 month ago
We're leading the charge in cleantech innovation, reshaping process industrials and manufacturing to drive operational efficiency and sustainability for our world's most foundational industries.Transforming our most foundational sectors of society is hard. Very hard. But we're bu ...
1 month ago
Leidos is seeking a Machine Learning Engineer with a strong analytical chemistry instrumentation background to support our data science and AI initiatives. · ...
3 weeks ago
We re leading the charge in cleantech innovation reshaping process industrials and manufacturing to drive operational efficiency and sustainability for our world s most foundational industries Powered by our Laminar AI Co pilot models and state of the art sensors our solutions op ...
1 month ago
Leidos' Security Enterprise Solutions (SES) operation is seeking a Machine Learning Engineer with a strong analytical chemistry instrumentation background to support our data science and AI initiatives. · ...
3 weeks ago
We want to learn from you Our teams at Symbotic value the early career talent that helps us solve critical issues in creative and innovative ways. · We offer Internship and Co-op programs where students have the opportunity to work alongside industry professionals on some of our ...
1 month ago
This is an unpaid internship for a Machine Learning Engineer who wants hands-on experience working on real production AI systems used by engineering teams. · Designing and improving ML-powered systems for code analysis, pattern detection, and developer insights · Working with LLM ...
1 month ago
This is a full-time on-site role for a Machine Learning Engineer located in Boston. · Building and optimizing machine learning models · Working on pattern recognition and neural networks · Developing algorithms · Conducting data analysis using statistical methods · ...
1 month ago
We are seeking a Machine Learning Analyst to join our growing data analytics and machine learning team. The work is deeply collaborative with finance professionals and is an opportunity to explore applications of machine learning in total return portfolio management. · ...
1 month ago
We are currently seeking a Machine Learning Analyst to join our growing data analytics and machine learning team. · Collaborate closely with Machine Learning team members, portfolio managers, and researchers to translate open-ended investment questions into well-defined analytica ...
1 month ago
+A Machine Learning Researcher required to join an innovative start-up focused on driving cutting-edge advancements in Large Language Models (LLMs), foundation models, and next-generation AI architectures. · +PhD in AI/ML, Computer Science or a closely related field. · Deep exper ...
20 hours ago
We leverage cutting-edge machine learning technologies to build scalable, reliable and production-grade intelligent systems. · ...
1 week ago
We are seeking collaborative problem solvers to join Generate Biomedicines for a summer internship in machine learning. · ...
1 month ago
We are currently seeking a Machine Learning Analyst to join our growing data analytics and machine learning team. Our team focuses on creating algorithmic and machine learning solutions to open-ended problems with trading impact. · ...
1 month ago