Всем привет

Что хочется: чтобы был какой-нибудь groupware (контакты, календарик, файлики (опционально)). чтобы аккаунты этого groupware тянулись из ldap, а у каждого аккаунта чтобы был список контактов дефолтный, стянутый из ldap, и чтобы в календаре были отмечены по дефолту ДР и еще некоторые даты.

такая вот супер очевидная потребность просто разбивается о бытие.

nextcloud в принципе был ближе всего, но у него плагин (ldap contact backend) какой супер сырой, owncloud выпилили подтягивание ldap контактов много версий назад, SOGo работает по минимуму (почтавик – ок, контакты – ок) но календарь не импортирует ДР (у них это в todo).

в общем, это что, какое-то странное и неочевидное желание?

если кто еще учился в школе, я расскажу как все было.

десять лет назад ассоциация друзей реймана, РАСПО, и попильная контора pingwin software привезли в Москву RMS. он как обычно впаривал неофитам своих плюшевых антилоп и вещал в общем как обычно.

но вот в чем вопрос, РАСПО и пингвин попильные организации, протухшие в течении года или около того. понятно ведь, что RMS так много сделал в 80-х для FSF, что это позволяет ему бесконечно мараться о грязные деньги и обелять такие вот конторы. понятно ведь, борется с корпорациями, ну и за идею выступил, очевидно. а тем кто осуждает его за это, и за что годно другое, нет места на этом свете, я все правильно сказал?

Всем привет

Если вы собираетесь посетить FOSDEM'20, рекомендую заглянуть в новый деврум посвященный открытым проектам для технологий Intel SGX, Arm TrustZone, AMD SEV. Вот на всякий случай еще CfP:

—————— 8<——————

FOSDEM 2020 - Hardware-aided Trusted Computing DevRoom CALL FOR PARTICIPATION

Next year, for the first time, FOSDEM 2020 [1] will host a developer room devoted to the emerging open-source ecosystem around Trusted Execution Environments (TEEs) which make use of modern hardware extensions like Intel SGX, ARM TrustZone, AMD SEV/SME and others. With today's mainstream consumer hardware being increasingly shipped with these advanced trusted computing technologies, the devroom wants to foster discussion on the much-needed open-source TEE ecosystem amongst open-source hobbyists, academics, enthusiasts, and project maintainers.

The developer room will take place in Brussels on Saturday, February 1st 2020, and will last half of a day. The devroom is looking for participants in the form of talks or demos. Topics of interest include, but are not limited to:

* Programming frameworks for TEEs (how best to program and use TEEs)

* System support for TEEs (effective interaction of untrusted software with TEEs and vice-versa )

* Use cases and applications on top of TEEs

* TEE-specific attacks and defenses (side-channels, vulnerabilities, exploits)

* Open-source TEE architecture designs

* Vision: Future TEEs (what is missed, proposals, wishes, discussions)

Please submit your proposal via the Pentabarf [2] system before December 1st 2019. Your submission should include the following information:

* The title of your talk

* Your full name (and affiliation, if any)

* Brief abstract of your talk in one or two paragraphs

* Expected duration of your talk (due to the time constraints, we recommend to request the time slice in the range of [25, 40] minutes )

The schedule of the devroom will be announced on December 15th 2019 on the devroom’s mailing list [3]. Do not hesitate to contact me if you have any suggestions.

Links:

[1] https://fosdem.org/

[2] https://penta.fosdem.org/submission/FOSDEM20

[3] hardware-aided-trusted-computing-devroom@lists.fosdem.org

—————— 8<——————

Добрый день

Хорошим людям во ФГУП НТЦ Атлас нужен специалист по MIPS. Проекты: поддержка MIPS архитектуры в микроядре seL4, портирование драйверов, развитие окружения. Проекты сложные, самое острие в разработке доверенных/безопасных решений: тут и микроядра, и верификация, и все что хотите. Можно даже Rust.

