Jobs
>
London

    Shift Engineer - United Kingdom - Input Output Hong Kong

    Input Output Hong Kong
    Input Output Hong Kong United Kingdom

    6 days ago

    Default job background
    Description

    Are you ready to make a significant impact in the world of cutting-edge technology and data protection? Midnight is seeking a Formal Methods Engineer to join our dynamic team and help revolutionize our state-of-the-art data protection-based blockchain platform.

    If you are passionate about formal methods, excited about creating software that meets the highest standards of reliability and security, and ready to contribute to the future of technology, we want to hear from you


    About Midnight:

    Midnight is a groundbreaking, regulatory-friendly data protection-based blockchain designed to safeguard sensitive commercial and personal data, all while upholding fundamental freedoms.

    Operating as a Cardano sidechain, Midnight combines a data protection-first programming model with Zero-Knowledge (ZK) proofs to deliver unmatched security and privacy.

    As a Formal Methods Engineer at Midnight, you will be a vital member of our engineering team, responsible for applying formal methods techniques to verify and validate software systems.

    Your contributions will be crucial in the development of highly reliable and safety-critical software, ensuring strict adherence to industry standards and regulations.

    Apply formal methods, including Agda modelling and proofs, model checking, theorem proving, and abstract interpretation, to verify the correctness, safety, and security of software systems.

    Collaborate with software architects and engineers to analyse and refine software requirements, ensuring they are clear, complete, and verifiable.

    Develop formal specifications and models of software systems, including safety and security properties.
    Utilize model checking tools and techniques to verify software against formal specifications, identifying and resolving issues.
    Employ theorem proving tools and techniques to formally prove the correctness of software and safety properties.

    Collaborate with cross-functional teams, including software developers, system engineers, and domain experts, to ensure the successful application of formal methods.

    Provide guidance and mentorship to junior engineers and team members in the application of formal methods.

    Critical and creative thinking to assess the applicability of formal methods to various software engineering challenges and adapt formal techniques to specific problems.

    Collaboration with cross-functional teams to integrate formal methods into the software development process.

    Bachelor's, Master's, or Ph.
    D. in Computer Science, Maths, or a related field.

    Proven experience in the application of formal methods to verify and validate complex software systems, particularly in safety-critical domains.

    Strong knowledge of software development processes, software architecture, and system design.

    If you are excited about making a difference in the world of technology and data protection, and if you have a passion for formal methods and software verification, we encourage you to apply.

    Be part of our team and help build a secure and privacy-focused future.
    Flexible schedule
    Remote work
    Learning & Development opportunities
    Competitive PTO and Sick Leave plan
    Monthly Health Stipend to use towards any wellness or medical coverage/service
    Pension

    At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent.

    We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

    #
  • Advanced Resource Managers Limited

    Shift Engineer

    2 days ago

    Advanced Resource Managers Limited London, United Kingdom

    We are recruiting for a Shift Maintenance Engineer to work for our client in the Central London area. The role is to carry out facilities maintenance to a large commercial property based near to Kings Cross. You will work as part of an on-site M&E maintenanceteam, and will take t ...

  • Bakkavor

    Shift Engineer

    15 hours ago

    Bakkavor London, United Kingdom Full time

    Maintenance Engineer · Meals London - Park Royal Cumberland site · Shift - Rotational days Sunday -Thursday 6am- 2.30pm / 2pm-10.30pm · Up to £47, 565 per annum, based on experience. · Life Assurance · Highly competitive rewards package including Group Pension · Excellent c ...

  • Search Consultancy

    Shift Engineer

    3 days ago

    Search Consultancy London, United Kingdom

    Shift Engineer · Canary Wharf · £49,000 · A fantastic opportunity for a Shift Engineer to work on a prestigious building in Canary Wharf. · The shift pattern is a complex shift with the following - 3 Days 3 nights 4 days off / 4 days 6 days off / 4 nights 4 days off · - £49,000 b ...

  • K.B.C. Associates Ltd

    Shift Engineer

    6 days ago

    K.B.C. Associates Ltd London, United Kingdom

    We are looking for a **Shift Engineer** who will always thrive to maintain the hotel in an excellent condition, ensuring that all facilities, plant areas and associated equipment's are in full working order. We now have an exciting opportunityfor a skilled **Shift Engineer** to j ...

  • Venn Group

    Shift Engineer

    5 days ago

    Venn Group London, United Kingdom

    **Shift Engineer (Mechanical)** · Venn Group are working with a large private healthcare organisation in London to recruit for a Shift Engineer to provide a high standard of workmanship maintaining the existing structure and fabric of the building. · **Salary**: £38,000 - £45,000 ...

  • Options Resourcing

    Mechanical Shift Engineer

    2 days ago

    Options Resourcing London, United Kingdom Full time

    * Role - Mechanical Shift Engineer · * Location - Kensington · * Company - A Well-Established Facilities Management Provider. · * What you get in return - £42,000 + Overtime + Progression & Training. · * Shift pattern - Continental Shift Pattern - 8:00am-8:00pm & 8:00pm-8:00am ...

  • Appcastenterprise

    Scl Shift Engineer

    1 week ago

    Appcastenterprise London, United Kingdom

    **Job Introduction** · **Skillset**:Tunnelling/TBM/Engineering/Surveying. · **Job location**:Old Oak Common / Victoria Road / North Acton. · **Accessible by public transport?**Yes (North Acton). · **Working hours**:Initially mon-fri, 24/5 12hr shift pattern during VRAS SCL Constr ...

  • Alex Young Recruitment Ltd

    Mechanical Shift Engineer

    1 week ago

    Alex Young Recruitment Ltd London, United Kingdom Full time

    Shift Mechanical Engineer in the City · My client is a leading hard services maintenance provider. They are currently recruiting for a shift electrical maintenance engineer to join an established team. You will have your city and guilds, nvq or equivalent in Mechnical engineerin ...

  • Penguin Recruitment Ltd

    Day Shift Engineer

    8 hours ago

    Penguin Recruitment Ltd London, United Kingdom

    **Multi-Skilled Day Shift Maintenance Engineer** · **(Day shifts, 8.5 hours, 4 on 2 off)** · **London's West End** · **£50k per annum, plus bonus', overtime & package** · I am currently recruiting a Multi Skilled (M&E) Maintenance Technician to join our client, a leading and esta ...

  • Page Personnel Property & Construction

    Shift Electrical Engineer

    1 week ago

    Page Personnel Property & Construction London, United Kingdom

    The job is shift Electrical Lead Engineer role based in London. This is a great opportunity to progress. · Days and Nights. · **Client Details** · The client is a multinational building services maintenance company who employ mechanical engineers and electrical engineers to deliv ...

  • 360 Resourcing Solutions

    Cabling Shift Engineer

    1 week ago

    360 Resourcing Solutions London, United Kingdom

    Our client has**an exciting opportunity for a **Cabling Shift Engineer (Data Centres) - Optic Fibre**to join their team in **London, Docklands.** You will join them on a **full** **time,** **permanent** **basis**, and in return, you will receive a competitive salary of **£36,700 ...

  • 360 Resourcing Solutions

    Cabling Shift Engineer

    5 days ago

    360 Resourcing Solutions London, United Kingdom

    Our client hasan exciting opportunity for a **Cabling Shift Engineer (Data Centres) - Optic Fibre**to join their team in **London, Docklands.** You will join them on a **full time, permanent basis**, and in return, you will receive a competitive salary of **£36,700 per annum+ exc ...

  • Invictus Recruitment

    Electrical Shift Engineer

    2 days ago

    Invictus Recruitment London, United Kingdom Full time

    The Invictus Group are looking for a electrical engineer to join a leader in the facilities' management market who offers training and progression. · Electrical Engineer · Moorgate · 44k basic salary · 4 on 4 off days only shift · Training and progression · Must have Electrica ...

  • Invictus Recruitment

    Electrical Shift Engineer

    1 day ago

    Invictus Recruitment London, United Kingdom Full time

    The Invictus Group are looking for a electrical engineer to join a leader in the facilities' management market who offers training and progression. · Electrical Engineer · Liverpool Street · 45k basic salary · Continental Shift days & nights · Training and progression · Must hav ...

  • Integral UK Ltd

    Electrical Shift Engineer

    1 week ago

    Integral UK Ltd London, United Kingdom Full time

    Role Title: Shift Engineer · Location: City Of London · Shift: 24/7 Shift pattern (7am-7pm and 7pm-7am). · We are currently looking for an electrical bias Multi-Skilled Engineers' to join the existing team we have in place to further help us to deliver our contractual obligation ...

  • Invictus Recruitment

    Electrical Shift Engineer

    6 days ago

    Invictus Recruitment London, United Kingdom Full time

    Join Our Client's Team as a Day Shift Engineer · Salary: £44,000 · Schedule: 12-hour days · Week Rotation: · Week 1: Monday, Tuesday, Friday, Saturday, Sunday · Week 2: Wednesday & Thursday · Are you an experienced engineer looking for an exciting opportunity? We are seeking a de ...

  • Invictus Recruitment

    Mechanical Shift Engineer

    6 days ago

    Invictus Recruitment London, United Kingdom Full time

    · Job Title: Day Shift Mechanical Engineer · Location: Lewisham · Schedule: 4 on 4 off, Days 7am – 7pm · Salary: Technician salary is £47,000 (NVQ 3/Degree standard) · About the Role: · We are currently seeking a skilled Day Shift Mechanical Engineer to join our clients team in ...

  • CBW Staffing Solutions Ltd

    Mechanical Shift Engineer

    1 week ago

    CBW Staffing Solutions Ltd London, United Kingdom Full time

    Mechanical Shift Engineer - FM Service Provider - St Pauls - Temp to Perm - £24.00 per hour - Start ASAP · Are you a Mechanically biased engineer with an NVQ Level 2&3 in Mechanical Engineering? · Do you have commercial building maintenance experience? · Are you looking for shift ...

  • Integral UK Ltd

    Electrical Shift Engineer

    6 days ago

    Integral UK Ltd London, United Kingdom Full time

    We are currently recruiting for an highly skilled and technical Electrical Shift Engineers to join one of our static sites based in London Bridge. The site you will be working on is for a globally recognized client on one of their flagship UK sites . It's a very client-facing env ...

  • Penguin Recruitment Ltd

    Day Shift Maintenance Engineer

    5 days ago

    Penguin Recruitment Ltd London, United Kingdom

    **Multi-Skilled Elec Bias Maintenance Engineer** · **(Day shifts, 8.5 hours, 4 on 2 off)** · **London's West End** · **£50k per annum, plus bonus', overtime & package** · I am currently recruiting a Multi Skilled (M&E) Maintenance Technician to join our client, a leading and esta ...