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>
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

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