Our dept @UTCompSci will be hiring in all areas (both junior and senior level) this year! We will begin interviewing early in Fall (instead of Spring).
If you are considering applying and have questions, please DM or email me!
-
-
it is basically this (except you don’t need Z3 to solve matching problems)
- 3 more replies
New conversation -
-
-
That's what we do now. UNSAT, I mean.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
