[compgeom-announce] job opportunity: RA position at City University London

["jacob@soi.city.ac.uk" <jacob@soi.city.ac.uk>]

Project: Verification using Integer Polyhedra (EPSRC funded)
Position: Research Associate
Duration: 18 months

The VIP project is a collaboration between City University London and the
University of Kent investigating applications of (integer) polyhedra to static
program analysis.  Anyone with a PhD in computational geometry or static
analysis would be a suitable candidate.

Details:
http://www.city.ac.uk/jobs/job_ads/acad_research/SHRAVIP.html

-- 
You are currently subscribed to compgeom-announce.
To unsubscribe or access the archives, go to
https://lists-sop.inria.fr/wws/info/compgeom-announce