[LLVMdev] R&D Engineer at Monoidics, high-tech SME specialising in automatic program analysis
cristiano.calcagno at monoidics.com
Sun Apr 15 22:49:31 CDT 2012
After hearing reports about the EU LLVM conference, I thought that this could be of interest to members of the list (and might lead to an extra item on the LLVM Industry Users page).
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.
More information about the LLVMdev