Please note the following offer from the University of Texas at Austin:
We invite applications for one or more postdoctoral researcher positions available immediately — open until filled — at the University of Texas at Austin. The candidates are expected to conduct research at the intersection of formal methods and learning with problems drawn from autonomy. They are required to have a background in at least one of these areas with a willingness to grow out to the other during their postdoctoral research.
The position is on a yearly basis and renewable for multiple years. The compensation will include a competitive salary and the University of Texas postdoctoral scholar benefits package.
Point of contact: Ufuk Topcu, The University of Texas at Austin, utopcu@utexas.edu.