Основная часть работы по поддержке MIPS в seL4 завершена, теперь нужен специалист для доведения экспериментальной платформы до «продакшена». Как следствие, нужен человек с глубоким пониманием архитектуры MIPS, его особенностей и тонкостей, а также с хорошим опытом разработки на ассемблере под него.

Вилка: от 80к рублей в руки и до как договоритесь. Офис на Марьиной Роще. Писать на info@rnd.stcnet.ru c пометкой MIPS.

Продолжаю поиск уникальных людей. Очень нужен верификатор - поднимаем наши разработки на качественно новый уровень. Понятно что на лоре искать таких людей бессмысленно, но вдруг повезет.

Обязанности:

• Построение моделей программ,
• Формальная верификация кода, протоколов, интерфейсов,
• Доказательство корректности реализации.

Требования:

• Владение различными методами и инструментами верификации, в частности Isabelle/HOL
• Опыт верификации ПО, например драйверов, протоколов
• Навыки программирования на функциональных и/или процедурных языках
• Научные публикации в реферируемых журналах

Условия:

• Официальная заработная плата (после вычета налогов) – от 90 000 до 150 000, определяется по результатам собеседования;
• Индексация заработной платы;
• 13-ая зарплата" по итогам работы за год;
• Опытный коллектив, широкие возможности профессионального роста;
• Возможность повышения квалификации на различных курсах;
• Возможность посещения тематических конференций в России и за рубежом;
• Добровольное медицинское страхование (санчасть в 5 мин. пешком от работы);
• Членство в спортивном клубе в 10 мин. пешком от работы;
• Соблюдение ТК;
• Офис в районе м. Марьина Роща

ВНИМАНИЕ! Вместе с откликом присылайте, пожалуйста, примеры верифицированного вами кода/моделей. Для связи - sartakov@ksyslabs.org Рассматриваются кандидаты только с релевантным опытом. Студенты - можем рассмотреть, но хотелось бы профессионала. Удаленка точно нет.

