coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Advertising Coq Positions

From: "Warren, Michael A" <mawarren AT hrl.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Advertising Coq Positions
Date: Mon, 6 Aug 2018 15:23:31 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mawarren AT hrl.com; spf=Pass smtp.mailfrom=mawarren AT hrl.com; spf=None smtp.helo=postmaster AT mymail.hrl.com
Ironport-phdr: 9a23:QO7TNB8G23bmff9uRHKM819IXTAuvvDOBiVQ1KB30ugcTK2v8tzYMVDF4r011RmVBduds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55zebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/2hikaKz43/mLZhcJxjK1Hrx2svAZwz5LRYIyPKPZzZKHQcNUHTmRBRMZRUClBD5uyY4QPFeUBJ/xYoJf7p1cWsBCwAgisC//vyjBSmHD22bAx3vgvHQrb2wEgGsgBsXrOo9XvLqcdT+a1wbLIzTXZa/Nawyvy6I/Nch04p/yHQLx+cc3UyUY1FgPFiE2dqYz/PzORzOgCr2+b7+9mWOmyiGAnsxl8riWry8sykIXFm4wYx1He+Slk3Yo4JMe0RFBjbdK5FJZcqTuWO5V0T884Xm1lujg2xqcItJO4ZCQKxoooyh3DZ/GCdoWH/hbuWeieLDp9mX5od7y/iAu3/Ee8yODzTdW43VNXoSdHj9bBuHYA3AHJ5MedUPty5EKh1C6P1w/N7uFEJlg5la/bKp4k2LEwl54TvV7DHi/snEX6lrOZdkIh+uSw6uTnZKvppoOEOoNpjgzyLL4iltGxDOk5KAQCQnWX9OWm2LH95UH5Ra9FjvwykqnXqpDaIsEbq7a8AwBP3Ics8Qy/Dy2439QehnQHLEhFeBadg4f1PFHOJej0De2jjFS0jDdr2/fGM6X9DZXKN3jPiavufbJg60FH0wcz1tBe55dMCr4bOv7zW0nxtMbZDhAjKQC0zfznW51B0dZUUmWWR6SdLan6sFmS5+tpLfPGLNsevy+4IPw47dbvi2U4kBkTZ//684EQbSXyIf18OUifJTLJg9wBGGoO9iN0BLjvgUKLSyReYV6yRaZ67TY+XtH1RbzfT5yg1eTSlBywGYdbMzgfWwK8VEzwfoDBYM8iLSebI8tviDsBBOqhUYtn3har5lajl+hXa9HM8yhdjqrNkcBv7ryBlQs2szdzCpbFijzffyRPhmoNAgQO8uV/rEh6kwnR1Ll9iv1cU9xJ47VCVQJobZM=

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.

[Coq-Club] Advertising Coq Positions, Warren, Michael A, 08/06/2018