YosysHQ logo
YosysHQ

YosysHQ is the team behind Yosys and related Open Source EDA projects, offering commercial products and services.

Synthesis or Formal Verification Developer

Location

United States + 1 moreAll locations: United States | Austria

Posted

33 days ago

Salary

€6K / month

Seniority

Mid Level

Job Description

Synthesis or Formal Verification Developer

YosysHQ

Role Description 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. - 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, you may also succeed. - 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 - 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!

Related Job Pages

More Software Engineer Jobs

General Dynamics logo

Programmer Principal

General Dynamics

General Dynamics is a global aerospace and defense company offering products designed to provide safety and security to people around the world. In the past, General Dynamics has p

Title: Programmer Principal Job Description: Responsibilities for this Position Location: Any Location / Remote Full Part/Time: Full time Job Req: RQ218980 Type of Requisition: Regular Clearance Level Must Currently Possess: None Clearance Level Must Be Able to Obtain: None Public Trust/Other Required: None Job Family: Software Engineering Job Qualifications: Skills: Java (Programming Language), JSON, Spring Framework, Structured Query Language (SQL) Development, Web Services Certifications: None Experience: 10 + years of related experience US Citizenship Required: No Job Description: PROGRAMMER PRINCIPAL Transform technology into opportunity as a Programmer Principal at GDIT. Shape what's next for mission-critical government projects while shaping what's next for your engineering career. MEANINGFUL WORK AND PERSONAL IMPACT As a Programmer Principal, the work you'll do at GDIT will be impactful to the mission of the State of North Carolina. You will play a crucial role in delivering Medicaid to the citizens of NC. Lead/Manage/Support the Provider system in NCMMIS. Collaborate with the program team members to help in the modernization from Mainframe to modern technologies in a cloud-based platform. WHAT YOU'LL NEED TO SUCCEED - Bring your engineering expertise along with a drive for innovation to GDIT. The Programmer Principal must have: - Education: Technical Training, Certification(s) or Degree - Experience: 7+ years of related experience Required Qualifications: - Bachelor's degree in computer science, engineering or related field. - 8+ years of hands-on full-stack experience, designing and developing enterprise-level Web Applications, Web Services and APIs using various technologies like Java, J2EE, and XML. - Experience developing Struts, Spring MVC, Spring batch, Angular, Node or any other JS Frameworks, Java-script and JQuery. - Experience developing Web Services and working with XML, JSON, SOAP/REST APIs, JAX-WS. - Experience in managing App/Web servers/Containers like JBOSS, Tomcat, Weblogic or Webspehere. - Experience working with HL7 FHIR, SMART on FHIR and tools like HAPI FHIR. - Experience with cloud native architecture and development in either AWS, GCP or Azure. - Experience working with IDEs (Eclipse or NetBeans or IBM DataStudio or AnypointStudio), source control systems (Subversion or Git preferred), and defect tracking systems. - Experience with Continuous integration tools (e. g. Jenkins,Team City or RTC), Monitoring/alerting tools. - Experience in building advanced automated and integrated acceptance tests using modern techniques and tools (e.g. SoapUI, Selenium). - Experience developing SQL, PL/SQl and Stored Procedures with Oracle or IBM DB2 or MS SQL Server Databases. - Experience working with Agile methodology - Good Understanding of networking concepts and protocols (IP/TCP/UDP/DNS/HTTP). - Strong mentoring skills with excellent communication, collaboration, and problem-solving capabilities. - Ability to quickly learn and apply new technologies. - Self-motivated. Desired Qualifications: - Familiarity with AI tools like AWS Transform and Agentic AI tools like Kiro - Experience in using JMS Queue and Topics for building messaging related solutions - Experience using Mulesoft Anypoint Studio, MULE ESB, JMS, MULE MMC, Active MQ, Kafka, JPA, designing using API's Led Architecture. - Experience with healthcare and healthcare insurance solutions and information architectures, especially Medicaid or similar industry. - Experience working with HIPAA healthcare data and X12 like 834, 837, 820, 835, 270/271, 276/277, 278, and 999 transactions. - Experience designing, developing, securing and managing APIs via API Gateways and proxies using platforms such as MuleSoft or Apigee GDIT IS YOUR PLACE - At GDIT, the mission is our purpose, and our people are at the center of everything we do. - Growth: AI-powered career tool that identifies career steps and learning opportunities - Support: An internal mobility team focused on helping you achieve your career goals - Rewards: Comprehensive benefits and wellness packages, 401K with company match, and competitive pay and paid time off - Flexibility: Full-flex work week to own your priorities at work and at home - Community: Award-winning culture of innovation and a military-friendly workplace OWN YOUR OPPORTUNITY Explore a career in software development at GDIT and you'll find endless opportunities to grow alongside colleagues who share your dedication to advancing innovation. The likely salary range for this position is $119,000 - $161,000. This is not, however, a guarantee of compensation or salary. Rather, salary will be set based on experience, geographic location and possibly contractual requirements and could fall outside of this range. Scheduled Weekly Hours: 40 Travel Required: None Telecommuting Options: Remote Work Location: Any Location / Remote Additional Work Locations: Total Rewards at GDIT: Our benefits package for all US-based employees includes a variety of medical plan options, some with Health Savings Accounts, dental plan options, a vision plan, and a 401(k) plan offering the ability to contribute both pre and post-tax dollars up to the IRS annual limits and receive a company match. To encourage work/life balance, GDIT offers employees full flex work weeks where possible and a variety of paid time off plans, including vacation, sick and personal time, holidays, paid parental, military, bereavement and jury duty leave. GDIT typically provides new employees with 15 days of paid leave per calendar year to be used for vacations, personal business, and illness and an additional 10 paid holidays per year. Paid leave and paid holidays are prorated based on the employee's date of hire. The GDIT Paid Family Leave program provides a total of up to 160 hours of paid leave in a rolling 12 month period for eligible employees. To ensure our employees are able to protect their income, other offerings such as short and long-term disability benefits, life, accidental death and dismemberment, personal accident, critical illness and business travel and accident insurance are provided or available. We regularly review our Total Rewards package to ensure our offerings are competitive and reflect what our employees have told us they value most. We are GDIT. A global technology and professional services company that delivers consulting, technology and mission services to every major agency across the U.S. government, defense and intelligence community. Our 30,000 experts extract the power of technology to create immediate value and deliver solutions at the edge of innovation. We operate across 50 countries worldwide, offering leading capabilities in digital modernization, AI/ML, Cloud, Cyber and application development. Together with our clients, we strive to create a safer, smarter world by harnessing the power of deep expertise and advanced technology. Join our Talent Community to stay up to date on our career opportunities and events at gdit.com/tc. Equal Opportunity Employer / Individuals with Disabilities / Protected Veterans

