* Job: SPARK Team
@ 2006-03-21 15:43 Rod Chapman
2006-03-21 20:41 ` Randy Brukardt
0 siblings, 1 reply; 7+ 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] 7+ messages in thread
* Job: SPARK Team
@ 2006-03-21 16:01 Rod Chapman
0 siblings, 0 replies; 7+ messages in thread
From: Rod Chapman @ 2006-03-21 16:01 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] 7+ messages in thread
end of thread, other threads:[~2006-03-22 11:59 UTC | newest]
Thread overview: 7+ 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
-- strict thread matches above, loose matches on Subject: below --
2006-03-21 16:01 Job: " Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox