После одного проекта с роботами я "заболел" embedded systems. А именно, той частью, где нужно обеспечить надёжность, предсказуемость, отказоустройчивость: формальное доказательство, статический анализ, алгоритмы без использования динамической памяти, и т.д. Стал копать по теме, прочитал про Coq, Idris, Ada/Spark, влюбился. Но вот вопрос: стоит ли развиваться в этом плане профессионально, если привык к определённой планке по доходу и условиям? Или лучше оставить это для воскресного хобби? Такой вопрос возник, потому что, выполнив поверхностный обзор вакансий в России и США, я немного приуныл. В США требуется clearance и гражданство, часть вакансий в Альбукерке. В России совсем мало вакансий и от них попахивает нафталином и зп в 30 000. Остаются только всякие стартапчики по теме дронов и self-driving, но там нужно проходить собеседование, чтобы понять технологический стек. Например, пол года назад я собеседовался в Cruise, и собеседующие рассказывали, что критически важный код у них прошёл формальную верификацию, но в детали не вдавались. Ну и вообще, в моём понимании стартапы и сверхнадёжность расположены на разных полюсах.
Есть какой-нибудь опыт у вас? Может быть в таких местах романтика проходит за один день?
Здравствуйте, cppguard, Вы писали:
C>После одного проекта с роботами я "заболел" embedded systems. А именно, той частью, где нужно обеспечить надёжность, предсказуемость, отказоустройчивость: формальное доказательство, статический анализ, алгоритмы без использования динамической памяти, и т.д. Стал копать по теме, прочитал про Coq, Idris, Ada/Spark, влюбился. Но вот вопрос: стоит ли развиваться в этом плане профессионально, если привык к определённой планке по доходу и условиям?
Формальное доказательство, надежность, предсказуемость, дублирование систем и арктический температурный диапазон — это военка и aerospace. Во всех прочих случаях, ну зависнет стиральная машина при наливе воды, ну хозяйка трапочкой подотрет.
В иностранную военку тебя без иностранного гражданства не возьмут. А то вдруг ты шпиён вражеский. В нашу я не знаю, как попадают, да и надо ли оно тебе?
Здравствуйте, cppguard, Вы писали:
C>В России совсем мало вакансий и от них попахивает нафталином и зп в 30 000.
Про Россию вот этот самый ответ и есть. Более того, клиенты в этом секторе одни бомжи. До разработчиков деньги в любом случае не доходят. Будет или бедный клиент экономящий каждую копейку. Или куча посредников, и самый последний в цепочке предложит смехотворную цену.
Когда денег будет до кучи, сразу выберут иностранную разработку. Возможно если бы речь шла не о заказной разработке, а о коробочном продукте, когда клиент или покупает, или уходит к конкурентам, которые демпингуют по чёрному, тогда ещё можно было бы как-то выжить. Ну, а так зачем работать за копейки.
Здравствуйте, cppguard, Вы писали:
C>После одного проекта с роботами я "заболел" embedded systems. А именно, той частью, где нужно обеспечить надёжность, предсказуемость, отказоустройчивость: формальное доказательство, статический анализ, алгоритмы без использования динамической памяти, и т.д. Стал копать по теме, прочитал про Coq, Idris, Ada/Spark, влюбился. Но вот вопрос: стоит ли развиваться в этом плане профессионально, если привык к определённой планке по доходу и условиям? Или лучше оставить это для воскресного хобби? Такой вопрос возник, потому что, выполнив поверхностный обзор вакансий в России и США, я немного приуныл. В США требуется clearance и гражданство, часть вакансий в Альбукерке. В России совсем мало вакансий и от них попахивает нафталином и зп в 30 000. Остаются только всякие стартапчики по теме дронов и self-driving, но там нужно проходить собеседование, чтобы понять технологический стек. Например, пол года назад я собеседовался в Cruise, и собеседующие рассказывали, что критически важный код у них прошёл формальную верификацию, но в детали не вдавались. Ну и вообще, в моём понимании стартапы и сверхнадёжность расположены на разных полюсах.
C>Есть какой-нибудь опыт у вас? Может быть в таких местах романтика проходит за один день?
Здравствуйте, UVV, Вы писали:
UVV>Здравствуйте, AmSpb, Вы писали:
AS>>А вообще в embedded много денег не дают, только если ты не создаешь сам какое-то уникальное железо
UVV>В РФ не дают, факт.
Зарубежом тоже не дают высоких ЗП, какой-нить Java developer в Enterprise будет больше на старте получать, нежели эмбеддщик
Здравствуйте, sr_dev, Вы писали:
_>попадают по объявлению на hh, как и везде. почему нет-то? ищите например концерн калашников, концерн созвездие.
ага, а потом из тебя сделают крайнего и пойдешь по этапу на лесоповальную зону.
Нехрен с гос-конторами связываться, деньги нищенские платят, допуски, скотское отношение.
Здравствуйте, AmSpb, Вы писали:
AS>Зарубежом тоже не дают высоких ЗП, какой-нить Java developer в Enterprise будет больше на старте получать, нежели эмбеддщик
Я не вижу большой разницы зарплат, по крайней мере в Германии.
Здравствуйте, sr_dev, Вы писали:
Pzz>> В нашу я не знаю, как попадают, да и надо ли оно тебе?
_>попадают по объявлению на hh, как и везде. почему нет-то? ищите например концерн калашников, концерн созвездие.
Я полагаю, что в оборонке платят мало и режим работы не по-программистски строгий. Но зато чувства уверенности в завтрашнем дне хоть отбавляй. В общем, работа не любителя.
Здравствуйте, Pzz, Вы писали:
Pzz>Я полагаю, что в оборонке платят мало и режим работы не по-программистски строгий. Но зато чувства уверенности в завтрашнем дне хоть отбавляй. В общем, работа не любителя.
Здравствуйте, Pzz, Вы писали:
Pzz>Здравствуйте, sr_dev, Вы писали:
Pzz>>> В нашу я не знаю, как попадают, да и надо ли оно тебе?
_>>попадают по объявлению на hh, как и везде. почему нет-то? ищите например концерн калашников, концерн созвездие.
Pzz>Я полагаю, что в оборонке платят мало и режим работы не по-программистски строгий. Но зато чувства уверенности в завтрашнем дне хоть отбавляй. В общем, работа не любителя.
Всё как вы и сказали, но только без чувства уверенности. Вполне в их обычаях в договоре указывать мрот, а остальное премия, хоть и белая.
опа опа мы воюем с нато
любит хавать этот кал
путинская вата
Здравствуйте, sr_dev, Вы писали:
Pzz>>Я полагаю, что в оборонке платят мало и режим работы не по-программистски строгий. Но зато чувства уверенности в завтрашнем дне хоть отбавляй. В общем, работа не любителя.
_>Всё как вы и сказали, но только без чувства уверенности. Вполне в их обычаях в договоре указывать мрот, а остальное премия, хоть и белая.
Зато они с удовольствием оутсорсят "своим" то, что их мальчики сами не осилили. И при этом уже вполне нормальные деньги платят.
Здравствуйте, Pzz, Вы писали:
Pzz>Зато они с удовольствием оутсорсят "своим" то, что их мальчики сами не осилили. И при этом уже вполне нормальные деньги платят.
Тоже верно. Но там абсолютно везде петров и боширов, поэтому прицелы для снайперок немецкие, авионика в самолетах — американская
опа опа мы воюем с нато
любит хавать этот кал
путинская вата
Здравствуйте, cppguard, Вы писали:
C>Есть какой-нибудь опыт у вас?
IEC 60880 для атомных станций, DO-178B для авионики, ISO 20262 для самобеглых повозок. C> Может быть в таких местах романтика проходит за один день?
В словосочетании "формальная верификация" интонационно выделяется именно первое слово, к сожалению. Короче, унылое гэ и постоянные попытки натянуть сову на глобус. И денег не платят. А уж профессиональная деформация какая суровая на выходе — постоянно фокусируешься на 1% худших случаев.
Здравствуйте, UVV, Вы писали:
AS>>Зарубежом тоже не дают высоких ЗП, какой-нить Java developer в Enterprise будет больше на старте получать, нежели эмбеддщик
UVV>Я не вижу большой разницы зарплат, по крайней мере в Германии.
В Австрии (где сейчас живу) нафталином и зарплатой в (условных) 30.000 от эмбеда IMHO пахнет так же как и в России.
Но если смотреть ближе к пенсии например (деньги особо и не важны, а дерзать все еще хочется), то вроде бы отличный вариант.
Я года два назад ходил беседовать в конторы, занимающимися умным домом (замки и ворота) и дополненной реальностью (шлемы).
Думаю пока что пока не готов и на кошечках (жаваскрипте) больше заработаю, чем там предлагают.
Но может быть в США или где-то еще всё по-другому.
Здравствуйте, El Camino Real, Вы писали:
C>>Есть какой-нибудь опыт у вас? ECR>IEC 60880 для атомных станций, DO-178B для авионики, ISO 20262 для самобеглых повозок. C>> Может быть в таких местах романтика проходит за один день? ECR>В словосочетании "формальная верификация" интонационно выделяется именно первое слово, к сожалению. Короче, унылое гэ и постоянные попытки натянуть сову на глобус. И денег не платят. А уж профессиональная деформация какая суровая на выходе — постоянно фокусируешься на 1% худших случаев.
Отлично! Видимо в работали как раз там, где я мечтал. Особенно — самоходные повозки. Что касается 1% худших случаев, то у меня эта функция шла встроенной с рождения, поэтому сразу после ВУЗа было тяжело работать над проектами, где сломанный код это постоянная норма. Но вот вопрос: вы считаете данные проекты УГ, но при этом всё работали, и в одном. Почему?