Vienna, Austria
Joined September 2010
- Tweets3.2K
- Following1.2K
- Followers2.1K
- Likes18.3K
Pinned Tweet
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!
ALT Photo of the main building of TU Wien (Technical University of Vienna, Austria)
Jürgen Cito retweeted
📢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/
Jürgen Cito retweeted
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…
Jürgen Cito retweeted
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
Jürgen Cito retweeted
🚀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
Jürgen Cito retweeted
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.
Jürgen Cito retweeted
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.
Jürgen Cito retweeted
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! 😊
Jürgen Cito retweeted
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! 🙏
Jürgen Cito retweeted
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 🎉 – at Vienna, Austria
ALT Members of the IPA lab led by Jürgen Cito standing in the garden of the faculty of Informatics at TU Wien
Jürgen Cito retweeted
Österreichisches Open-Source-KI-Projekt von GitHub Accelerator ausgewählt ift.tt/dQxeC1w
Jürgen Cito retweeted
@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!!
AI innovation is not just thriving—it’s accelerating at a breathtaking pace across the globe and in the open. Meet the 11 projects in the 2024 cohort of GitHub Accelerator, who are shaping open source AI.
github.blog/2024-05-23-2024-…
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?
Jürgen Cito retweeted
I am looking for a PhD student in software performance engineering:
chalmers.se/en/about-chalmer…
Application deadline: June 7th, 2024
Jürgen Cito retweeted
We have a vacancy for an assistant professor @serg_delft !
Fancy working with @avandeursen @MalihehIzadi @burcu_at_world @AnniPanic @luismcruz @prksch @thodurieux @CoolSWEng?
See 👇
Jürgen Cito retweeted
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!
