[TYPES/announce] Ph.D. position in Mathematical Foundations of Computation in Bath

independent researchers. The prospective supervisor for the advertised position is Willem Heijltjes. Relevant links: Willem Heijltjes - http://www.cs.bath.ac.uk/~wbh22/ Mathematical Foundations - http://www.bath.ac.uk/comp-sci/research/mathematical-foundations/ Details: Starting

[TYPES/announce] Structures and Deduction 2014 - call for participation

Registration http://vsl2014.at/registration/ (early registration deadline: 8 June) The workshop is found under: Week 1 of FLOC, Workshop Block 1, one day workshops - July 12. We look forward to seeing you in Vienna! Kaustuv Chaudhuri Willem Heijltjes Lutz Strassburger

[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

ecommended Start:Before 1 April 2019 People: Dr. Alessio Guglielmi a.guglie...@bath.ac.uk Dr. Willem Heijltjesw.b.heijlt...@bath.ac.uk Mathematical Foundations Group Department of Computer Science University of Bath = Description = Proofs and algorithms ar

[TYPES/announce] Post-doctoral position "Typed lambda-calculi with sharing and unsharing" at University of Bath

tact: Willem Heijltjes Department of Computer Science University of Bath w.b.heijlt...@bath.ac.uk http://willem.heijltj.es

[TYPES/announce] Lecturer (assistant professor) position in Bath

raic Geometry * Semantics For any questions about the post or the recruitment process, please contact: Alessio Guglielmi Willem Heijltjes

[TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath

ember 2020 (anticipated) People: Dr. Alessio Guglielmi a.guglie...@bath.ac.uk Dr. Willem Heijltjesw.b.heijlt...@bath.ac.uk Mathematical Foundations Group Department of Computer Science University of Bath = Description = Proofs and algorithms are everyday obje

[TYPES/announce] PhD positions in Mathematical Foundations of Computation at University of Bath

Guglielmi a.guglie...@bath.ac.uk Willem Heijltjesw.b.heijlt...@bath.ac.uk or one of the supervisors of the projects at the end of this email. = How to apply = Applicants should hold, or expect to gain, a First Class or good Upper Second Class Honours degree in Mathematics or Computer

[TYPES/announce] PhD in Mathematical Foundations in Bath - deadline 21 Feb

a.guglie...@bath.ac.uk Willem Heijltjesw.b.heijlt...@bath.ac.uk or one of the supervisors of the projects at the end of this email. = How to apply = Applicants should hold, or expect to gain, a First Class or good Upper Second Class Honours degree in Mathematics or Computer

[TYPES/announce] 6-Month postdoc in lambda-calculi and effects, University of Bath

elmi http://alessio.guglielmi.name Willem Heijltjes http://willem.heijltj.es Jim Laird http://researchportal.bath.ac.uk/en/persons/james-laird Guy McCusker http://researchportal.bath.ac.uk/en/persons/guy-mccusker Thomas Powell http://t-powell.github.io Present circumstances

[TYPES/announce] PhD positions in Mathematical Foundations of Computer Science - Bath - deadline 4 March

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are recruiting for 2 PhD positions Funding: Competition funded Deadline: Friday 4 March 2022 Start:October 2022 (anticipated) Contacts: Willem Heijltjes

[TYPES/announce] PhD positions in Mathematical Foundations of Computer Science, Bath - deadline 16 May

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are recruiting for 2 PhD positions Funding: Competition funded Deadline: Monday 16 May 2022 Start:October 2022 (anticipated) Contacts: Willem Heijltjes