Formal Methods job opening - Palo Alto, California

[brinkley.chris]

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

[dragan...@gmail.com]

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

[noki...@gmail.com]

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