From: "Rod Chapman" <rod.chapman@praxis-his.com>
Subject: Job: SPARK Team
Date: 21 Mar 2006 08:01:59 -0800
Date: 2006-03-21T08:01:59-08:00 [thread overview]
Message-ID: <1142954222.784901.29470@g10g2000cwb.googlegroups.com> (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
next reply other threads:[~2006-03-21 16:01 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-03-21 16:01 Rod Chapman [this message]
-- strict thread matches above, loose matches on Subject: below --
2006-03-21 15:43 Job: SPARK Team Rod Chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox