Groups | Search | Server Info | Login | Register

Groups > comp.specification.misc > #93

Re: Formal Methods job opening - Palo Alto, California

Show all headers | 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