X-Received: by 10.68.190.232 with SMTP id gt8mr10416317pbc.3.1421871256900; Wed, 21 Jan 2015 12:14:16 -0800 (PST) X-Received: by 10.140.98.198 with SMTP id o64mr1858qge.41.1421871256686; Wed, 21 Jan 2015 12:14:16 -0800 (PST) Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!h15no1483137igd.0!news-out.google.com!l7ni0qai.0!nntp.google.com!bm13no2127540qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.specification.misc Date: Wed, 21 Jan 2015 12:14:16 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=93.86.150.254; posting-account=xsgh-woAAADEzotLzxb7f9JEAvqDFHXO NNTP-Posting-Host: 93.86.150.254 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <4f004450-a10b-4417-b8b6-665d28e5a1a6@googlegroups.com> Subject: Re: Formal Methods job opening - Palo Alto, California From: dragan.stosic@gmail.com Injection-Date: Wed, 21 Jan 2015 20:14:16 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Received-Bytes: 1910 X-Received-Body-CRC: 108568710 Xref: csiph.com comp.specification.misc:91 Hi Chris, I saw your post seems to me to late ....I am an expert in formal methods ( PVS theorem prover ) and I am interested for any position opened and related to formal models. Do you have any update regarding that ? Best Regards Dragan On Wednesday, June 29, 2011 at 7:14:43 PM UTC+1, brinkley.chris wrote: > I recently convinced my employer, Palo Alto based Space Systems Loral, > world's leading manufacturer of commercial satellites, to create a job > opening for a formal methods specialist! Now I need some > applicants... > > To see the listing, go to > > http://www.ssloral.com/html/careers/careers2.html > > and search for "formal methods". > > Chris Brinkley > Engineering Computing > Space Systems Loral