[TYPES/announce] AHA 2007: Call for Participation

Research Cambridge, UK Dino Distefano, Queen Mary University of London, UK

[TYPES/announce] Post-doc position (3 years) available at Queen Mary University of London

enquiries should be addressed to Dr Dino Distefano (dd...@dcs.qmul.ac.uk ). Further details and an application form can be found at www.hr.qmul.ac.uk/vacancies . To apply, please email the following documents to Ms Julie Macdonald at applicati...@eecs.qmul.ac.uk quoting reference number 09490/CE

[TYPES/announce] Research Engineer at Monoidics, London, UK

Salary: Competitive For further information contact: Dr. Dino Distefano (dino.distef...@monoidics.com) === About Monoidics: Monoidics is a high-tech SME specialising in automatic formal verification and analysis of software

[TYPES/announce] RD Engineer at Monoidics, high-tech SME specialising in automatic program analysis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Monoidics Ltd (www.monoidics.com), a high-tech SME specialising in automatic formal verification and producer of the INFER static analyzer is looking for: RD Engineer Qualifications and

[TYPES/announce] PostDoc on Compositional Security Analysis for Binaries at Queen Mary University of London

should be addressed to Prof. Dino Distefano (dd...@eecs.qmul.ac.uk) Details about the school/dept/institute can be found at www.school.qmul.ac.uk To apply, The closing date for applications is 2ND June 2013. Interviews are expected to be held week commencing 17th June 2013. Valuing Diversity