From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a6c7f0ce05c3004d,start
X-Google-Thread: f43e6,a6c7f0ce05c3004d,start
X-Google-Attributes: gid103376,gidf43e6,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news3.google.com!news2.volia.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Peter Amey <peter.amey@praxis-cs.co.uk>
Newsgroups: comp.lang.ada,comp.software-eng
Subject: UK job opportunities (UK)
Date: Tue, 24 Jan 2006 09:37:24 +0000
Message-ID: <43maqnF1o79cbU1@individual.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net ttrEqimy44MK2XaCy17niwYzncJIMHMUAXcIaiWYsp0TstRq4=
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1 (ax)
X-Accept-Language: en-us, en
Xref: g2news1.google.com comp.lang.ada:2600 comp.software-eng:1061
Date: 2006-01-24T09:37:24+00:00
List-Id: <comp.lang.ada>


If anyone who read the recent Slashdot [1] or IEEE Spectrum [2] pieces 
about Praxis is interested enough to come and find out what it's all 
about, then we have some vacancies.

Tactically, knowledge of Ada, SPARK or formal methods is an advantage; 
however, the prime requirement is a passionate desire to put 
"engineering" into "software engineering".

CVs can be sent to: recruit@praxis-his.com

regards

Peter
(www.praxis-his.com)

[1] http://developers.slashdot.org/article.pl?sid=06/01/06/006225
[2] http://www.spectrum.ieee.org/sep05/1454