Job: SPARK Team

["Rod Chapman" <rod.chapman@praxis-his.com>]

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