job-Details

Arrow DownBack

Formal verification of high-reliability software

  • Image for Employer
    O.C.E. TECHNOLOGY LIMITED
  • Image for Job Ref
    Ref: #WPEP-2427063
  • Image for Location
    NovaUCD, Belfield Innovation Park, c/o OCE Technology, Dublin, Dublin, D04V2P1
  • Image Position
    No of positions: 1
  • Image Part Time
    Work Placement and Experience Programme
  • Image Hours per week
    As per WPEP guidelines
  • Image for Euro
    Work Placement Experience Programme
  • Image for Published
    Published On: 09 Jan 2026
  • Image for Closing
    Closing On: 06 Mar 2026

This Work Placement Experience Programme provides Participants with an opportunity to gain meaningful work experience, learning and training while on the programme. This programme is for jobseekers who are in receipt of qualifying social welfare payments and those transferring from a social welfare scheme or an ETB Training Allowance. Your eligibility for this programme will be verified by the Department as part of the application process. 


OCE has developed a real-time operating system (RTOS) called OCEOS for the European Space Agency. OCEOS would benefit from a formal verification to identify any potential flaws in the architecture. Formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics.
This placement would involve working with an academic institution to become familiar with the latest tools and techniques for formal verification of software. It would involve tha application of these tools on OCEOS to prove the correctness of the system.
Participant Experience and Supervision: 
The participant will be given training by an experienced Job Coach on tools and techniques to be used in performing the desired formal verification. As a learning outcome, the participant will have sufficient understanding of the training topics (see Training Plan below) to commence formal verification of OCEOS.  When training is complete, the day to day activities will consist of performing formal verification, discussing findings or problems with the system architect or Job Coach, and refining the formal verification until it is completed to the level required by OCE.  
Training Plan: 
Participants are eligible to participate in the WPEP QQI Work Experience Module which was developed by the Education & Training Boards in collaboration with the Department of Social Protection. This optional module will fulfil your accredited training requirements for the WPEP. 

An additional 40 hours will be spent on in-house training by an experienced Job Coach. This will cover the following:
•	Introduction to Promela modeling: 12 hours
•	Introduction to in-house OCEOS SW design and codebase: 8 hours
•	Use of SPIN tool: 10 hours
•	Use of in-house Trace-to-test generator tool: 5 hours
•	Use of in-house DMON/Unity tools for test execution/debugging: 5 hours

The above time allocations are indicative; a detailed Personal Learning Plan will be created with the selected candidate at commencement.
  • This vacancy is suitable for Remote/Blended working
  • Sector:

Career Level

  • Not Required

Candidate Requirements

Essential

Hide Share Button: No

Show Center Title: No