* 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