This just in: I've been promoted to Associate Professor (with tenure) at TU Wien @tu_wien
Thank you to all the people in my lab (@schrototo, @andreashappe, Markus Böck, Nathanael Nußbaumer), all my students, and collaborators. To many more years of cool research!
📢We are opening 10 PhD positions at the Vienna University of Technology (@tu_wien) as part of our newly funded doctoral college on Automated Reasoning!
Deadline: May 18, 2025
Start: October 2025 (or soon after)
Details and application link: https://t.co/wbAXS5T4Ps
Interested in organizing @icseconf, the ACM/IEEE International Conference on Software Engineering in 2029? Make a bid by March 20! For 2029, we solicit bids from outside Europe or North America.
See call for letters-of-intent: https://t.co/Cf9DuoZs0J
Colleagues from @VUamsterdam are looking for new assistant/associate professors in software engineering/architecture https://t.co/6u2czahz5p. The group: @patricia_lago@IMalavolta@IliasGerostatho@kousar_aslam Emitza Guzman Justus Bogner Jaap Gordijn https://t.co/oSH8Sf82ax
I’m at GitHub universe today with the @github accelerator crowd representing our agentic security testing framework https://t.co/nE2dINCxmT! Hit me up if you’re around
🚀Launching CoAgents Public Beta 🪁:
Everything you need to build Agent-Native applications, powered by LangGraph & CopilotKit.
CoAgents enables in-app agents with:
- Agenetic generative UI ✨
- Shared state (between agent <-> application)
- Streaming intermediate agent state
- Human-in-the-Loop (Human approval & planning) 👨🦰
- Frontend Actions 💪
---
We’ve recently seen the emergence of Agent-Native applications that actually work: powered by vertical AI agents + agentic UX + deep in-app integration.
(Apps like the Replit AI Agent, OpenAI Canvas, etc, but for any domain)
With CoAgents + LangGraph, you can build this next generation of agent apps, for any vertical, with a clean and easy to use infrastructure (in hours).
💻Get started: https://t.co/WqNQFdBjcm
🗞️Blog: https://t.co/1Dqqbls45F
🕹️Demo: https://t.co/grGldBD22w
🗓️Webinar (Build an Agent-Native Apps with CoAgents & LangGraph): https://t.co/JbTUnSCewi
CC: @ataiiam, @langchain, @hwchase17
We are hiring (plz share)! Our IUI Group at IT:U is looking for PhDs and a PostDoc. Please apply if you would like to join a team that has been quite successful in conducting HCI/IUI research recently, and works in a place that is considered one of the most livable worldwide! See the apply link in the comments.
I am on the #SoftwareEngineering#Teaching Job Market!
After co-creating & co-instructing two software engineering courses at CMU I am looking for teaching-focused faculty positions in SE. If you know anyone who is hiring, please let me know! Retweets welcome.
If you are interested in a postdoc in program/spec repair and/or addressing challenges in the adoption of verification-aware languages (like Dafny), plz get in touch! I just had a project approved (more details soon) & we are a strong, young(ish) & motivated team!
Plz share! 😊
If you use/ever used a verification-aware lang (e.g. Dafny, Why3) we would be very thankful if you could participate in our survey: https://t.co/i0yrMtzA6J
We are gathering insights into what challenges beginners and experienced devs face while using these langs. Pls share! 🙏
Quira's Open Source night at @github HQ is starting in 90 mins 🙌 The event is fully sold out!
📈 @azulgarza_ from @nixtlainc on GPTs for time-series,
👨🔬 @citostyle from @tu_wien on GPTs for white-hat hacking,
🔭 @cdxker from @trieveai on a new COSS model.
Good news everyone: I’m moving to San Francisco next week! I’ll be doing a sabbatical at Google working with @schandra and team for the next 6 months.
SF/Bay area people: let’s hang out!!
We had a great IPA Lab Summer closing party @tu_wien
Thank you to all students in my lab working on cool research projects and supporting our teaching efforts 🎉