合同岗位 DH-0133 · 无截止日期

Developer for open-source synthesis or formal verification tools (C++, Rust, Python)其他软件 · 奥地利

费率€6,000/月≈ US$41.55/小时

截止日期—未说明截止日期

A small open-source electronic design automation (EDA) software company seeks a developer for either its logic synthesis or formal verification tooling. The tools are written in C++, Rust and Python; formal verification work involves hardware model checking and related formal-methods techniques.

摘要由 DevHero 根据来源撰写；以官方公告或原帖为准。

合同岗位：客户按注明的费率，在一段时间内聘用个人或团队。月度或年度金额会折算为等效时薪，以便比较。

解锁客户与来源咨询此项目

这是您的项目或公告吗？我们会应要求更正或移除。联系我们

项目详情

类别: 合同岗位
类型: 其他软件
费率: €6,000/月 (≈ US$41.55/小时)
提及的技术: C++, Rust, Python
技术栈: 其他软件
行业: 科技
国家: 奥地利
发布日期: 2026年9月22日
截止日期: 未说明截止日期
来源平台: Himalayas
核实日期: 于 2026年11月13日从官方开放数据源读取
来源语言: 英语
状态: 无截止日期

客户、来源链接与参考编号

客户: ████████████
官方来源: ████████████████
参考编号: ██████
来源引文: ██████████

每个项目只扣一次积分；解锁的详情会一直保留在您的账户中。

更多其他软件项目

ID	项目	预算	费率	技术	截止日期	状态
DH-0500	Creation of a mobile data terminal for an urban emergency rescue service公开招标其他软件 · 奥地利	—	—	其他软件	2026年11月16日	7 天内截止
DH-1063	Integration, deployment, operation and evolution of IoT and IoMT projects for member organisations公开招标其他软件 · Lyon, 法国	€1.0亿≈ US$1.1亿	—	其他软件	2026年12月21日	开放中
DH-0453	Design, development and deployment of a multi-component security monitoring system for EU space programmes公开招标其他软件 · Prague, 捷克	€4500.0万≈ US$4986.5万	—	其他软件	2026年12月8日	开放中
DH-0403	Modernisation of an existing information system for a Spanish public buyer公开招标其他软件 · Madrid, 西班牙	€601.9万≈ US$667.0万	—	其他软件	2026年11月13日	7 天内截止
DH-0379	Modernisation of an existing public-sector system (36-month contract)公开招标其他软件 · Madrid, 西班牙	€451.4万≈ US$500.2万	—	其他软件	2026年11月13日	7 天内截止
DH-1050	Framework for design, build, commissioning and maintenance of an electrical SCADA system for airports公开招标其他软件 · Segrate (Milano), 意大利	€315.6万≈ US$349.7万	—	其他软件	2026年12月21日	开放中
DH-0113	Digital solution for centrally controlling physical practice environments used in technical training公开招标其他软件 · Arnhem, 荷兰	€304.0万≈ US$336.9万	—	其他软件	2026年11月18日	7 天内截止
DH-0543	Central parking control system for truck convoy parking at motorway rest areas公开招标其他软件 · Berlin, 德国	€300.0万≈ US$332.4万	—	其他软件	—	计划中
DH-1031	Professional services and on-call management to re-engineer a technical monitoring platform公开招标其他软件 · Roma, 意大利	€287.8万≈ US$318.9万	—	其他软件	2026年11月20日	7 天内截止
DH-1033	Build of a space situational picture system with satellite catalogue and astrodynamics software公开招标其他软件 · Tampere, 芬兰	€250.0万≈ US$277.0万	—	其他软件	2026年12月11日	开放中

其他软件 →

更多使用 C++, Rust, Python 的项目

ID	项目	预算	费率	技术	截止日期	状态
DH-0508	Framework for modernising, rebuilding, maintaining and extending environmental specialist applications公开招标业务系统 · Karlsruhe, 德国	€794.2万≈ US$880.1万	—	Python	2026年11月17日	7 天内截止
DH-0103	Senior data engineer (1099 contract) for a US healthcare data company合同岗位数据与 AI · 美国	—	US$80–US$90/小时	Python, SQL, dbt	—	无截止日期
DH-0192	Contract engineer for maintenance of a web browser's layout engine (C++)合同岗位维护与持续开发 · 加拿大	—	CA$185,045–CA$217,700/年≈ US$62.44–US$73.45/小时	C++, Rust	—	无截止日期
DH-0206	Contract AI engineers to build AI agents and business software for SME clients合同岗位开发人力 · 英国	—	£30–£50/小时≈ US$39.77–US$66.28/小时	TypeScript, JavaScript, Python	—	无截止日期
DH-0193	Contract engineer for maintenance of a web browser's graphics code (C++, Rust, WebGL)合同岗位维护与持续开发 · 加拿大	—	CA$131,400–CA$186,172/年≈ US$44.34–US$62.82/小时	C++, Rust, WebGL	—	无截止日期
DH-0190	Senior full-stack engineer (React/Next.js, Python, GraphQL) for a cyber insurance technology team合同岗位平台与 SaaS · 未说明地点	—	US$6,000–US$9,000/月≈ US$37.50–US$56.25/小时	React, Next.js, Python	—	无截止日期
DH-0688	Developer for RAG infrastructure over a large legal-document corpus (Python, FastAPI, Weaviate)合同岗位数据与 AI · 巴西	—	€6,600/月≈ US$45.71/小时	Python, FastAPI, Weaviate	—	无截止日期
DH-0832	Full-stack developer (Python/Django/FastAPI and React) for client web applications合同岗位网页应用 · 波兰	—	PLN 22,000–PLN 28,000/月≈ US$34.56–US$43.98/小时	React, TypeScript, Python	—	无截止日期
DH-0292	Senior full-stack engineer for RPA agent pipelines and data-rich interfaces in a SaaS platform合同岗位平台与 SaaS · 远程	—	US$2,500–US$7,000/月≈ US$15.62–US$43.75/小时	Node.js, Python, React	—	无截止日期
DH-0189	Six-month contract full-stack software engineer (React, Python/Ruby/Node, SQL)合同岗位开发人力 · 美国	—	US$90,000/年≈ US$43.27/小时	React, Python, Ruby	—	无截止日期

三步找到您的下一个项目。

无需订阅。只为您打开的详情付费。

第 1 步

按金额筛选

设置最低预算或时薪，选择您的技术栈和地区。地球仪和清单会随之实时更新。

第 2 步

解锁详情

使用积分即可查看客户、官方公告或原帖的链接、参考编号以及关键引文。

第 3 步

在截止前投标

在原平台上提交您的报价。有新项目匹配时，提醒会通知您。

你的对手此刻正在投标。你呢？

打开地球仪，设定最低预算，拿下值得拿的项目。

打开项目地球仪获取每周项目提醒通过 WhatsApp 咨询