Internship and other job opportunities in formal methods applied to AI

[Warren, Michael A]

The Center for Secure and Resilient Systems at HRL Laboratories (http://www.hrl.com) will have several exciting job opportunities in VNN and related areas opening up in the near future including:

 

• Summer internships
• Postdoctoral staff positions
• Research staff positions

 

We have a number of on-going projects in the areas of autonomous system safety and security and are actively searching for talented candidates with backgrounds in formal methods, adversarial AI, reinforcement learning, and related areas.  Candidates must be US citizens or permanent residents (green card holders).

 

If you are interested in these opportunities and would like to learn more, please feel free to contact me directly at (mawa...@hrl.com).

 

Additionally, please feel free to pass this advertisement along to anyone you know who might be interested!

 

Best regards,

 

Michael Warren

 

 

 

----
Michael A. Warren, PhD

Deputy Leader, Center for Secure & Resilient Systems
Research Staff Computer Scientist
Information & Systems Sciences Laboratory
HRL Laboratories, LLC
Malibu, California

CONFIDENTIALITY NOTICE: The information transmitted in this email, including attachments, is intended only for the person(s) or entity to which it is addressed and may contain confidential, proprietary and/or privileged material exempt from disclosure under applicable law. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon this information by persons or entities other than the intended recipient is prohibited. If you received this message in error, please contact the sender immediately and destroy any copies of this information in their entirety.