YosysHQ
YosysHQ
1 – 10 कर्मचारी
हार्डवेयर
YosysHQ हार्डवेयर इंजीनियरिंग के लिए Yosys और उससे जुड़े ओपन-सोर्स इलेक्ट्रॉनिक डिज़ाइन ऑटोमेशन (EDA) प्रोजेक्ट विकसित करती है। कंपनी ओपन-सोर्स टूलिंग को वाणिज्यिक उत्पादों और सेवाओं के साथ जोड़ती है, जो इलेक्ट्रॉनिक्स टीमों को डिजिटल हार्डवेयर डिज़ाइन के कार्यप्रवाह बेहतर बनाने में मदद करते हैं। इसलिए यह हार्डवेयर विकास और EDA के विभिन्न क्षेत्रों में काम करने वाले पेशेवरों के लिए प्रासंगिक है।

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.

विवरण

  • 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

संबंधित नौकरियाँ

Powered by Search

Senior Performance Marketing Strategist

Powered by Search
11 – 50 कर्मचारी
B2BSaaSविपणन

Lead paid media strategy across Google, LinkedIn, Meta, and Microsoft for growing B2B companies. Connect campaign investment to pipeline and revenue through strategic client leadership.

खोलें
MÜNZING CHEMIE GmbH

Sales Manager, Mid-Atlantic Specialty Chemicals

MÜNZING CHEMIE GmbH

Lead technical sales of specialty chemical additives across the Mid-Atlantic, serving customers in coatings, adhesives, inks, and construction. Manage existing accounts while developing new business through customer visits and project-based selling.

खोलें
MÜNZING CHEMIE GmbH

Midwest Specialty Chemicals Sales Manager

MÜNZING CHEMIE GmbH

Lead technical sales of specialty chemical additives for industrial fluids across the Midwest. Manage customer and distributor relationships while developing $1–2 million in business potential over one to three years.

खोलें
MÜNZING

Sales Manager, Midwest Industrial Fluids

MÜNZING

Sell specialty chemical additives for industrial fluids and automotive applications while managing Midwest customers, distributors, territory growth, and technical sales projects.

खोलें
MÜNZING

MÜNZING Mid-Atlantic Sales Manager, Specialty Chemicals

MÜNZING

Lead territory sales for MÜNZING’s specialty chemical additives across the Mid-Atlantic, using technical project selling to develop customer relationships and close business. Manage a $3–5 million territory and build $1–2 million in near-term business potential across coatings, adhesives, inks, and construction markets.

खोलें
ERM

Asbestos Specialist Consultant

ERM

Support ERM’s sustainability consulting work through asbestos sampling, site safety, and compliance. Manage asbestos projects at industrial and construction sites across Southern California.

खोलें
IKA

Benelux Account Executive – Laboratory Instruments

IKA
11 – 50 कर्मचारी

Grow IKA’s customer base for laboratory and analytical instruments across the Benelux region. The role combines consultative sales, product demonstrations, and customer relationship management.

खोलें
Asteria Group

Sales Manager – Labels

Asteria Group

Lead customer acquisition and account management for innovative label manufacturing at ERO-ETIKETT, supporting international sales through prospecting, customer care and sales analysis.

खोलें
Proofpoint

Mid-Market Named Account Manager, Cybersecurity — Proofpoint

Proofpoint

Sell Proofpoint’s cybersecurity platform to mid-market accounts in Washington or Oregon. The role covers account management, partner sales, prospecting, and complex multi-year solutions.

खोलें
AKA FOODS

Account Executive, B2B SaaS Sales

AKA FOODS

Own end-to-end B2B SaaS sales for AKA Foods’ sustainable Food AI platform, from prospecting through close. Develop enterprise opportunities and win complex deals across the global food industry.

खोलें