Postdoc position and Ph.D. position in TCS @ King's College London * A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. The position is offered for 2 years. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, and parameterized complexity theory. Key dates: the application deadline is July 9, 2023; it is hoped that the successful applicant will start in autumn 2023, but there is some flexibility concerning the start date. Informal enquiries and discussion are strongly encouraged prior to application (e-mail contact: hubie.chen@kcl.ac.uk). To apply, please see: https://www.kcl.ac.uk/jobs/067385-postdoctoral-research-associate-in-theoret... * A funded Ph.D. position in theoretical computer science is available at King's College London. The successful candidate will be advised by Hubie Chen and will work on mutually agreeable topics in theoretical computer science. The primary criterion for this position is an undergraduate degree in mathematics with strong performance, or an equivalent experience. Key dates: please apply by July 14, 2023 for full consideration; it is hoped that the successful applicant will start in autumn 2023, but there is some flexibility concerning the start date. Informal enquiries are very welcome (e-mail contact: hubie.chen@kcl.ac.uk); please send your CV when initiating correspondence. To apply, please send the following information to hubie.chen@kcl.ac.uk: (1) CV, including contact details for three persons who can be contacted for reference letters, (2) all available academic transcripts at the university level, (3) a brief statement of interest, and (4) copies of any theses or research publications.