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
Please spread the word: Want to work on legal frameworks vs. technological realities in security and privacy with
@nikolausf, @bprainsack & me? Apply by August 31 for a PhD in our interdisciplinary #WWTF funded #Vienna Doctoral College on Digital Humanism: https://jobs.univie.ac.at/job/University-Assistant-Prae-Doc-Vienna-Doctoral-College-on-Digital-Humanism/1219834001/
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
Now that Putricia has gone to her nursery to privately bear some fruit. I am wondering where We Watch The Flower may go next?
We Watch The Fauna
We Watch The Forest
We Watch The Fungus
We Watch The Friend
#WWTF
Putricia has opened 💜
She is 11 years old and this is her first bloom
They just cut a little square in her to pollenate the 400 or so tiny flowers that live inside her spathe (skirt)
She gets visited by Bridget with her ladder of science 🪜 and John who firmly but delicately handles her frills
The stream is watched by around 5000 people and the chat is glorious
https://www.youtube.com/live/mrylcCAEIT8?si=amwQdcKS9N6YveJD
#WWTF #BBTB
Scoring the WWTF applications today, and I see so many potential in collaberations across applicants from different regions!
I think my favorite quote from the applications is:
"The first step to addressing any issue is acknowledging it." ❤️
#GenderGap #Wikipedia #WikiWomenTaskForce #WWTF
#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
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
