Formal Verification of AI Interfaces Specialist

5 days ago


Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time

**Job Title:** Formal Verification of AI Interfaces Specialist

**Salary:** £35,000 - £45,000 per annum

We are seeking a highly skilled PhD researcher to join our team at the European Association for Programming Languages and Systems (EAPLS) to work on formal verification of AI interfaces. As a key member of our team, you will be responsible for developing and applying formal methods to ensure the safety and security of machine learning models.

The successful candidate will have a strong background in mathematics, logic, and/or Coq programming, and a keen interest in extending the initial study to a richer language. You will work closely with our experienced researchers to design and implement safe ML interfaces that can specify desired properties of ML models, train ML models to satisfy these properties, and verify that these properties hold in the final artifact.

**Required Skills and Qualifications:**

  • PhD in Computer Science or related field
  • Strong background in mathematics, logic, and/or Coq programming
  • Excellent research skills and experience in formal verification
  • Good communication and collaboration skills

**Benefits:**

  • A competitive salary and benefits package
  • The opportunity to work with a leading research team in the field of formal verification
  • A chance to contribute to the development of safe ML interfaces and their applications


  • Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time

    **Job Summary:** We are seeking a highly skilled PhD researcher to join our team at EAPLS to work on formal verification of AI interfaces. As a key member of our team, you will be responsible for developing and applying formal methods to ensure the safety and security of machine learning models.The successful candidate will have a strong background in...


  • Southampton, Southampton, United Kingdom European Association for Programming Languages and Systems (EAPLS) Full time

    **Job Description:**We are looking for a talented PhD researcher to join our team at EAPLS to work on formal verification of AI interfaces. As a key member of our team, you will be responsible for developing and applying formal methods to ensure the safety and security of machine learning models.The successful candidate will have a strong background in...


  • Southampton, Southampton, United Kingdom Aztec Full time

    About the Role:Aztec seeks a seasoned User Interface Specialist to spearhead the design of our digital experiences. This exciting opportunity offers the chance to shape the company's technology initiatives, driving innovation and improvement in our services. As a key member of the IT team, you will collaborate closely with developers, business analysts, and...


  • Southampton, Southampton, United Kingdom University of Southampton Full time

    Job DescriptionThe Computational Engineering and Design (CED) Research Group at the University of Southampton is seeking a highly skilled postdoctoral researcher to join our Flight Dynamics and Control Research Laboratory. As a key member of our team, you will be working under the supervision of Dr Sergio Araujo-Estrada and Prof James Scanlan on the project...


  • Southampton, Southampton, United Kingdom University of South Hampton Full time

    Responsible AI UK (RAi UK) is a flagship research and innovation programme dedicated to promoting the responsible development, use, and governance of artificial intelligence.As a key member of the RAi UK team, you will work closely with the CEO's office to drive forward existing commitments and achievements.The Chief of Staff will support the identification...


  • Southampton, Southampton, United Kingdom University of Southampton Full time

    Key Responsibilities:Conduct flight dynamics characterisation experiments for two UAV platforms using a state-of-the-art wind tunnelDevelop a flight dynamics simulation model and train an adaptive neural flight controller using a High Performance Computing facilityConduct physical flight tests to assess the performance of the adaptive neural flight...


  • Southampton, Southampton, United Kingdom Octagon Group Full time

    We are seeking an Electronics Design Specialist to support the design, development, and verification of new components, products, and systems. As an Electronics Design Specialist, you will work on analogue and digital electronic design and PCB development.The ideal candidate will have experience in hardware/electronic circuit design, analogue and digital...

  • Content Specialist

    4 weeks ago


    Southampton, Southampton, United Kingdom Outlier Full time

    About the Opportunity:Outlier is seeking a skilled English language specialist to contribute to the development of generative artificial intelligence models. This freelance opportunity is remote and offers flexible hours, allowing you to work at your convenience.Key Responsibilities:Read and rank English text produced by AI models.Write and rewrite prompts...


  • Southampton, Southampton, United Kingdom Leonardo Full time

    About UsLeonardo is a world-class technology company designing and manufacturing innovative infrared imaging products for various applications, including remote sensing, thermal imaging, earth observation, and laboratory equipment.Job DescriptionWe are seeking a Senior/Principal IC Design Engineer to join our mixed-signal IC design team. As an IC Design...


  • Southampton, Southampton, United Kingdom IC Resources Full time

    Job Title: Electronics SpecialistJob Summary:IC Resources is seeking an Electronics Specialist to join our team. As an Electronics Specialist, you will play a critical role in the design and development of analog and digital circuits for autonomous flight systems. This will involve hands-on experience with SPICE simulation, microcontroller programming, SMPS...


  • Southampton, Southampton, United Kingdom Ilika plc. Full time

    Job Title: Systems Engineer - Battery TechnologyJob Summary: We are seeking an experienced Systems Engineer to lead our management of test systems for next-generation solid state batteries.Key Responsibilities:Develop and implement battery test systemsImplement test scripts and automated test setups for efficient and repeatable validation processesLead...


  • Southampton, Southampton, United Kingdom Waterman Aspen Full time

    As a Senior Drainage Specialist at Waterman Aspen, you will be a key member of our South team, working on a variety of projects for our clients. Your responsibilities will include designing all aspects of drainage from concept to detailed design, as well as preparing reports and specifications. You will also be expected to work on drainage design interfaces,...


  • Southampton, Southampton, United Kingdom Leonardo Full time

    At Leonardo, we are seeking a highly skilled Electro-optical Systems Test Specialist to join our team in Southampton. With a focus on designing, developing and supporting electro-optical test equipment and processes for our range of Infrared detectors, this role offers an exciting opportunity to contribute to the company's success.Job OverviewThe main...


  • Southampton, Southampton, United Kingdom Endeavour Recruitment Solutions Full time

    Job TitleSoftware Developer SpecialistAbout the RoleWe are seeking an experienced Software Developer Specialist to join our team at Endeavour Recruitment Solutions. As a key member of our IT department, you will be responsible for delivering high-quality software solutions within agreed timescales.Key ResponsibilitiesDeliver functional software with...


  • Southampton, Southampton, United Kingdom British American Tobacco Full time

    **About the Role**The successful candidate will have an undergraduate degree in Mechanical Engineering, Aerospace, Physics, Chemical Engineering, Mathematics, or a related subject.Responsibilities will include supporting experimental campaigns for simulation validation and verification purposes, developing scientific curiosity and critical thinking skills,...


  • Southampton, Southampton, United Kingdom Leonardo Full time

    The OpportunityLeonardo, a global leader in electronic and information technologies, is seeking an experienced Electronics Systems Developer to contribute to the development of products and their associated test solutions for Defense Applications.This role presents an excellent opportunity for an ambitious individual to develop and grow their skills and...

  • Chemical Specialist

    1 month ago


    Southampton, Southampton, United Kingdom Outlier Full time

    Job OpportunityOutlier is seeking a talented Chemistry Expert to contribute to the development of generative artificial intelligence models.About the opportunity:This freelance position is remote and offers flexible hours, allowing you to work at your convenience.You will be responsible for assessing the factuality and relevance of domain-specific text...


  • Southampton, Southampton, United Kingdom Leonardo SpA Full time

    Senior IC Design Engineer OpportunityWe are seeking a highly skilled Senior IC Design Engineer to join our mixed-signal IC design team at Leonardo SpA in Southampton, UK. As an integral member of our team, you will work on the development of world-class infrared imaging products used in various applications.About the RoleThis is a fantastic opportunity for...


  • Southampton, Southampton, United Kingdom Apleona HSG Facility Management Full time

    Job Title: Electrical Maintenance SpecialistJob Summary:We are seeking a skilled Electrical Maintenance Specialist to join our team at Apleona HSG Facility Management. As a key member of our facilities management team, you will be responsible for undertaking planned and reactive maintenance at various client premises.Key Responsibilities:Undertake planned...

  • Mobile Gas Specialist

    3 weeks ago


    Southampton, Southampton, United Kingdom Wates Full time

    **Job Title:** Mobile Gas SpecialistAt Wates, we're seeking a skilled Mobile Gas Specialist to join our Regional Mobile Support team.Key Responsibilities:Perform Planned Preventative Maintenance (PPM) on boilers and associated plant, including Reactive Maintenance and extra works/emergencies.Support additional M&E works within the individual's technical...