UW has tried overall to be as supportive as they can be within the parameters of Washington State law and University rules. I did get UW to sign something a few years ago, but it was clear that whatever work I did on CoCalc had to be on my own time, not using any UW resources. There's much more to why I resigned than just my fear of potential IP issues (note: the issues are not worse by resigning, because I have been on 100% unpaid leave for the last three years, starting with a BSD-licensed codebase). An additional factor, which I didn't explain well, is that I would have to devote at least 50% time (so 20 hours a week) to work for UW, and this work would not be on CoCalc. Unfortunately, I have found that I am unable to do a good job working on CoCalc, if I have to spend 20 hours a week focused on other things. It's also impossible for me to respond to critical customer needs, server issues, etc., if I'm preparing to teach (or actually teaching) or in a committee meeting. For example, imagine that a 500-person course at UCLA has an exam coming up using CoCalc, and there is some issue with pushing out the exam to students, which I could easily fix if I could focus on it. I would feel terrible ignoring the UCLA course for a committee meeting or because I was teaching.