llvm dev - Apr 2012 - [LLVMdev] R&D Engineer at Monoidics, high-tech SME specialising in automatic program analysis

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).

--Cristiano

---------------

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
+ 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.

===============================================================

On 04/16/2012 05:49 AM, Cristiano Calcagno wrote:
> 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).
Hi Cristiano,

if monoidics already uses LLVM for one of their projects, the easiest 
way to add monoidics to the LLVM users page is to post a patch to the 
llvm-commits list. (If you need help, let me know)

Job offers on LLVM mailing lists are restricted to job offers that make 
clear they are clang/llvm specific. Everything else, even if highly 
interesting, is regarded spam. Please, take this into account for your 
future posts.

All the best,

Tobi