I'm 1000% down for this. She'll be understandably interested in JARVIS ifwhen she finds out about that. Depending on how their first meeting goes she may dislike him, since she has a rather specific distaste for arrogance but I'm sure Tony is used to that kind of thing, and throw them together in a situation where shit needs to get done and she can work past the dislike. Also badass competents teaming up is one of my favorite CR types, so.