Development Engineer - SPARK

	Home Careers with Praxis Development Engineer - SPARK - Bath

Development Engineer - SPARK
- Bath

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.