* Job: SPARK Team
@ 2006-03-21 15:43 Rod Chapman
2006-03-21 20:41 ` Randy Brukardt
0 siblings, 1 reply; 6+ messages in thread
From: Rod Chapman @ 2006-03-21 15:43 UTC (permalink / raw)
Owing to significant project wins, SPARK Team finds itself in need
of...
Job Title
Development Engineer - SPARK team
(Based in Bath, UK)
Brief Description
A rare opportunity has arisen to join the SPARK development team, which
is world-renowned for its work in high-integrity programming language
design and static verfication. You will form part of this team, working
in all areas of the product lifecycle including R&D, customer support,
sales, delivery of training, and marketing.
You will spend at least a year in the SPARK team before moving into
other software consulting and development opportunties within the
company.
Requirements
You will require a robust set of technical skills and have experience
in one or more of the following: programming language design, static
analysis tools or compilers, theorem proving, software model checking,
SAT solving or grid-based computing. You will probably have at least a
2:1 degree in a related subject. You'll be a strong team member, have
the ability to think analytically and have clear customer focus.
Applications from recent graducates or those with higher degrees are
welcome.
Enquiries and CVs to: recruit@praxis-his.com, or via www.sparkada.com
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: SPARK Team
2006-03-21 15:43 Job: SPARK Team Rod Chapman
@ 2006-03-21 20:41 ` Randy Brukardt
2006-03-21 21:50 ` Larry Kilgallen
2006-03-22 11:59 ` Georg Bauhaus
0 siblings, 2 replies; 6+ messages in thread
From: Randy Brukardt @ 2006-03-21 20:41 UTC (permalink / raw)
"Rod Chapman" <rod.chapman@praxis-his.com> wrote in message
news:1142955830.308105.271790@i40g2000cwc.googlegroups.com...
...
> Applications from recent graducates or those with higher degrees are
> welcome.
"graducates"? Apparently spelling is not a prerequisite for a job at
Praxis... ;-)
Randy.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: SPARK Team
2006-03-21 20:41 ` Randy Brukardt
@ 2006-03-21 21:50 ` Larry Kilgallen
2006-03-21 23:10 ` Björn Persson
2006-03-22 1:54 ` Jeffrey R. Carter
2006-03-22 11:59 ` Georg Bauhaus
1 sibling, 2 replies; 6+ messages in thread
From: Larry Kilgallen @ 2006-03-21 21:50 UTC (permalink / raw)
In article <fJmdnTVWzoWR-L3ZRVn-pg@megapath.net>, "Randy Brukardt" <randy@rrsoftware.com> writes:
> "Rod Chapman" <rod.chapman@praxis-his.com> wrote in message
> news:1142955830.308105.271790@i40g2000cwc.googlegroups.com...
> ...
>> Applications from recent graducates or those with higher degrees are
>> welcome.
>
> "graducates"? Apparently spelling is not a prerequisite for a job at
> Praxis... ;-)
Rather, it would seem, good spellers is what they need most of all :-)
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: SPARK Team
2006-03-21 21:50 ` Larry Kilgallen
@ 2006-03-21 23:10 ` Björn Persson
2006-03-22 1:54 ` Jeffrey R. Carter
1 sibling, 0 replies; 6+ messages in thread
From: Björn Persson @ 2006-03-21 23:10 UTC (permalink / raw)
Larry Kilgallen wrote:
> In article <fJmdnTVWzoWR-L3ZRVn-pg@megapath.net>, "Randy Brukardt" <randy@rrsoftware.com> writes:
>>"graducates"? Apparently spelling is not a prerequisite for a job at
>>Praxis... ;-)
>
> Rather, it would seem, good spellers is what they need most of all :-)
Maybe they need to write an examiner to formally prove that the spelling
is correct? ;-)
--
Bj�rn Persson PGP key A88682FD
omb jor ers @sv ge.
r o.b n.p son eri nu
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: SPARK Team
2006-03-21 21:50 ` Larry Kilgallen
2006-03-21 23:10 ` Björn Persson
@ 2006-03-22 1:54 ` Jeffrey R. Carter
1 sibling, 0 replies; 6+ messages in thread
From: Jeffrey R. Carter @ 2006-03-22 1:54 UTC (permalink / raw)
Larry Kilgallen wrote:
>
> Rather, it would seem, good spellers is what they need most of all :-)
Or someone who knows how to run a spelling checker on newsgroup postings.
--
Jeff Carter
"You empty-headed animal-food-trough wiper."
Monty Python & the Holy Grail
04
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: SPARK Team
2006-03-21 20:41 ` Randy Brukardt
2006-03-21 21:50 ` Larry Kilgallen
@ 2006-03-22 11:59 ` Georg Bauhaus
1 sibling, 0 replies; 6+ messages in thread
From: Georg Bauhaus @ 2006-03-22 11:59 UTC (permalink / raw)
Randy Brukardt wrote:
> "Rod Chapman" <rod.chapman@praxis-his.com> wrote in message
> news:1142955830.308105.271790@i40g2000cwc.googlegroups.com...
> ...
>
>>Applications from recent graducates or those with higher degrees are
>>welcome.
>
>
> "graducates"? Apparently spelling is not a prerequisite for a job at
> Praxis... ;-)
Nooo. It's a hidden pun: gradu-cat-es!
-- Georg
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2006-03-22 11:59 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-03-21 15:43 Job: SPARK Team Rod Chapman
2006-03-21 20:41 ` Randy Brukardt
2006-03-21 21:50 ` Larry Kilgallen
2006-03-21 23:10 ` Björn Persson
2006-03-22 1:54 ` Jeffrey R. Carter
2006-03-22 11:59 ` Georg Bauhaus
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox