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

Verifying Without Loss of Generality | TU Wien

In this project we apply research on reasoning without loss of generality to hardware model checking, enabling a middle ground between proof assistant-based verification and fully automated verification.

Verifying Without Loss of Generality | TU Wien
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/
University Assistant Prae-Doc: Vienna Doctoral College on Digital Humanism

University Assistant Prae-Doc: Vienna Doctoral College on Digital Humanism

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
Sign of the times at Kew Gardens London
#wwtf #putricia
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
The fan arts are hilarious... #WWTF #BBTB
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
Corpse Flower livestream: A plant to die for

YouTube
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
Tenure Track Position in Artificial Intelligence and Earth Observation

WWTF position