[robotics-worldwide] [jobs] Postdoc position in learning + formal methods with applications in autonomy

Ufuk Topcu ufuktopcu at gmail.com
Fri Jun 19 09:16:43 PDT 2015

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 learning, formal methods and control. They are required to have a
background in at least one of these three areas with willingness to grow
out to the others during their postdoctoral research. The application areas
in the projects that fund the advertised positions include adaptable and
verifiably correct autonomy, human-autonomy interactions, operator-robot
co-work for semi-autonomous navigation through human crowds, and resilient
space systems.

The responsibilities of the postdoctoral researcher will balance between
alignment with the ongoing projects and flexibility to actively create
career development opportunities. Therefore, interested candidates are
encouraged to openly discuss their plans and expectations with the
principal investigator (contact information below). An initial contact with
a CV and copies of the representative publications of the candidate is

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, (email

More information about the robotics-worldwide mailing list