Worldwide
$119K - $161K / year

Full-stack Developer

Pwc CEE

PwC is a global network of more than 370,000 professionals in 149 countries that turns challenges into opportunities. We create innovative solutions in audit, consulting, tax and technology, combining knowledge from all over the world. PwC SDC Lviv, opened in 2018, is part of this global space. It is a place where technology is combined with team spirit, and ambitious ideas find their embodiment in real projects for Central and Eastern Europe.

Role Description PwC is looking for a skilled Full-Stack Developer proficient in Python and JavaScript to build and maintain web-based solutions. You’ll work across the stack to support digital initiatives, from UI development to backend services and database design. - Develop responsive, accessible UIs using HTML5, CSS3, and React or Angular; - Build and maintain APIs and backend services with FastAPI, Django, or Flask; - Design and manage databases (PostgreSQL, MongoDB); - Ensure performance, security, and scalability across the stack; - Collaborate with cross-functional teams to deliver high-quality solutions; - Participate in code reviews and CI/CD workflows; - Stay current with modern frameworks and best practices. Qualifications - Strong experience with Python and JavaScript frameworks; - Solid front-end skills (HTML5, CSS3, modern JS); - Proficiency in RESTful API design and database management; - Familiarity with Git, CI/CD, and secure coding practices; - Strong problem-solving and communication skills. Requirements - Experience in agile environments; - Knowledge of Azure or AWS; - Familiarity with Docker, Kubernetes, or GitOps; - Exposure to AI or data-driven systems. Benefits - Work format: Remote or in a comfortable office in Lviv - you choose. - Development: Personal development plan, mentoring, English and Polish language courses. - Stability: Official employment from day one, annual review of salary and career prospects. - Corporate culture: Events that unite the team and a space where everyone can be themselves.

