После одного проекта с роботами я "заболел" 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>Зато они с удовольствием оутсорсят "своим" то, что их мальчики сами не осилили. И при этом уже вполне нормальные деньги платят.
Тоже верно. Но там абсолютно везде петров и боширов, поэтому прицелы для снайперок немецкие, авионика в самолетах — американская
опа опа мы воюем с нато
любит хавать этот кал
путинская вата