Groups | Search | Server Info | Login | Register
Groups > comp.specification.misc > #91
| Newsgroups | comp.specification.misc |
|---|---|
| Date | 2015-01-21 12:14 -0800 |
| References | <e99e87f4-c7ce-41a0-bdbb-8d6c0682348b@17g2000prr.googlegroups.com> |
| Message-ID | <4f004450-a10b-4417-b8b6-665d28e5a1a6@googlegroups.com> (permalink) |
| Subject | Re: Formal Methods job opening - Palo Alto, California |
| From | dragan.stosic@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 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
Back to comp.specification.misc | Previous | Next — Previous in thread | Next in thread | Find similar
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