Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Research Positions at Galois

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research Positions at Galois


Chronological Thread 
  • From: Eddy Westbrook <westbrook AT galois.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Research Positions at Galois
  • Date: Mon, 30 Jan 2017 15:42:34 -0800
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=westbrook AT galois.com; spf=Pass smtp.mailfrom=westbrook AT galois.com; spf=None smtp.helo=postmaster AT mail-pf0-f169.google.com
  • Ironport-phdr: 9a23:ZOwxsB+Cv49uKf9uRHKM819IXTAuvvDOBiVQ1KB41OIcTK2v8tzYMVDF4r011RmSDNmdta4P0rWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9ZDeZwpFiCC8bL59Ixm6sAfcvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhzodNzMh8G/YltF+gqFVrhy/qBNxxJXZb5uJOPp7ZK7dfc8WSXRHU81MVyJBGIS8b44XAuQOIOlXson8rEYOohSgHgmsGPjgyiVPhn/x3q0xzuMsEA/Y0ww7A9IBq27UrNLyNKcRSu21w7PHzTHEb/NXwjfx8pTHchckofyVW797bMTfyU4qFwzfj1WQr5ToPzyP2eQJtGib7vFgWfizhG4grgF8pCWkyMQ0ioTRmI4Z1lTJ+T96zYs1P9G0VUp2bcC+HJdNtiyXM5N6T8M+T21ypSo3xLkLtYS1cSUE0pgr2gPTZvKBfoOV+BzsTvyRLi19hH99eLKwmRKy8U+4x+35TMa00VJKojNdktnCqnwBzhLT5tWGR/Z55Euh1jGP1wfc6uFAP084j7bUK5kkwrIol5oTt1rMHjPulUnokKObcl8o9+uo5uj9f7nrooGQO5Vphgz/Nqkigsm/Dv45MggKUWib4+O81Lj78Ez3XrpKleE2nbLDsJDdIsQbpbW0AwBP3YYn7Ba/Diym3M4EknkAKVJJYAiHgJTxO1HSPPD4Cu+yjEirkDdy3vzJIrnhAojWIXXYi7fgfbN961ZGxwYpzNBf4YhUCrAbL/7pVE/xro+QMhhsOAuthu3jFd9V14UEWGvJDLXKHrnVtAql6u4+a9aBf5MfojH6KLBx+PP1kXUjnlgeVaag2ZwWczazGfEwcBbRWmblntpUSTRChQE5VuG/0FA=

All,

Galois is hiring!  We're looking for researchers, principal investigators, software engineers, and project leads, including those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, or networking.  We have two offices: one in Portland, OR, and one in Arlington, VA and positions are available at both locations.  For more info or to submit your resume, please see our website: http://galois.com/careers.   

-Eddy Westbrook


  • [Coq-Club] Research Positions at Galois, Eddy Westbrook, 01/31/2017

Archive powered by MHonArc 2.6.18.

Top of Page