YosysHQ 合成或形式验证开发工程师
Synthesis or Formal Verification Developer at YosysHQ
你可能通过我们众多的开源EDA项目了解过YosysHQ。我们是Yosys及其配套开源EDA生态系统的维护者。我们的团队正在以有趣且出人意料的方式推动EDA技术的边界，并为专业人士、爱好者和学术研究者提供这些工具和方法学。
我们提供现成的软件包，可无缝集成到行业设计环境中，并为我们的软件包用户提供支持和培训。我们还提供基于我们软件组件的单个功能或完整流程的定制开发，并为基于我们开源工作的定制项目开发者提供支持和培训。
我们大约有12人，主要关注两个方向：综合与形式验证。如果你能为其中任何一个领域做出贡献，我们欢迎你的申请。
职责
在形式验证领域：
- 我们的工具使用C++、Rust和Python。你应该已经熟悉C++或Rust，并愿意学习其他语言。
- 理想情况下，你应了解硬件模型检测的实现方面。
- 或者，如果你在验证或形式方法的一般领域（如SAT/SMT求解、自动/交互定理证明、编程语言理论或自动机理论）有背景，并且对RTL硬件设计有一定程度的接触，我们认为你也能成功。
在综合领域：
- 你应该熟悉C++。
- 你应该有一定的RTL硬件设计经验（最好是ASIC）。
- 以下任何经验都可能适用于这份工作：
- 为工程或科学应用构建软件
- 基于科学文献中的算法实现实际应用
- 参与编译器开发
由于我们是一个小型且忙碌的团队，我们用于培训的资源有限。要胜任这个职位，你需要有一些经验来熟悉一个规模较大的现有项目。你需要能够独立承担任务，自主解决问题，并在不需要大量监督的情况下应对挑战。
要求
重要说明
这是一个灵活的远程职位，可能是兼职（每周1-5天）。
你将作为独立承包商/自由职业者为一家奥地利公司工作，无论你在何处。我们的团队会议通常在维也纳时间下午3点至6点之间进行（CET/CEST）。
查看英文原文
You might know YosysHQ from our many Open Source EDA Projects. We are the maintainers of Yosys and the accompanying Open Source EDA ecosystem. Our team is pushing the boundaries of EDA in interesting and unexpected ways, and making these tools and methodologies available for professionals, hobbyists and academics alike.
We offer off-the-shelf software packages that seamlessly integrate our tools in industry design environments and provide support and training for users of our software packages. We also offer custom development of individual features and entire flows based on our software components, and support and training for developers working on custom projects based on our Open Source work.
We are around 12 people, with two main focus areas: synthesis and formal verification. If you can contribute to either of these areas, we welcome your application.
Tasks
For the formal verification area:
- Our tools use C++, Rust, and Python. You should already be comfortable with either C++ or Rust, and willing to learn the others.
- Ideally, you would be familiar with the implementation side of hardware model checking.
- Alternatively, we think you would be able to succeed if you have a background in the general area of verification or formal methods (such as SAT/SMT solving, automated/interactive theorem proving, programming language theory or automata theory), and have had a little bit of contact with RTL hardware design.
For the synthesis area:
- You should be comfortable with C++.
- You should have some experience with RTL hardware design (ideally for ASIC).
- Any of the following experiences would likely transfer to this job:
- Building software for engineering or science applications
- Implementing a practical application based on an algorithm in the scientific literature
- Working on a compiler
As we are a small and busy team, we have limited resources for training. To succeed in this role you will need to have some experience in getting familiar with a large-ish pre-existing project. You’ll need to be comfortable taking responsibility for assigned tasks, working through them independently, and addressing challenges without needing extensive supervision.
Requirements
Important Notes
This is a flexible remote role which could be part time (1-5 days per week).
You would be working as an independent contractor/freelancer for an Austrian company, from wherever you are. Our team meetings usually take place between 3pm and 6pm Vienna time (CET/CEST), otherwise you can choose to work whenever you want.
YosysHQ has a flat pay hierarchy, where everyone earns the same rate: currently 6000€/month for full time contract work. As such, the only parameter that can be negotiated is the days per week.
As YosysHQ works with US government contractors, you must not be living in a country subject to sanctions or export restrictions, or banned from performing work for the US government for other reasons.
How to Apply:
Even if your background doesn’t perfectly align with these areas, we’re always interested in hearing from passionate and skilled individuals. If you’re intrigued by the work we do, please send us your CV and a brief cover letter detailing how your past experience translates to the work we do.
We’re especially excited to hear from candidates who have interacted with or contributed to our open-source tools—though this is not a requirement. Show us your potential, and let’s explore how you can make an impact!
Originally posted on Himalayas