coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc and internship opportunities in formal methods

From: "Warren, Michael A" <mawarren AT hrl.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Postdoc and internship opportunities in formal methods
Date: Tue, 3 Dec 2019 17:09:52 +0000
Accept-language: en-US
Authentication-results: mail3-smtp-sop.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:qu/n1RfgHv5VGYIZ4JjQ2tHHlGMj4u6mDksu8pMizoh2WeGdxcS+bB7h7PlgxGXEQZ/co6odzbaP6Oa5BjNLsMnJmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRu7oR/MusQUg4ZuJaI8xxnUqXZUZupawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnFVguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hCoBKjU09nzchM5tg6JBuB+vpwJxzZPIYI+bN/RxcKLdcs8VSmdaRMldSylBD5mgY4YVDecMO/tToYnnp1sJqBuzHQegC+P1xT9SnH/5w6s63/w8Gg/B3QwvA9IOv27Ko9XxKawfTe65x7TPwDXGdfxX1y3y6JLSch8/p/GBRrJwcdDVyUU1CwzFiVCQpJXjMjiI2OoNtG2b4PBhVeKpk2Mnqxtxojy1ysgwjYnJg5oZyl7F9SVj3ok6O925R1BhbdG4F5tQsieXPJZ1TMM6W2xkpSI3xqMctZKmciUHyY4rywPCZ/GGaYSE/ArvWPuVLDtmnn5pZrCyiwy2/EWh0OHwS9e43EtSoipLjNbBtWwB2hnW58ebTvZw8Eis1DOS2w3c5OFLPEU5mrbZJpE63rI9k4ccvEbeESL4nkj9kbWYeV8++uey7uTqerXmqYGYN49zkgz+N6QvmsmlDuQ5NggCRWib+f641LH54UL5R7BKguU3kqnfrp/aOdwWqrO9DgNLyIov9hiyAja83NgFgHUKLUhJdAyfg4jsIV7OIfT4Dfmlg1SrlTdm3/XGMafvA5rXNHjDiqnufbBm5k5c0gozycpT6I5TCrEEOP7zQFP+tMTEDh8lNAy52/roCNJk1o8HRW2PBrKZP7jJvF+T5uMvJvGMa5UPtDb8Lfgl/f/ugmUjlV8TZ6n6lacQPTqzGe0jKEGEa1LthM0AGCEEpEB2GOftkRiJVSNZT3e0RaM1oD8hXtGIF4DGE8qSiaab0SH/VrhXbWBPB1TEOD2gI4CNRP4Wci+UCs97lnoPUr33GNxp7g2nqAKvk+kvFeHT4CBN7cu/hugw3PXakFQJzRIxF96UgjONVWUylWQNFWdvjfJP5Hdlw1LG6pBWxvlRFNhd/fRMA1U6L5qaxOt/WYmrB1DxO+yRQVPjee2IRDE8StVonY0LckN0GtHkjgrHmSGtBu1Nmg==

The Center for Secure and Resilient Systems at HRL Laboratories (http://www.hrl.com) has several exciting job opportunities in formal methods that might be of interest to readers of this list. These include:

Summer internships
Postdoctoral staff positions
Research staff positions

In particular, 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 especially as it pertains to machine learning and AI. 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 see http://www.hrl.com/laboratories/issl for the listing of open positions.

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

With best regards,

Michael Warren

----------------------------------

Michael A. Warren, Ph.D.

Research Staff Computer Scientist

Deputy Lead, Center for Secure and Resilient Systems

Information & Systems Sciences Laboratory

HRL Laboratories LLC

Malibu, CA

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] Postdoc and internship opportunities in formal methods, Warren, Michael A, 12/03/2019