Theoretical Computer Science PhD Opportunity

3 weeks ago


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

Required Skills and Qualifications:

To be considered for this PhD position, you should have a keen interest in mathematics, logic, and/or Coq programming. A strong background in theoretical computer science and experience with formal verification techniques are highly desirable.

Location: Southampton University, UK; with collaborative visits involving researchers at AIST, Japan and IT University of Copenhagen, Denmark.



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

    Job PurposeThe role holder's contribution will be central to the delivery and support of teaching, learning, and assessment across Computer Science for the University of Southampton Delhi. The role holder will teach at undergraduate and postgraduate levels and engage in other necessary educational activities to ensure successful delivery of degree...


  • Southampton, Southampton, United Kingdom Prospero Teaching Full time

    About the Role:Teaching Computer Science in a Thriving Secondary SchoolWe are seeking a dedicated educator to join our team at a thriving secondary school in Southampton, UK. As a Computer Science teacher, you will play a key role in shaping the digital leaders of tomorrow.The successful candidate will teach engaging lessons across KS3 and KS4, empowering...


  • Southampton, Southampton, United Kingdom Wayman Group Full time

    Teach Computer Science in an Outstanding School in SouthamptonWe are working with a Secondary School seeking to appoint an ambitious, innovative Computer Science Teacher. You will work in a Faculty of highly experienced specialist teachers who as a team, are determined to develop and further improve the teaching of Computer Science for all abilities.This...


  • Southampton, Southampton, United Kingdom Prospero Teaching Full time

    We are seeking a skilled Computer Science teacher to join our secondary school in Southampton. This is an excellent opportunity for someone with expertise in programming, computational thinking, and digital literacy to empower students and shape the next generation of tech pioneers.About the RolePosition: Computer Science TeacherLocation: Southampton,...


  • Southampton, Southampton, United Kingdom Prospero Teaching Full time

    Empower the next generation of tech innovators as a Computer Science Instructor at our thriving secondary school in Southampton.About the RoleWe are seeking a dedicated educator to join our team, teaching engaging lessons across KS3 and KS4, and empowering students with skills in programming, computational thinking, and digital literacy in a supportive and...


  • Southampton, Southampton, United Kingdom Wayman Group Full time

    Teaching Computer Science PositionWe are seeking an experienced and enthusiastic Computer Science Teacher to join our team at a Secondary School in Southampton.This is a part-time or full-time opportunity to teach Computer Science to KS3/4 with the possibility of KS5, making it suitable for both NQTs and experienced teachers.The successful candidate will be...


  • Southampton, Southampton, United Kingdom Austin Fraser Full time

    Job Title: Computer Science and Digital InstructorLocation: SouthamptonWe are seeking a qualified and experienced teacher of computer science to join our team at a secondary school in central Southampton. As a computer science and digital instructor, you will be responsible for teaching computing subjects up to KS5.The ideal candidate will have a BSc in...


  • Southampton, Southampton, United Kingdom Wayman Learning Trust Full time

    This is an exciting opportunity to become part of a highly successful Computer Science department at Wayman Learning Trust. The successful candidate will have the chance to teach Computer Science to GCSE and A-level students on a full-time basis.Our school is proud to be one of the highest performing schools in the Southampton area, with a strong commitment...


  • Southampton, Southampton, United Kingdom Wayman Group Full time

    Join our partnership with a dynamic Secondary School in Southampton to become an accomplished Computer Science Educator.We seek a talented and motivated Computing professional to join our team. As part of a specialist Faculty, you will play a key role in delivering high-quality Computer Science education to students of various abilities.The ideal candidate...


  • Southampton, Southampton, United Kingdom Wayman Learning Trust Full time

    Job OpportunityAn excellent opportunity has arisen for an ambitious teacher of Computer Science and Business to join the Wayman Learning Trust on a full-time and permanent basis.The successful candidate will have the opportunity to teach Computer Science and Business to GCSE and A-Level students in a highly successful department with high expectations,...


  • Southampton, Southampton, United Kingdom GSL Education - Hampshire Full time

    Job OverviewWe are seeking an exceptional Computer Science Educator to join our team at GSL Education in Hampshire. This is a fantastic opportunity for a skilled teacher to inspire and educate students in Computer Science up to KS5.The successful candidate will have a strong understanding of Python and be able to deliver engaging lessons that cater to...


  • Southampton, Southampton, United Kingdom Euraxess Full time

    Research Opportunity">We are offering a Research Fellowship opportunity in Climate Modelling at the University of Southampton. This position involves working with our team to develop innovative climate models and leading the implementation of novel methods.">Key Tasks">">Lead the implementation of novel methods to improve our climate models">Collaborate with...


  • Southampton, Southampton, United Kingdom TeacherActive Full time

    Southampton, a vibrant city on the south coast of England, is home to a thriving secondary school seeking an experienced Computer Science Teacher for a Long-Term position. This role offers the opportunity to work with students aged 11-16, helping them achieve excellent results in GCSEs.The successful candidate will have QTS with Computer Science specialism...


  • Southampton, Southampton, United Kingdom TeacherActive Full time

    The ideal candidate for this role will be a motivated and passionate Computer Science Teacher, committed to delivering high-quality education to students in a supportive and dynamic learning environment. Located in Southampton, the school provides excellent opportunities for professional growth and development.As a Computer Science Teacher at this mainstream...


  • Southampton, Southampton, United Kingdom Euraxess Full time

    Join Our TeamWe are seeking a talented Research Fellow to join our climate modelling group at the University of Southampton. As a member of our team, you will have the opportunity to work on cutting-edge projects, collaborating with international institutions and developing innovative solutions.The successful candidate will have a strong background in...


  • Southampton, Southampton, United Kingdom Oasis Community Learning Full time

    Are you a passionate educator looking to make a significant impact in Computer Science education?Oasis Academy Lord's Hill is seeking a talented and experienced Lead Educator in Computing and IT to develop and implement an innovative Computer Science curriculum.In this role, you will work closely with the academy's leadership team to design and deliver a...


  • Southampton, Southampton, United Kingdom TeacherActive Full time

    Our client, a mainstream secondary school in Southampton, is seeking a motivated and experienced Computer Science Teacher to join their team. As a valued member of the school community, you will play a vital role in shaping the educational journey of students.Key ResponsibilitiesTeach Computer Science to students across Key Stage 3 and Key Stage 4, with a...


  • Southampton, Southampton, United Kingdom Wayman Learning Trust Full time

    Wayman Learning Trust is a highly successful school in Southampton, seeking an exceptional Computer Science teacher to join our team. With a proven track record of excellence, we offer a supportive and inclusive environment where you can make a real difference in the lives of our students.About the RoleWe are looking for a passionate and experienced Computer...


  • 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 GSL Education - Hampshire Full time

    About Our SchoolOur school is a thriving community that values academic excellence, creativity, and inclusivity. We are committed to providing a safe and supportive learning environment that enables all students to achieve their full potential.The Ideal CandidateWe are looking for a dedicated and passionate educator who is able to inspire and motivate...