#wwtf — Public Fediverse posts

We are hiring for our #WWTF-funded project on Verifying Without Loss of Generality (at the intersection of proof theory and formal verification):

1 PhD student (4 years, full-time)
1 postdoc (2 years, full-time)

Come to #TUWien in Vienna, Austria, and join a great team in verification and automated reasoning!

More details can be found here:
https://arpj-rebola.github.io/wlog

#academicjobs #phd #formalverification

I have a feeling that LLMs, just like people, have their good days and bad ones. Sometimes a simple prompt produces a stellar response, while at other times, no matter what and how you prompt, the garbage comes out. #WWTF

I have a feeling that LLMs, just like people, have their good days and bad ones. Sometimes a simple prompt produces a stellar response, while at other times, no matter what and how you prompt, the garbage comes out. #WWTF

#Solarpanels exploding in #Lebanon?

#WWTF is happening!

#Solarpanels exploding in #Lebanon?

#WWTF is happening!

Open call for a #WWTF Tenure Track Position in Artificial Intelligence and Earth Observation - but hurry, the first deadline in the two-step application is next week!
https://www.tuwien.at/en/mg/geo/news/news-detail/news/wwtf-tenure-track-stelle

Open call for a #WWTF Tenure Track Position in Artificial Intelligence and Earth Observation - but hurry, the first deadline in the two-step application is next week!
https://www.tuwien.at/en/mg/geo/news/news-detail/news/wwtf-tenure-track-stelle

I'm incredibly excited to announce that the Vienna Science and Technology Fund (WWTF, wwtf.at) has accepted to support our (Martina Lindorfer and me) research project on the intersection between Web and mobile security for the next 4 years with 800K EUR!

I can't wait to bootstrap the project next month and expand our group at TU Wien! Thanks to all the reviewers for their precious feedback and to WWTF for making it possible!

This was an unexpected and early Christmas present :)

#tuwien #wwtf #research #grant #websecurity #mobilesecurity #vienna

I'm incredibly excited to announce that the Vienna Science and Technology Fund (WWTF, wwtf.at) has accepted to support our (Martina Lindorfer and me) research project on the intersection between Web and mobile security for the next 4 years with 800K EUR!

I can't wait to bootstrap the project next month and expand our group at TU Wien! Thanks to all the reviewers for their precious feedback and to WWTF for making it possible!

This was an unexpected and early Christmas present :)

#tuwien #wwtf #research #grant #websecurity #mobilesecurity #vienna

Ich komme erst jetzt dazu, die #wwcd-Keynote zu schauen. Erster #wwtf-Moment: Warum unterstützt der Apple TV jetzt XBox- und Playstation-Controller, aber keine Universalcontroller wie die von 8bitdo? Das ist echt abstrus.