YosysHQ
YosysHQ
۱ – ۱۰ کارکنان
سخت‌افزار
YosysHQ برای مهندسی سخت‌افزار، Yosys و پروژه‌های متن‌باز مرتبط با اتوماسیون طراحی الکترونیکی (EDA) را توسعه می‌دهد. این شرکت ابزارهای متن‌باز را با محصولات و خدمات تجاری ترکیب می‌کند تا به تیم‌های الکترونیک در بهبود گردش‌کار طراحی سخت‌افزار دیجیتال کمک کند؛ بنابراین برای متخصصانی که در حوزه‌های مختلف توسعه سخت‌افزار و EDA فعالیت می‌کنند، مرتبط است.

توسعه‌دهنده سنتز یا راستی‌آزمایی صوری — YosysHQ، دورکاری در اتریش

به‌عنوان توسعه‌دهنده EDA متن‌باز در YosysHQ روی ابزارهای سنتز یا راستی‌آزمایی صوری کار کنید. این نقش شامل توسعه مستقل با C++، Rust و Python در پروژه‌های طراحی و راستی‌آزمایی سخت‌افزار است.

توضیحات

  • از فعالیت‌های YosysHQ در زمینه سنتز یا راستی‌آزمایی صوری پشتیبانی کنید
  • ابزارهای EDA را با C++، Rust و Python توسعه دهید و نگهداری کنید
  • کنترل مدل سخت‌افزار، روش‌های صوری، سنتز RTL/ASIC یا جریان‌های کاری مرتبط را پیاده‌سازی کنید
  • نرم‌افزارهای مهندسی و علمی ایجاد کنید، الگوریتم‌های پژوهشی را پیاده‌سازی کنید یا در پروژه‌های کامپایلر مشارکت داشته باشید
  • یک کدبیس متن‌باز موجود و قابل‌توجه را یاد بگیرید و در آن مشارکت کنید
  • مسئولیت کارهای محول‌شده را بر عهده بگیرید و چالش‌های فنی را مستقلانه حل کنید
  • Yosys و اکوسیستم گسترده‌تر EDA متن‌باز را پیش ببرید
  • با ابزارهای متن‌باز YosysHQ همکاری کنید و در صورت امکان در آن‌ها مشارکت داشته باشید

شرایط لازم

  • تسلط به C++ یا Rust برای راستی‌آزمایی صوری و آمادگی برای یادگیری زبان دیگر و Python
  • آشنایی با پیاده‌سازی کنترل مدل سخت‌افزار امتیاز محسوب می‌شود
  • یا تجربه در راستی‌آزمایی یا روش‌های صوری، شامل حل SAT/SMT، اثبات قضیه خودکار یا تعاملی، نظریه زبان‌های برنامه‌نویسی یا نظریه اتوماتا
  • آشنایی اولیه با طراحی سخت‌افزار RTL برای راستی‌آزمایی صوری
  • تسلط به C++ برای فعالیت‌های سنتز
  • تجربه‌ای در طراحی سخت‌افزار RTL، ترجیحاً شامل ASICها
  • تجربه مرتبط می‌تواند شامل نرم‌افزار مهندسی یا علمی، پیاده‌سازی الگوریتم‌های پژوهشی یا توسعه کامپایلر باشد
  • تجربه ورود و مسلط شدن به یک پروژه بزرگ موجود
  • توانایی بر عهده گرفتن مسئولیت‌های محول‌شده و کار مستقل با نظارت محدود
  • نباید در کشوری مشمول تحریم یا محدودیت صادراتی اقامت داشته باشید یا از کار برای دولت ایالات متحده منع شده باشید
  • ارائه CV و نامه پوششی کوتاه برای درخواست الزامی است

مزایا

  • کار از راه دور با ترتیبات کاری انعطاف‌پذیر
  • ساعات کاری انعطاف‌پذیر
  • امکان برنامه کاری پاره‌وقت از یک تا پنج روز در هفته
  • ساختار پرداخت ثابت با نرخ یکسان برای همه اعضای تیم
  • امکان کار از محل انتخابی خود
  • جلسات تیم معمولاً بین ساعت ۳ تا ۶ بعدازظهر به وقت وین برگزار می‌شوند و خارج از این بازه نیز انعطاف وجود دارد

فرصت‌های شغلی مرتبط

Red Hat

معمار رایانش ابری مشاوره، اوپن‌شیفت

Red Hat

راهکارهای Red Hat OpenShift، Kubernetes و رایانش ابری ترکیبی را برای مشتریان سازمانی طراحی و ارائه کنید. هدایت پروژه‌های مشتری‌محور با تمرکز بر زیرساخت، خودکارسازی و ارائهٔ برنامه‌های کاربردی را بر عهده بگیرید.

