Logic List Mailing Archive

Postdoctoral position on analysis techniques for deep neural networks, Houston TX (U.S.A.)

Rice University -- Postdoctoral Position

A postdoctoral researcher is sought for a two-year position in
computer science at Rice University to work with Professors Lydia
Kavraki and Moshe Vardi on analysis techniques for deep neural
networks (DNNs).

The impressive capabilities of deep neural networks have inspired
system developers to use them in safety-critical cyber-physical
control systems, such as autonomous vehicles and air traffic
collision avoidance systems. For such applications it is imperative
that the correctness of DNN systems be verified. Furthermore, it is
desirable that such system be resistant to perturbations introduced
by an adversary, or by inadvertent data corruption from system
noise, domain shift, or broken sensors. Several recent incidents
have underscored the need to better understand DNNs, and verify both
their safety and security.

This project aims at developing techniques for analysis of DNNs by
combining methods from formal methods, cyber-physical systems, and
robotics. We are seeking candidates who have demonstrated ability to
lead and/or work collaboratively in teams comprised of individuals
of diverse backgrounds, skills, and perspectives.

BACKGROUND: Applicants must hold a Ph.D. in Computer Science,
Electrical & Computer Engineering, Robotics, or a related field.
Required skills include excellent analytical skills, excellent
software engineering skills, and excellent writing skills.
Candidates with current expertise at the intersection of formal
methods and robotics/cyber-physical systems will be given priority.
This position is particularly suited for candidates who want to
follow a career in academia.

ABOUT RICE UNIVERSITY: As a leading research university with a
distinctive commitment to education, Rice University
(http://www.rice.edu) aspires to path breaking research, unsurpassed
teaching, and contributions to the betterment of our world. It seeks
to fulfill this mission by cultivating a diverse community of
learning and discovery that produces leaders across the spectrum of
human endeavor. The George R. Brown School of Engineering ranks
among the top 20 of undergraduate engineering programs (US News &
World Report) and is strongly committed to nurturing the aspirations
of faculty, staff and students in an inclusive environment. Rice
University is an Equal Opportunity Employer with commitment to
diversity at all levels and considers for employment qualified
applicants without regard to race, color, religion, age, sex, sexual
orientation, gender identity, national or ethnic origin, genetic
information, disability, or protected veteran status. Rice
University, a Tier 1 Research University, is located in the vibrant
urban setting of Houston, TX, the fourth largest city in the U.S.
Rice is ranked #16 in National Universities in the 2021 by "US News
Best Colleges" and #1 for Quality of Life in the Princeton Review?s
2021 edition of "The Best 382 Colleges."

Interested applicants should contact Professor Lydia Kavraki
(kavraki@rice.edu) and Professor Moshe Vardi (vardi@rice.edu) and
provide (a) a CV, (b) the names of three or more references, (c) a
one page description of their earlier work and, if desired, (d) a
one paragraph statement about their interest in the advertised
position.

The position is available immediately and applications will be
accepted until this position is filled.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam