[TYPES/announce] R&D Engineer at Monoidics, high-tech SME specialising in automatic program analysis
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:
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
+ 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
Apply: jobs at monoidics.com
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...
More information about the Types-announce