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: forsyte.at/docfunds/

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: icse-conferences.org/organiz…

Colleagues from @VUamsterdam are looking for new assistant/associate professors in software engineering/architecture workingat.vu.nl/vacancies/2-…. The group: @patricia_lago @IMalavolta @IliasGerostatho @kousar_aslam Emitza Guzman Justus Bogner Jaap Gordijn research.vu.nl/en/organisati…

I’m at GitHub universe today with the @github accelerator crowd representing our agentic security testing framework hackingBuddy.ai! 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: docs.copilotkit.ai/coagents 🗞️Blog: go.copilotkit.ai/CoAgentsBlo… 🕹️Demo: go.copilotkit.ai/demoGitHub 🗓️Webinar (Build an Agent-Native Apps with CoAgents & LangGraph): lu.ma/2kxspzl4 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: tinyurl.com/4nkm5hbc 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 🎉

Österreichisches Open-Source-KI-Projekt von GitHub Accelerator ausgewählt ift.tt/dQxeC1w

@AndreasHappe and @citostyle are helping ethical hackers take pen testing to the next level, with an AI powered tool to discover new attack vectors and save the world github.com/ipa-lab/hackingbu…

Good news everyone! Our project hackingBuddy.ai is part of this year’s @github accelerator 🎉🥳 hackingBuddyGPT is part of @andreashappe‘s PhD research in my lab, supported by students @neverbolt and Diana Strauß. We’re super excited what the accelerator will bring!!

I need help from the X hivemind: We're proposing a fully automated reasoning tool. Anything that could be considered a baseline needs a human-in-the-loop (i.e., needs an expert to reason about baseline output and execute commands). How could we reasonably compare this?

I am looking for a PhD student in software performance engineering: chalmers.se/en/about-chalmer… Application deadline: June 7th, 2024

We have a vacancy for an assistant professor @serg_delft ! Fancy working with @avandeursen @MalihehIzadi @burcu_at_world @AnniPanic @luismcruz @prksch @thodurieux @CoolSWEng? See 👇

Instructors and students: Do you use @FuzzingBook or @Debugging_Book and would like to help shaping their future? If so, fill out our 2024 reader survey at forms.gle/pMDftr94GfLYyJHs7 and help us find out about our readership!