Tenders/Formal Verification Training

Formal Verification Training

MIDAS Electronic Systems Skillnet

Published: Nov 6, 2026

Updated: Nov 6, 2026

Source: eTenders - Ireland Public Procurement

About This Opportunity

This is a services contract in the education and training sector, with a focus on Vocational Training. Located in Ireland, Europe, this opportunity is open to firms and consortiums.

Published through eTenders - Ireland Public Procurement, a national government procurement portal. Public procurement tenders follow the country's national bidding regulations and may have specific eligibility and documentation requirements for services in the education and training sector. Service contracts are typically evaluated on both technical quality and price, and may require bidders to demonstrate relevant experience and qualified personnel. Interested parties should review the full documentation on the original source before submitting their proposal.

Description

This tender, sourced from etenders_ie in Ireland, is for 'Formal Verification Training'. The procurement targets Integrated Circuit (IC) design and verification engineers. Formal verification is a mathematical method used to verify the correctness of hardware designs, ensuring they meet specifications without relying solely on simulation. Bidders are expected to provide comprehensive training covering the principles, methodologies, and tools used in formal verification. This typically includes curriculum development, delivery of training sessions, and potentially hands-on exercises with relevant software tools. Requirements include demonstrating deep expertise in formal verification techniques, such as model checking and theorem proving, and experience in training engineers in this specialized field. The evaluation process will likely focus on the proposed training program's content, the qualifications and experience of the instructors, the provider's ability to tailor the training to specific industry needs, and the overall value proposition. The aim is to equip IC design and verification engineers with advanced skills to improve the quality and reliability of complex chip designs.

Data provenance

This notice is sourced from eTenders - Ireland Public Procurement and was originally published on November 6, 2026. Last refreshed today. BidsFactory mirrors official procurement notices and links back to the source for full legal text.

About MIDAS Electronic Systems Skillnet

MIDAS Electronic Systems Skillnet has issued 95 procurement notices on BidsFactory, including 0 currently open and 82 awarded contracts. Activity concentrates in Education & Training, Information & Communication Technology, and Architecture & Engineering Services. All notices are published for Ireland. Notices are distributed via ireland_etenders_csv and eTenders - Ireland Public Procurement. Most recent publication: October 18, 2026.

Frequently asked questions about this tender

Where will the contract be performed?

The contract is for delivery in Ireland. Foreign bidders should review local registration, taxation, and any in-country presence requirements before submitting.

How can I submit a bid?

Visit eTenders - Ireland Public Procurement to access the full notice, required documents, and submission instructions provided by the contracting authority.

Who is the contracting authority?

This notice was issued by MIDAS Electronic Systems Skillnet in Ireland. The authority is responsible for evaluating bids, awarding the contract, and managing performance.

What type of contract is this?

This is a Services contract in the Education & Training sector. The classification helps bidders match the opportunity to their qualifications and registered scope of supply.