Warren, Michael A
2018-08-06 15:23:31 UTC
To Whom It May Concern,
The Center for Secure and Resilient Systems at HRL Laboratories is currently looking for qualified job applicants in the area of formal methods (broadly) and would be particularly interested in candidates with experience in Coq. Ideal candidates should have an interest in the application of formal methods techniques to cyber-physical systems.
Candidates must (with no exceptions) be US citizens or permanent residents (a.k.a. green card holders).
Currently, we are advertising two positions and may have additional opening soon. Further details can be found on the link below:
http://csrs.hrl.com
Best regards,
Michael Warren
----
Michael A. Warren, PhD
Research Staff Computer Scientist
Center for Secure & Resilient Systems
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.
The Center for Secure and Resilient Systems at HRL Laboratories is currently looking for qualified job applicants in the area of formal methods (broadly) and would be particularly interested in candidates with experience in Coq. Ideal candidates should have an interest in the application of formal methods techniques to cyber-physical systems.
Candidates must (with no exceptions) be US citizens or permanent residents (a.k.a. green card holders).
Currently, we are advertising two positions and may have additional opening soon. Further details can be found on the link below:
http://csrs.hrl.com
Best regards,
Michael Warren
----
Michael A. Warren, PhD
Research Staff Computer Scientist
Center for Secure & Resilient Systems
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.