*** VerifyThis 2023: Call For Problems ***
CFP Deadline: February 1st, 2023
Website: http://verifythis.ethz.ch
VerifyThis is an annual program verification competition held as part
of ETAPS. It is an opportunity for community members and tool authors
to showcase their work and learn
Postdoctoral Fellow in Technology, Culture, and Society
Two-Year Position with the Rice Academy of Fellows
The Rice University Initiative on Technology, Culture, and Society,
together with the Rice University Academy of Fellows, invite applications
for a 2-year postdoctoral position to begin