Нам (http://ksyslabs.ru) нужен уникальный человек. Я бы даже сказал редкий. Нам нужен аналитик ИБ, основной задачей которого будет развитие и поддержка базы сигнатур для snort. Нужно будет перелапатить имеющиеся открытые базы, проанализировать актуальность сигнатур, собрать определенный набор сигнатур, регулярно поддерживать и развивать их, черпая данные из открытых источников. В свободное от этой деятельности время нужно будет описывать модели сетей для специализированных IDS (это не сложно, научим).

Человек нам нужен грамотный, имевший опыт парсинга CVE и работы с паттернами. Денег - предлагайте, пока что профессионального аналитика мы не встречали. для связи - sartakov@ksyslabs.org

Офис - марьина роща, хотим фултайм, но можем взять студента (откуда правда у него опыт работы с CVE?), к удаленке пока не готовы (но кто знает, пишите).

Можем без специального образования, но лучше с ним.

Добрый день.

1. В прошлом году была довольно большая русско-говорящая диаспора, и в этом году я думаю будет не меньше. Приглашаю анонимов лора развиртуалица на beer event (https://fosdem.org/2015/beerevent/)

2. Кроме того, пользуясь случаем приглашаю посетить microkernel DevRoom, в этом году у нас будет очень интересные доклады (https://fosdem.org/2015/schedule/track/microkernels/)

Продолжаю поиск уникальных людей. Очень нужен верификатор - поднимаем наши разработки на качественно новый уровень. Понятно что на лоре искать таких людей бессмысленно, но вдруг повезет.

Обязанности:

• Построение моделей программ,
• Формальная верификация кода, протоколов, интерфейсов,
• Доказательство корректности реализации.

Требования:

• Владение различными методами и инструментами верификации, в частности Isabelle/HOL
• Опыт верификации ПО, например драйверов, протоколов
• Навыки программирования на функциональных и/или процедурных языках
• Научные публикации в реферируемых журналах

Условия:

• Официальная заработная плата (после вычета налогов) – от 90 000, определяется по результатам собеседования;
• Индексация заработной платы;
• 13-ая зарплата" по итогам работы за год;
• Опытный коллектив, широкие возможности профессионального роста;
• Возможность повышения квалификации на различных курсах;
• Возможность посещения тематических конференций в России и за рубежом;
• Добровольное медицинское страхование (санчасть в 5 мин. пешком от работы);
• Членство в спортивном клубе в 10 мин. пешком от работы;
• Соблюдение ТК;
• Офис в районе м. Марьина Роща

ВНИМАНИЕ! Вместе с откликом присылайте, пожалуйста, примеры верифицированного вами кода/моделей. Для связи - sartakov@ksyslabs.org Рассматриваются кандидаты только с релевантным опытом. Студенты - можем рассмотреть, но хотелось бы профессионала. Удаленка точно нет.

Добрый день.

Нам (http://ksyslabs.ru) нужен уникальный человек. Я бы даже сказал редкий. Нам нужен аналитик ИБ, основной задачей которого будет развитие и поддержка базы сигнатур для snort. Нужно будет перелапатить имеющиеся открытые базы, проанализировать актуальность сигнатур, собрать определенный набор сигнатур, регулярно поддерживать и развивать их, черпая данные из открытых источников. В свободное от этой деятельности время нужно будет описывать модели сетей для специализированных IDS (это не сложно, научим).

Человек нам нужен грамотный, имевший опыт парсинга CVE и работы с паттернами. Денег - предлагайте, пока что профессионального аналитика мы не встречали. для связи - sartakov@ksyslabs.org

Офис - марьина роща, хотим фултайм, но можем взять студента (откуда правда у него опыт работы с CVE?), к удаленке пока не готовы (но кто знает, пишите).

Компания ksys labs является Open Source резидентом Сколково и специализируется на экспериментальных разработках в разных направлениях Computer Science. В течении нескольких лет мы активно участвовали в разработках экспериментальных микроядерных систем и в настоящее время в связи с расширением научной специализации ищем в команду человека на позицию Junior Researcher.

Обязанности:

• изучение публикаций по тематике bio-insiperd networking;
• подготовка отчетов и докладов по актуальным направлениям исследований (на русском и английском языках);
• участие в исследовательских и экспериментальных проектах направления bio-inspired networking.

Требования к кандидату:

• cтудент старших курсов, магистр/аспирант первого года;
• английский язык - upper intermediate;
• желание строить свой карьерный путь в Computer Science;
• опыт работы с встраиваемыми системами, понимание работы аппаратно-программных комплексов, организацию ОС, прикладных программ, минимальное владение инструментами сборки и отладки программ во встраиваемых системах;
• хорошее понимание сетевых технологий, архитектур, идеологий, подходов и тд.

Формат работы подразумевает глубокое погружение в научно-исследовательскую деятельность, проводимую зарубежными исследовательскими группами. С практической точки зрения эта работа посвящена двум аспектам: апробированию научных разработок в экспериментальных сетевых комплексах и исследовательской работе в интересующих организацию направлениях.

Условия:

• официальная заработная плата (после вычета налогов) – от 50 000 (full-time), определяется по результатам собеседования;
• индексация заработной платы;
• «13-ая зарплата» по итогам работы за год;
• возможность посещения тематических конференций в России и за рубежом;
• добровольное медицинское страхование;
• членство в спортивном клубе в 10 мин. пешком от работы;
• соблюдение ТК;
• офис в районе м. Марьина Роща.

Вступительное испытание:

• В качестве вступительного испытания необходимо прочитать, понять и обсудить на собеседовании статью [1].

Резюме принимаются на почту sartakov@ksyslabs.org.

1. http://futurecomm.tssg.org/public/publications/2009_AINA_Balasubramaniam_et_a...

Всем привет.

Если бы вы надумали писать инсталятор для какой-нибудь ОС, на чем бы вы решили бы это делать?

Что бы вы выбрали? Графический, текстовый? веб интерфейс?

Компания ksys labs при поддержке Genode Labs и сообщества разработчиков и исследователей микроядерных систем организует Летнюю Школу Системного Программирования (SSS'13). В рамках Школы вы сможете познакомиться с актуальными научными проектами в области системного программирования, виртуализации и надежности.

Участие в Школе бесплатное, но количество участников ограничено. Лекции будут проводиться на английском и русском языках. По итогам Летней школы предусмотрена стажировка с дальнейшим трудоустройством.

Направления летней школы

• Микроядерные ОС и их безопасность
• Виртуализация
• Надежность

Лекторы

• Bjoern Doebel, PhD Student in Operating Systems at TU Dresden, Germany.
• Sartakov Vasily, ksys labs, Russia.
• Dr.-Ing. Norman Feske, Genode Labs, Germany.
• Udo Steinberg, Research Scientist at Intel, Germany.

Ключевые Даты

01 Июня Начало приема заявок
15 Июля Окончание приема заявок
25 Июля Публикация результатов отбора
5-6 Августа Летняя Школа

Отборы

Для того чтобы принять участие в Школе необходимо заполнить анкету и выполнить практическое задание. Практическое задание представляет собой несколько задач с прошлой Летней Школы, позволяющее продемонстрировать знания в области операционных систем и навыки программирования.

>>> Подробности

В небольшую организацию (ksys labs, http://ksyslabs.ru) требуется Android Developer

Обязанности:

• Разработка и портирование сервисов на платформe Android
• Кастомизация Android

Требования:

• ООП, Паттерны, Java
• Опубликованные приложения в GooglePlay
• Android SDK, системы контроля версий
• Владение C/C++ и других языков - большой плюс.

Условия работы:

• Офис в районе метро Марьина Роща
• ДМС, фитнесс
• Ежегодная индексация.
• Гибкий график работы, возможность совмещения с учебой (присутствие в офисе не полную рабочую неделю).
• Зп 90-120 по итогам собеседования

Резюме читаю на почте sartakov@ksyslabs.org и job@ksyslabs.org. Вопросы тут и в личку.

В небольшую организацию (ksys labs, http://ksyslabs.ru) требуется универсальный Linux Engineer.

Обязанности:

• Поддержка и развитие Linux дистрибутива/BSP для PowerPC/ARM/x86 платформ.

Требования:

• C/C++, python
• rpm, rpmbuild,make, gcc, patch, diff, etc
• Опыт работы/разработки Linux kernel
• Навыки администрирования build-серверов, репозиториев с пакетами
• Технический английский
• Умение разбираться в чужом коде

Условия работы:

• Офис в районе метро Марьина Роща
• ДМС, фитнесс
• Ежегодная индексация.
• Гибкий график работы, возможность совмещения с учебой (присутствие в офисе не полную рабочую неделю).
• Зп 90-120 по итогам собеседования
• Форма допуска не нужна и не оформляется

Идеальный кандидат может сделать бэкпорт, развернуть и собрать rpm базу по средствам koji, добавить патчи в пакет и собрать новый rpm.

Резюме читаю на почте sartakov@ksyslabs.org и job@ksyslabs.org

Приветствую.

Меня зовут Василий Сартаков (Sartakov A. Vasily) и я представляю компанию ksys labs (Москва). Мы занимаемся RnD в области информационной безопасности.

Наша специализация - микроядра. Мы участвуем в развитии проектов на микроядре Fiasco.OC (Genode и L4Re), так что нас в первую очередь интересуют системные программисты. Мы с удовольствием возьмем к себе в команду студентов, аспирантов, молодых специалистов, которые хотят развиваться в этой области. Если у вас есть собственный научный проект - приходите/пишите, мы сможем найти взаимовыгодные формы сотрудничества. Требования - знание англйиского языка, владение языками программирования C/C++. Занятость от 20 часов в неделю. Находимся мы в районе метро Марьина Роща

Наши текущие проекты для студентов - портирование разные библиотек в L4Re и Genode, поддержка аппаратной платформы PowerPC, разработка безопасной прошивки для телефона на основе паравиртуализированного L4Linux. Денег платим 30-40 в руки, в зависимости от нагрузки в неделю.

В качестве испытания - нужно посмотреть 2 лекции, которые у нас остались с Летней Школы Системного Программирования (Summer Systems School'12) и выполнить практические задания, которые есть в конце этих лекций. Задачи простые, решения нужно выложить в github и выслать линк на почту job@ksyslabs.org или sartakov@ksyslabs.org

Вот лекции:

http://ksyslabs.ru/index.php?nn=37

http://ksyslabs.ru/index.php?nn=38

В период с 16 июля по 10 августа в Москве мы проводим Летнюю школу системного программирования [1]. В рамках Летней школы все желающие смогут прослушать курсы лекций по архитектуре операционных систем, информационной безопасности и криптографии, а так же принять участие в реальных проектах по разработке операционных систем.

Подробнее:

Основной курс Летней школы – курс Архитектур Операционных систем, и основное его направление - микроядерные операционные системы. В качестве дополнительных курсов будут прочитаны лекции по Криптографии и Информационной безопасности.

Участие в курсе бесплатное, но от участников требуется серьезный уровень владения языком программирования C, а так же владение английским языком, достаточным для понимания лекций на слух и чтения документации – часть лекций по микроядерным операционным системам буду удаленно читать аспиранты TU Dresden.

По итогам летней школы, наиболее успешным участникам будет предложено пройти стажировку в Компании с возможностью дальнейшего трудоустройства.

Основные Лекторы:

* Bjoern Doebel, PhD Student in Operating Systems at TU Dresden, Germany

* Sartakov Vasily, ksys labs, Russia

* Dr.-Ing. Norman Feske, Genode Labs, Germany

Расписание:

Летняя школа проходит с 16 июля по 10 Августа. В неделю будет проходить 3-4 лекции и несколько практических занятий. Более точная информация о расписании будет представлена к началу июня, когда будет определен круг участников.

Отбор:

Для участия в летней школе необходимо заполнить анкету [2] и пройти очное собеседование. О дате и времени прохождения собеседования вам будет сообщено по электронной почте.

1. http://ksyslabs.ru/index.php?nn=21

2. https://docs.google.com/a/ksyslabs.org/spreadsheet/viewform?formkey=dDcxblQtZ...

Приветствую.
Мы в компании занимаемся разработками аппаратно-программных комплексов с использованием микроядер, и, как следствие, у нас острая нужда в хороших системных программистах. В виду того что все нормальные люди уже отчалили, а молодое поколение из институтов немного туповато, хочется попробовать понабрать студентов из институтов и почитать им лекции, вкупе с реальной практикой в реальных условиях на реальных задачах.
Собственно вопрос - знаете ли вы, желательно по собственному опыту, куда можно заказать разработку и чтение нескольких курсов по Операционных системам, архитектурам выч. систем, безопасности и криптографии. Курс по микроядрам мы уж так и быть подготовим сами (вместе с немцами), а вот основной курс по ОС готовить самостоятельно не очень хочется. Мы предполагаем, что у студентов все-таки есть какие-то базовые представления, так что эти курсы нужны далеко не начального уровня.

Приветствую. Мы, небольшая, непубличная компания, хотели бы взять к себе пару тройку студентов на вырост. Фронт работы - встраиваемые системы, информационная безопасность, сетевое оборудование через призму микроядра. Хотелось бы видеть в подходящем студенте - понимание архитектур вычислительных систем, представления об операционных системах, желание работать и развиваться в этом направлении. территориально - м. Марьина Роща

Форма сотрудничества, предположительно следующая - собеседуемся, даем задачу, решаем, берем на почасовую оплату. Или что то в этом духе.

Берем первый раз, надеюсь будет все хорошо ) Контактная почта - sartakov.a.v@gmail.com