<div dir="ltr"><div>Here at Kaspersky Lab, we are developing a secure platform&framework.<br>
<br>
We have two job opportunities right now. Both opportunities<br>
assume good command of Haskell, since we use Haskell extensively.<br>
<br>
These are full time positions, available at our Moscow (Russia) office.<br>
If you are interested, please apply on the corporate site or<br>
send your CV to me directly at <a href="mailto:dmitry.kulagin@kaspersky.com">dmitry.kulagin@kaspersky.com</a><br>
<br></div>Descriptions:<br><div><br>
Software Engineer:<br>
Responsibilities:<br>
    * Development of core of the security system<br>
    * Tools development (such as compilers/DSL)<br>
Skills/experience:<br>
    * Strong experience developing with Haskell<br>
    * C/C++ development experience<br>
    * Good knowledge of basic algorithms and data structures<br>
    * Compilers/DSLs development experience (desirable)<br>
    * System programming experience (desirable)<br>
    * Understanding of OS internals (desirable)<br>
    * Experience in development of embedded and/or real-time applications (desirable)<br>
URL:<br>
    * <a href="http://www.kaspersky.ru/job?vac=283264">http://www.kaspersky.ru/job?vac=283264</a><br>
<br>
Researcher (formal methods/computer security):<br>
Responsibilities:<br>
    * Development of approaches to express and verify security and<br>
      safety properties of systems<br>
Skills/experience:<br>
    * Masters degree in CS or equivalent. PhD in CS (or related field) is desirable<br>
    * Strong interest in computer security<br>
    * Experience in formal verification<br>
    * Good writing and presentation skills<br>
    * Haskell programming experience is highly desirable<br>
    * C-programming experience (desirable)<br>
    * Prolog programming experience (desirable)<br>
URL:<br>
    * <a href="http://www.kaspersky.ru/job?vac=283263">http://www.kaspersky.ru/job?vac=283263</a><br>
<br>
</div></div>