Zulip Chat Archive
Stream: job postings
Topic: Full-time Research Software Engineer position
Leonardo de Moura (Nov 09 2021 at 18:45):
This is a full-time Research Software Engineer position at Microsoft Research Redmond for working on Lean!
https://careers.microsoft.com/us/en/job/1203686/Research-Software-Engineer-Formal-Methods-Microsoft-Research
Last updated: May 02 2025 at 03:31 UTC