About this role
Research Scientist or Postdoctoral Associate in Formal Methods for Security and Machine Learning at University of Massachusetts System. Location: Lowell, Massachusetts, United States. Role: conduct research, publish results, collaborate team Requirements: PhD in CS/Mathematics/related field; postdoc/post-PhD experience; strong publications; programming skills; independent and collaborative work. Category: Research and Development (R&D) Seniority: Mid Level Tools: GPU programming, High Performance Computing, Machine Learning, Formal methods, C/C++, Python Commitment: Full Time Workplace: Onsite Languages: English