Привет!
Kaspersky ищет бравых разработчиков операционных систем и для них компиляторов. У нас есть микроядерная ОС, описания поведения программ логиками (например, темпоральной), и компиляция описаний в рантайм-монитор.
Ищем:
- хаскеллистов с интересом к системщине
- системщиков с интересом к хаскеллю и выравниванию байт
- специалистов по компиляторам: у нас свой в C
- знатоков формальных методов (TLA+, Agda/Coq): для применения к ядру и IR
Пишите
@icrbow.