باز کردن
Kreato Global | BPO and Language Solutions

مترجم دورکار انگلیسی-اسپانیایی OPI/VRI

Kreato Global | BPO and Language Solutions

در حوزه‌های پزشکی، مالی، خدمات اجتماعی و پشتیبانی مشتری، میان انگلیسی‌زبانان و اسپانیایی‌زبانان به‌صورت دورکار ترجمه کنید. برای Kreato Global در سراسر آمریکای لاتین پشتیبانی زبانی ارائه دهید.

باز کردن
Red Hat

مشاور کلاد ردهت اوپن‌شیفت

Red Hat

راهکارهای Red Hat OpenShift، Ceph و Ansible را برای مشتریان سازمانی در اسرائیل پیاده‌سازی کنید. معماری کلاد را در محل مشتریان طراحی کنید و خودکارسازی DevOps را پیش ببرید.

باز کردن
Taurus SA

تکنسین فناوری اطلاعات و متخصص پشتیبانی مشتریان

Taurus SA
۵۱ – ۲۰۰ کارکنان
بانکداریفین‌تککریپتو

از کاربران سازمانی Taurus و مشتریان بیرونی در یک فین‌تکِ تحت نظارت در حوزه دارایی‌های دیجیتال پشتیبانی کنید. مسئولیت زیرساخت Azure، پشتیبانی نقاط پایانی، بررسی تیکت‌ها و حل مشکلات مشتریان را بر عهده بگیرید.

باز کردن
RecruitGo

دستیار اجرایی دورکار، ارتباط‌گیری و بازاریابی — فیلیپین

RecruitGo
۵۱ – ۲۰۰ کارکنان
بازاریابیلجستیکمشاوره

پشتیبانی اداری، CRM، ارتباط‌گیری و بازاریابی RecruitGo را انجام دهید؛ این شرکت با استعدادهای بازارهای نوظهور به مشتریان جهانی خدمات کارفرمای ثبتی ارائه می‌کند. در امور اداری روزمره و کارزارهای خلاقانه دو مشتری مرتبط با بریتانیا همکاری کنید.

باز کردن
Mars

مدیر مشتری مارس، حساب وگمنز، دورکار در ایلینوی

Mars

راهبری راهبرد حساب Accelerator شرکت Mars Snacking برای وگمنز را بر عهده بگیرید. با مدیریت ترکیب محصولات، چیدمان فروشگاهی، قیمت‌گذاری، تبلیغات و پیش‌بینی، رشد خرده‌فروش را پیش ببرید.

باز کردن
Outforce

تحلیلگر کنترل اعتبار و وصول مطالبات

Outforce

مطالبات، وصولی‌ها و گزارش جریان نقدی یک کسب‌وکار کالاهای تندمصرف را مدیریت کنید. برای ارزیابی حساب مشتریان و ریسک اعتباری از SAP، Vend و Excel استفاده کنید.

باز کردن
SPERTON - Where Great People Meet

مدیر فروش، آسانسورها و سامانه‌های پارکینگ خودرو

SPERTON - Where Great People Meet
۵۱ – ۲۰۰ کارکنان

فروش آسانسورها و سامانه‌های پارکینگ خودرو را در منطقه غربی بمبئی پیش ببرید. با مشتریان و نمایندگی‌ها رابطه بسازید و معاملات را از نخستین درخواست تا اجرای پروژه مدیریت کنید.

باز کردن
Salonkee

نماینده فروش، نرم‌افزار سالن زیبایی — گوتینگن

Salonkee
۵۱ – ۲۰۰ کارکنان
SaaSبازارگاهزیبایی

با جذب مشتریان بالقوه در منطقه، معرفی محصول و مدیریت کامل فرایند فروش، کسب‌وکار نرم‌افزار سالن زیبایی Salonkee را در گوتینگن گسترش دهید. با صاحبان سالن‌ها رابطه بسازید و از نخستین تماس تا نهایی‌شدن قرارداد راهنمایی‌شان کنید.

باز کردن
Salonkee

نماینده فروش ترکیبی، لینداو

Salonkee
۵۱ – ۲۰۰ کارکنان
SaaSبازارگاهزیبایی

با برقراری ارتباط، معرفی محصول و مدیریت کامل فرایند فروش، کسب‌وکار نرم‌افزار سالن Salonkee را در لینداو و فریدریشسهافن گسترش دهید. با صاحبان سالن‌های محلی رابطه بسازید و هر فرصت فروش را تا نهایی‌شدن قرارداد پیگیری کنید.

باز کردن