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

Dino Distefano ddino at eecs.qmul.ac.uk
Tue Apr 10 05:36:00 EDT 2012

Monoidics Ltd (www.monoidics.com), a high-tech SME specialising in automatic formal verification and producer of the INFER static analyzer is looking for:

R&D Engineer 

Qualifications and skills required:

*Strong programming skills
+ C and C++ on linux and Windows
+ functional languages, preferably OCaml
+ Java and scripting languages a plus
+ database programming a plus
+ testing tools a plus
+ web development a plus

*System skills
+ embedded systems
+ system programming a plus

+ experience with complex software and algorithms
+ static analysis and verification
+ compiler development a plus
+ formal methods a plus
+ theory of concurrency and concurrent programming a plus
+ masters in computer science (or an equivalent mix of qualification and experience). 

Starting date: May 1st, 2012, or as soon as possible thereafter.

Location: Shoreditch, East London, UK

Salary: Competitive

Apply: jobs at monoidics.com


About Monoidics:

Monoidics specialises in automatic formal verification and analysis of software.  Founded in 2009, this growing company's mission is to bring verification and program analysis research to the forefront of industrial practice. Based in London, Monoidics operates world-wide and has strong links with key industrial partners in safety critical systems in Europe, USA, and Japan.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120410/66ee0f78/attachment-0001.html>

More information about the Types-announce mailing list