Of possible interest to ProCoS mailing list readers.
--
Jonathan Bowen
----- Original Message -----
From: Andrew Ireland <[log in to unmask]>
To: <[log in to unmask]>
Sent: Thursday, May 10, 2001 7:09 AM
Subject: Formal Verification RA Post
>
> Dear Professor Bowen
>
> I am looking to employ a PhD or specialist MSc person on a
3-year
> Critical Systems EPSRC grant up here in Edinburgh. The project concerns
> code (Spark) level verification and is in collaboration with Praxis
Critical
> Systems. Would you be able to circulate an advert (see below) via
> your internal MSc and PhD/RA aliases?
>
> Best regards,
>
> Andrew Ireland
>
> ------------------------------------------------------------------------
>
> *** Research Associates Post ***
>
> Formal Verification within High Integrity Software Development
>
> Dependable Systems Group
>
> Department of Computing & Electrical Engineering
> Heriot-Watt University
> Edinburgh
>
> The Post:
>
> o A 3-year Research Associates post with an exciting mix of theory
> and practice.
>
> o Starting salary up to 20,465 pounds p.a. (RA1A Scale), with
> annual increments thereafter.
>
> o Investigate Proof Planning within the context of critical systems
> software development.
>
> o In collaboration with Praxis Critical Systems -- internationally
> leading within the critical systems sector.
>
> o Proof Planning is a computational technique that exploits
high-level
> "patterns of reasoning" in automating the search for formal
proofs.
>
> o Praxis use a "correctness by construction" approach to software
> development through Spark (Ada subset) and their Spark Examiner
> tool-set.
>
> o Target start date is October 2001 -- but open to negotiation.
>
> o Funded by EPSRC grant GR/R24081 -- Critical Systems Programme.
>
> The Person:
>
> o A background in computer science or a related discipline.
>
> o Ideally they will have a PhD or have comparable research
> experience. However, we would consider someone with a
> relevant specialist MSc or who is in the final stages of
> their PhD studies.
>
> o Ideally, the appointed candidate will have knowledge of
> theorem prover design and implementation or applied formal
> methods or high integrity software development.
>
> o The position will suit someone who wishes to undertake academic
> research within a cutting-edge industrial context.
>
> Interested? Then contact Andrew Ireland ([log in to unmask]) for more
> details or informal discussions.
>
> More details on the project and Praxis can also be found via:
>
> http://www.cee.hw.ac.uk/~air/clam-spark/
>
>
> Dr Andrew Ireland Tel: +44 (0)131 451 3409
> Dependable Systems Group Fax: +44 (0)131 451 3327
> Dept of Computing & Electrical Engineering Email: [log in to unmask]
> Heriot-Watt University Web: http://www.cee.hw.ac.uk/~air
> Riccarton, Edinburgh, Scotland EH14 4AS Web:
http://www.cee.hw.ac.uk/~dsg
> --------------------------------------------------------------------------
-----
>
>
|