* [Caml-list] [job] Static analysis developer and C/C++ compiler architect positions at MathWorks Grenoble
[not found] <167181387.470494649.1393423114296.JavaMail.root@spooler8-g27.priv.proxad.net>
@ 2014-02-26 14:22 ` tiphaine.turpin
0 siblings, 0 replies; only message in thread
From: tiphaine.turpin @ 2014-02-26 14:22 UTC (permalink / raw)
To: caml-list, caml-jobs
Hello,
MathWorks is opening two positions in Grenoble, France:
* an expert in static analysis of code using formal methods (model checking, abstract interpretation or theorem proving...), especially on concurrent embedded programs, with working knowledge of functional programming languages
* an expert in C/C++ compiler architecture and framework (like LLVM).
Polyspace tools find bugs and prove their absence in C/C++ applications and Simulink models, using state-of-the-art static analysis. It is used to verify embedded software and especially safety-critical systems in planes, trains, and automobiles.
Please refer to the full job descriptions for application:
Static Analysis and Formal Methods Senior Developer
http://www.mathworks.com/company/jobs/opportunities/Static-Analysis-and-Formal-Methods-Senior-Developer-11754
C/C++ Compiler Architect
http://www.mathworks.com/company/jobs/opportunities/c-c-compiler-architect-11755
Regards,
Tiphaine Turpin
MathWorks
^ permalink raw reply [flat|nested] only message in thread