Ukraine

Role Description We are seeking a talented and motivated developer to join our team remotely. This position focuses on the design, development, and maintenance of mobile applications that deliver exceptional user experiences. You will collaborate with cross-functional teams to define, design, and ship new features. Key Responsibilities - Develop high-quality mobile applications for iOS and Android platforms. - Write clean, maintainable, and efficient code. - Collaborate with product managers, designers, and other developers to create seamless user experiences. - Troubleshoot and debug applications to ensure optimal performance. - Stay updated with the latest industry trends and technologies to ensure the application is using best practices. Qualifications - Proven experience in mobile app development using frameworks such as React Native, Flutter, or similar. - Strong understanding of mobile UI/UX principles. - Experience with RESTful APIs and third-party libraries. - Familiarity with version control systems, preferably Git. - Excellent problem-solving skills and attention to detail. Requirements - Nice to have: Experience with cloud services (AWS, Firebase). - Knowledge of Agile methodologies. - Experience in publishing applications on App Store and Google Play. - Basic understanding of backend technologies. Benefits - Salary: 140000 - 350000 USD Per annum

United States
$140K - $350K / year
CAI logo

.NET Developer

CAI

WHEN YOU NEED TO MEET A HIGHER STANDARD® in US | ASIA | EUROPE | AUSTRALIA

Full TimeRemoteTeam 501-1,000H1B Sponsor

Role Description We are looking for a .NET Developer to design, develop, and maintain applications using .Net technologies. This position will be full-time and remote. - Interact with various end users to produce User/Functional Requirements and coordinate tactical system enhancements - Work closely with Business Users and Peer Systems Analysts to analyze master data and related processes on a local, regional, and global basis - Perform business research independently and collaboratively with a team - Develop and support web applications using the .Net framework and SharePoint 2013 - Design and maintain Oracle databases, including SQL and PL/SQL development and support - Build intranet-based applications using .NET Framework and related technologies (VB.Net, ASP.Net, ADO.Net, C#.Net) Qualifications - 3-7 years of experience - Oracle SQL and PL/SQL and/or MS-SQL Server - Knowledge in writing Stored Procedures - Asynchronous communication using json, jQuery, XML, and Http Request - ASP.NET life cycle events and Databinding - MVC/Angular JS - Ability to analyze user requirements and generate ad-hoc reports using SQL - PL/SQL Functions/Procedures/Packages and Oracle database Triggers - Strong grounding in development methodologies such as Agile, Design Patterns, and Service-Oriented Architectures - Strong understanding of structured development concepts like encapsulation and separation of concerns - Team development skills, including requirements gathering, Use Cases/User Stories, and architectural design - Data Modeling, analysis, and table design/maintenance - Effective written and verbal communication skills, including fluency in English - Ability to work both independently and as part of a team - Good interpersonal skills and customer orientation - Knowledge and experience in business/systems analysis Requirements - Exposure to Project Development/Management Methodology - Bachelor’s or Master’s degree in any stream - English proficiency in speaking and writing Physical Demands - Ability to safely and successfully perform the essential job functions - Sedentary work that involves sitting or remaining stationary most of the time with occasional need to move around the office to attend meetings, etc. - Ability to conduct repetitive tasks on a computer, utilizing a mouse, keyboard, and monitor Reasonable Accommodation Statement If you require a reasonable accommodation in completing this application, interviewing, completing any pre-employment testing, or otherwise participating in the employment selection process, please direct your inquiries to application.accommodations@cai.io or (888) 824 – 8111.

India