Jobs
>
London

    Formal Methods Engineer - United Kingdom - Input Output Hong Kong

    Input Output Hong Kong
    Input Output Hong Kong United Kingdom

    6 days ago

    Default job background
    Description

    Summary:

    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.

    Your Role:

    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.

    Key Duties:

    • 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.
    • Generate test cases from formal models and specifications to supplement formal verification efforts.
    • Maintain detailed documentation of formal methods, processes, findings, and verification results.
    • 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.

    Key Competencies:

    • Critical and creative thinking to assess the applicability of formal methods to various software engineering challenges and adapt formal techniques to specific problems.
    • Strong mathematical skills, particularly in areas such as logic, discrete mathematics, and formal logic.
    • Effective communication skills, including the ability to explain complex formal concepts and findings to both technical and non-technical stakeholders.
    • 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.
    • Working knowledge of Agda.
    • 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.
    • Experience working and collaborating with Git.

    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.

    Location

    IOG is a fully distributed organization but due to team distribution, we require someone to be based either in Ireland or the UK.

    All colleagues

    • Flexible schedule
    • Remote work
    • Laptop reimbursement
    • New starter package to buy hardware essentials (headphones, monitor, etc)
    • Learning & Development opportunities
    • Competitive PTO and Sick Leave plan

    UK & Ireland Employees

    • 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.

    #J-18808-Ljbffr
  • The Resolute Group Ltd

    Methods Engineer

    4 days ago

    The Resolute Group Ltd United Kingdom

    Methods Engineer – Temporary Works · Excellent opportunity to work for one of the main contractors delivering a £1bn+ package of works · Salary - £42,000 - £46,000 basic + Car or Allowance + Package · Locations – Birmingham · Role Description · The Resolute Group are workin ...

  • The Resolute Group Ltd

    Methods Engineer

    4 days ago

    The Resolute Group Ltd United Kingdom

    Methods Engineer – Temporary Works Excellent opportunity to work for one of the main contractors delivering a £1bn+ package of worksSalary - £42,000 - £46,000 basic + Car or Allowance + PackageLocations – BirminghamRole DescriptionThe Resolute Group are working in Partnership wit ...

  • Framatome

    Methods Engineer

    6 days ago

    Framatome United Kingdom

    Job Opening Title Job type · Non fixed term · Installed Base BU is in charge for Framatome's nuclear engineering and services for operating nuclear plants, for new build projects and for installations in decommissioning phase.The Installed base BU has more than 60 years of inte ...

  • GE Transport

    Methods Engineer

    6 days ago

    GE Transport United Kingdom

    Wabtec Corporation is a leading global provider of equipment, systems, digital solutions and value-added services for freight and transit rail. Drawing on nearly four centuries of collective experience across Wabtec, GE Transportation and Faiveley Transport, the company has unmat ...

  • Cotleigh Engineering

    Graduate Methods Engineer

    5 days ago

    Cotleigh Engineering London, United Kingdom Permanent, Full time

    Our Client is one of the largest turnkey Engineering & Construction contractors in the Oil and Gas sector with a proven track-record over many years, and increasingly growing towards the Renewable Energy Sector as well. With a strong bias towards remote areas and challenging deep ...

  • Balfour Beatty plc

    Digital Methods Engineer

    1 week ago

    Balfour Beatty plc United Kingdom

    Digital Methods Engineer - Sizewell C, Suffolk & London Project Office with hybrid working · SZC is ultimately owned by two shareholders, EDF and HMG. The shareholders hold their · investment in SZC through NNB Holdings Company (SZC) Limited. Over the course of the · current s ...

  • Balfour Beatty plc

    BIM Digital Methods Engineer

    1 week ago

    Balfour Beatty plc United Kingdom

    BIM Digital Methods Engineer - Sizewell C - London / Suffolk - hybrid working available · The Sizewell C (SZC) project requires a Digital Engineer to take a role in the Civil Works Alliance Digital Project Delivery Team, contributing to and implementing the Digital Strategy and ...

  • Balfour Beatty

    BIM Digital Methods Engineer

    4 days ago

    Balfour Beatty London, United Kingdom Permanent

    About the role · The Sizewell C (SZC) project requires a Digital Engineer to take a role in the Civil Works Alliance Digital Project Delivery Team, contributing to and implementing the Digital Strategy and Digital Execution Plan. The role includes developing the way we will work ...

  • Balfour Beatty

    Senior Methods Engineer Major Projects Canary Wharf, London

    6 days ago

    Balfour Beatty London, United Kingdom Permanent

    About the role · From minor works to major infrastructure projects, Balfour Beatty Major Projects Division has a proven record of building excellence. Using our broad range of experience and expertise, we deliver cost-efficient service packages, tailor-made for our customers. ...

  • Woodland Consultancy Services

    Graduate/Trainee Civil Methods Engineers

    1 week ago

    Woodland Consultancy Services Kingston upon Thames, Greater London, United Kingdom

    GRADUATE CIVIL METHODS INSTALLATION ENGINEERS – PERMANENT – SURREY · If you have any friends or colleagues who could be interested, please pass the information on · Our Client will only accept applicants with a permanent right to work in the UK. · Our Client, a Major offshore int ...

  • Woodland Consultancy Services

    Graduate/Trainee Civil Methods Engineers

    1 week ago

    Woodland Consultancy Services Kingston upon Thames, United Kingdom

    GRADUATE CIVIL METHODS INSTALLATION ENGINEERS – PERMANENT – SURREY · If you have any friends or colleagues who could be interested, please pass the information on · Our Client will only accept applicants with a permanent right to work in the UK. · Our Client, a Major offshore int ...

  • Understanding Recruitment

    DevOps Engineer

    1 week ago

    Understanding Recruitment London, United Kingdom

    **DevOps Engineer** · We are looking for a DevOps engineer to join a team building a SaaS platform used by 95% of the top 50 law firms, currently adopting Cloud Native tooling and methods and dealing with the challenges of cloud based 'as service' platforms. · As a DevOps Enginee ...

  • eFinancialCareers

    Data Analytics Engineer/ London

    1 week ago

    eFinancialCareers London, United Kingdom

    **Role: · - ** · Test/evaluate new alternative datasets in collaboration with quant researchers and data teams · Once identified with machine learning and statistical methods, automate the extraction of predictive features · Manage the full lifecycle of data science projects: dat ...

  • eFinancialCareers

    Data Analytics Engineer

    1 week ago

    eFinancialCareers London, United Kingdom

    **Data Analytics Engineer** · **London/Hybrid.** · **Perm.** · **Competitive Salary + Bonus & Benefits.** · **Sponsorship is not available.** · **Day to day responsibilities**: · - Test/evaluate new alternative datasets in collaboration with quant researchers and data teams · - O ...

  • eFinancialCareers

    Data Engineer

    1 week ago

    eFinancialCareers London, United Kingdom

    **Permanent Role** · **London Based (Hybrid)** · **No Sponsorship** · **Role** · - Test/evaluate new alternative datasets in collaboration with quant researchers and data teams · - Once identified with machine learning and statistical methods, automate the extraction of predictiv ...

  • Humres Technical Recruitment Ltd

    Temporary Works Design Engineer Geotechnical

    1 day ago

    Humres Technical Recruitment Ltd London, United Kingdom

    **Name**: · **Job Title / Description** · Senior Temporary Works Engineer (Excavations) · **Reports to**: · This position reports to the Head of Temporary Works Engineering. · **Main Purpose of the Role** · Responsible for the success and efficient running of major projects carri ...

  • Method Cloud

    Head of Engineering Start-up Tech-for-good London

    1 week ago

    Method Cloud London, United Kingdom

    **Head of Engineering | Start-Up | Flexible Working | Tech-for-Good | London | Up to £130,000 + Bens & Stock** · Rarely do we get the opportunity to work in an environment that we can be truly proud of, being proud not only of the work we do but proud of the impact our work can h ...

  • X4 Group

    Lead DevOps Engineer

    1 week ago

    X4 Group London, United Kingdom

    A London based client working on a next generation medical dialysis device has an opportunity for a Lead Devops Engineer to join a specialised team of software developers that are working as part of a wider team of scientists and developers. This is on aplatform which can provide ...

  • Jefferson Frank

    Lead Full-Stack Engineer,

    2 days ago

    Jefferson Frank London, United Kingdom

    **Lead Full Stack Engineer - £85,000 - Hybrid (London/Luton)** · This is an amazing opportunity for a Lead Full Stack Engineer to join the world's number one integrated tourism business. My client has a team of experts across Architecture, Engineering, DevOps and Agile Delivery p ...

  • BSV Recruitment Limited

    Site Agent

    6 days ago

    BSV Recruitment Limited London, United Kingdom

    The Job · The Company · A national Civil Engineering company, offering a broad service offering across a variety of sectors. They operate as a main contractor offering civil engineering services including roads, telecom, utilities and structures around the country. · The Role · W ...