LogoFresh Jobs Ahead
YosysHQ
YosysHQ
1 – 10 Қызметкерлер
Аппараттық құрал
YosysHQ аппараттық инженерияға арналған Yosys және оған қатысты ашық бастапқы коды бар электрондық жобалау автоматтандыруы (EDA) жобаларын әзірлейді. Компания электроника командаларына цифрлық аппараттық құралдарды жобалау үдерістерін жақсартуға көмектесетін ашық бастапқы құралдарды коммерциялық өнімдер мен қызметтермен ұштастырады. Осыған байланысты ол аппараттық құралдарды әзірлеу және EDA салаларында жұмыс істейтін мамандар үшін маңызды.
LinkedIn
Компаниядағы жұмыс орындары

Synthesis or Formal Verification Developer — YosysHQ, Austria Remote

Join YosysHQ as an open-source EDA developer working on synthesis or formal verification tools. The role involves independent development in C++, Rust, and Python across hardware design and verification projects.

ATАустрия
6 000 € / ай
ҚашықтанКелісімшартОрта деңгейАға маманҚажетті Тіл: ағылшын тіліБағдарламалық жасақтама инженері
C++PythonRust

Сипаттама

  • Support YosysHQ’s synthesis or formal verification work
  • Develop and maintain EDA tools in C++, Rust, and Python
  • Implement hardware model checking, formal methods, RTL/ASIC synthesis, or related workflows
  • Create engineering and scientific software, implement algorithms from research literature, or contribute to compiler projects
  • Learn and contribute to a substantial existing open-source codebase
  • Own assigned work and resolve technical challenges independently
  • Advance Yosys and the broader open-source EDA ecosystem
  • Engage with and potentially contribute to YosysHQ’s open-source tooling

Талаптар

  • Proficiency in C++ or Rust for formal verification, with willingness to learn the other languages and Python
  • Familiarity with implementing hardware model checking is preferred
  • Alternatively, experience in verification or formal methods, including SAT/SMT solving, automated or interactive theorem proving, programming language theory, or automata theory
  • Some exposure to RTL hardware design for formal verification
  • Proficiency in C++ for synthesis work
  • Some RTL hardware design experience, ideally involving ASICs
  • Relevant experience may include engineering or scientific software, research-algorithm implementation, or compiler development
  • Experience working your way into a large existing project
  • Ability to own assigned responsibilities and work independently with limited supervision
  • Must not reside in a country subject to sanctions or export restrictions or be prohibited from working for the US government
  • Application requires a CV and brief cover letter

Артықшылықтар

  • Remote work with flexible arrangements
  • Flexible working hours
  • Part-time scheduling from one to five days per week
  • Flat pay structure with the same rate for all team members
  • Work from your chosen location
  • Team meetings generally take place between 3 p.m. and 6 p.m. Vienna time, with flexibility outside that window

Ұқсас жұмыс орындары

My Hero VA

Bilingual Appointment Setter (Remote, Colombia)

My Hero VA
1 – 10 Қызметкерлер
КонсалтингЛогистикаМаркетинг
COКолумбия
800 $ / ай
ҚашықтанТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: ағылшын тіліҚажетті Тіл: испан тіліКездесуді тағайындау маманы

Make outbound calls in English and Spanish to book school visits for a Florida-based barber education business. This remote Colombia role also includes prospect follow-up and daily administrative work.

Ашу
CONVACT - Agentur für Suchmaschinenoptimierung

Remote Sales Representative – SEO and Google Ads

CONVACT - Agentur für Suchmaschinenoptimierung
1 – 10 Қызметкерлер
B2BМаркетинг
DEГерманияҚашықтанТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: неміс тіліСату

Follow up with leads and cold-call prospective clients for Convact’s SEO and Google Ads agency. Book appointments with online shops and e-commerce businesses across the DACH region.

Ашу
My Hero VA

Remote Customer Service Representative in Mexico

My Hero VA
1 – 10 Қызметкерлер
КонсалтингЛогистикаМаркетинг
MXМексика
7 $ / сағат
ҚашықтанТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: ағылшын тіліТұтынушыларды қолдау

Provide phone support for a U.S. appliance repair company, handling customer calls, appointments, service requests, and CRM updates.

Ашу
Yudrio, Inc.

Senior Salesforce Technical Architect

Yudrio, Inc.
51 – 200 Қызметкерлер
Денсаулық сақтауҚорғанысЛогистика
USАмерика Құрама ШтаттарыҚашықтанТолық жұмыс күніАға маманЖетекшіҚажетті Тіл: ағылшын тіліSalesforce әзірлеушісі
Бұлт

Lead secure Service Cloud and Experience Cloud architecture for Yudrio’s federal Salesforce implementation. Guide integrations, platform governance, releases, and Agile delivery.

Ашу
EBARA Precision Machinery Europe (EPME)

Field Service Engineer, Semiconductor Equipment

EBARA Precision Machinery Europe (EPME)
201 – 500 Қызметкерлер
КонсалтингЛогистикаӨндіріс
DEГерманияКеңседеТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: неміс тіліҚажетті Тіл: ағылшын тіліДалалық инженер

Install, troubleshoot, and maintain semiconductor equipment for EBARA Precision Machinery Europe, providing on-site customer support across international sites.

Ашу
SPERTON - Where Great People Meet

Smart Home Automation Business Development Executive

SPERTON - Where Great People Meet
51 – 200 Қызметкерлер
INҮндістан
40 000 ₹ / ай
АраласТолық жұмыс күніКіші маманҚажетті Тіл: ағылшын тіліБизнесті дамыту жөніндегі өкіл
IoT

Drive sales of Smartwitz Marketing Solutions’ smart home automation products in Navi Mumbai. Manage client relationships, demonstrations, proposals, and opportunities through installation.

Ашу
Personalberatung Pillong

Senior International Sales Manager, PV Mounting Systems

Personalberatung Pillong
1 – 10 Қызметкерлер
HR технологияларыКонсалтингҚызметкерлерді іріктеу
ҚашықтанТолық жұмыс күніАға маманҚажетті Тіл: неміс тіліҚажетті Тіл: ағылшын тіліКлиенттермен жұмыс жөніндегі менеджерСату

Lead international customer acquisition and key accounts for a global industrial group’s photovoltaic mounting systems. Develop solar project markets and partnerships worldwide.

Ашу
Inkster GmbH

Marketing Manager, Hybrid in Hamburg

Inkster GmbH
1 – 10 Қызметкерлер
Бөлшек саудаСұлулықЭлектрондық коммерция
DEГерманияАраласТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: неміс тіліҚажетті Тіл: ағылшын тіліМаркетинг

Lead campaign creative development, social media content, and performance analysis at Inkster, a European provider of temporary fruit-based tattoos. Test and optimize marketing creatives using campaign insights and market trends.

Ашу
Salonkee

Sales Representative – Salon Software, Braunschweig

Salonkee
51 – 200 Қызметкерлер
SaaSМаркетплейсСұлулық
DEГерманияАраласТолық жұмыс күніОрта деңгейАға маманҚажетті Тіл: неміс тіліҚажетті Тіл: ағылшын тіліСату

Help Salonkee grow its salon software business in Braunschweig through prospecting, product demonstrations and managing sales from first contact to close.

Ашу