Groups | Search | Server Info | Login | Register

Groups > comp.specification.misc > #93

Re: Formal Methods job opening - Palo Alto, California

X-Received by 10.236.27.13 with SMTP id d13mr3242651yha.43.1432211992799; Thu, 21 May 2015 05:39:52 -0700 (PDT)
X-Received by 10.140.39.71 with SMTP id u65mr31602qgu.42.1432211992767; Thu, 21 May 2015 05:39:52 -0700 (PDT)
Path csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!z60no3022375qgd.1!news-out.google.com!4ni3qgh.1!nntp.google.com!z60no3023629qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups comp.specification.misc
Date Thu, 21 May 2015 05:39:52 -0700 (PDT)
In-Reply-To <e99e87f4-c7ce-41a0-bdbb-8d6c0682348b@17g2000prr.googlegroups.com>
Complaints-To groups-abuse@google.com
Injection-Info glegroupsg2000goo.googlegroups.com; posting-host=69.159.142.73; posting-account=tt3SnAoAAABh6J4YFzYAOsHGyRkzQcRW
NNTP-Posting-Host 69.159.142.73
References <e99e87f4-c7ce-41a0-bdbb-8d6c0682348b@17g2000prr.googlegroups.com>
User-Agent G2/1.0
MIME-Version 1.0
Message-ID <2ffe72d5-eb17-4e85-9629-f994bc2c9bd9@googlegroups.com> (permalink)
Subject Re: Formal Methods job opening - Palo Alto, California
From nokib.ece@gmail.com
Injection-Date Thu, 21 May 2015 12:39:52 +0000
Content-Type text/plain; charset=ISO-8859-1
Xref csiph.com comp.specification.misc:93

Show key headers only | View raw

On Wednesday, June 29, 2011 at 2:14:43 PM UTC-4, 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

Hi Chris,

I am working on formal methods. I am working on Formal Verification: Model Checking and Model based testing. Specially on Computational Tree logic and Failure Trace testing.  I am looking for an opportunity. 

Regards 
Nokib Uddin

Back to comp.specification.misc | Previous | Next — Previous in thread | Find similar

Thread

Formal Methods job opening - Palo Alto, California "brinkley.chris" <brinkley.chris@ssd.loral.com> - 2011-06-29 11:14 -0700
  Re: Formal Methods job opening - Palo Alto, California dragan.stosic@gmail.com - 2015-01-21 12:14 -0800
  Re: Formal Methods job opening - Palo Alto, California nokib.ece@gmail.com - 2015-05-21 05:39 -0700

csiph-web