Development Engineer - SPARK

	Home Careers with Praxis Development Engineer - SPARK - Bath

Development Engineer - SPARK
Location: Bath
Ref No: 205

Praxis is a world leader in engineering high integrity, safety critical systems with offices in Bath, London, Loughborough and Paris.

We work in critical markets such as Nuclear, Aerospace, Rail and Defence. Our work involves developing systems, which, if they go wrong result in loss of life, environmental impact or significant breaches or commercial loss. Therefore it is imperative that our work and our people are of the highest standards.

Job Description
Praxis is growing rapidly and has recently been awarded a number of new client contracts. An exciting opportunity has now therefore arisen to join the SPARK development team, which is world-renowned for its work in high-integrity programming language design and static verification.

Job Role
As a key member of this team, you will work 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. After this period, if the successful candidate desires, there could be the opportunity to move into other software consulting and development positions within the company.

Education and training

Applications from recent graduates or those with higher degrees are welcome.
At least 2:1 degree level required.

Experience

Candidates 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.
Candidates will probably have at least a 2:1 degree in a related subject.
A strong team member, with the ability to think analytically and have strong customer focus.