Post #1208246
2026-04-15 16:09 UTC
This is NOT a formal job posting, just testing waters. I have a year of post-doc money. Esp. int'd in formal methods + applied cogsci + diagramming. If you do work tied to my research, reach out (see my page). Must have US work auth, sorry. Please feel free to share/boost!
Replies (2)
-
@shriramk@mastodon.social 2026-04-15 20:33
To be clear, this isn't to work SOLELY with me. At Brown we have both great software (https://cs.brown.edu/research/plt/) and systems (https://systems.cs.brown.edu/index.html) groups with lots of amazing people. Even the systems folks are software-adjacent, having been trained well. (-:
-
@jmct@types.pl 2026-04-16 02:38
@shriramk 👀