LogoFresh Jobs Ahead
YosysHQ
YosysHQ
1 – 10 Xodimlar
Apparat ta’minoti
YosysHQ apparat muhandisligi uchun Yosys va unga aloqador ochiq manbali elektron loyihalashni avtomatlashtirish (EDA) loyihalarini ishlab chiqadi. Kompaniya elektronika jamoalariga raqamli apparatlarni loyihalash jarayonlarini yaxshilashga yordam beradigan ochiq manbali vositalarni tijoriy mahsulotlar va xizmatlar bilan birlashtiradi. Shu jihatdan u apparat ishlab chiqish va EDA sohalarida faoliyat yuritadigan mutaxassislar uchun muhimdir.
LinkedIn
Kompaniyadagi ish o‘rinlari

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.

ATAvstriya
6 000 € / oy
MasofaviyShartnomaO‘rta darajaSeniorTalab Qilinadigan Til: inglizchaDasturiy ta’minot muhandisi
C++PythonRust

Tavsif

  • 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

Talablar

  • 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

Imtiyozlar

  • 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

O‘xshash ish o‘rinlari

Kreato Global | BPO and Language Solutions

Remote English-Spanish OPI/VRI Interpreter

Kreato Global | BPO and Language Solutions
201 – 500 Xodimlar
LogistikaMehmondo‘stlikSog‘liqni saqlash
ARArgentinaBOBoliviyaBRBraziliyaCLChiliCOKolumbiyaCRKosta-RikaCUKubaDODominikan RespublikasiECEkvadorGTGvatemalaHNGondurasHTGaitiMXMeksikaNINikaraguaPAPanamaPEPeruPRPuerto-RikoPYParagvaySVSalvadorUYUrugvayVEVenesuelaMasofaviyTo‘liq stavkaJuniorDiplom talab qilinmaydiTalab Qilinadigan Til: inglizchaTalab Qilinadigan Til: ispanchaTarjimon

Interpret remotely between English- and Spanish-speaking people in medical, financial, social service, and customer care settings. Provide language support for Kreato Global across Latin America.

Ochish
RecruitGo

Remote Executive Assistant, Outreach and Marketing — Philippines

RecruitGo
51 – 200 Xodimlar
KonsaltingLogistikaMarketing
PHFilippin
45 000 ₱ / oy
MasofaviyTo‘liq stavkaJuniorO‘rta darajaDiplom talab qilinmaydiTalab Qilinadigan Til: inglizchaRahbar yordamchisi

Handle administrative support, CRM, outreach, and marketing for RecruitGo, an Employer of Record serving global clients with talent from emerging markets. Support two UK-facing clients with day-to-day administration and creative campaigns.

Ochish