[TYPES/announce] Postdoc position at the University of Strathclyde
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the University of Strathclyde (Glasgow, Scotland) on our EPSRC grant EP/Y000455/1 A Correct-by-Construction Approach to Approximate Computation. This research is aiming at combining techniques from logics, model theory, type theory, category theory, continuous mathematics and AI for developing the foundations of approximate (quantitative) computation and apply this to programming and learning paradigms. More details about the project can be found here: https://urldefense.com/v3/__https://personal.cis.strath.ac.uk/r.mardare/projects.htm__;!!IBzWLUs!RiokSpppU_An_WT-q1sU4VeHGIUbiaiyEwEkL4k3JUTsxTpIBL9CGx61Y1mgdZ_G90eiNonQTbi566W3D3b6i89xxk5c2ONiGqLcJH3qYi0s0A$ The call for this position, with a deadline of 31 March, can be found here: https://urldefense.com/v3/__https://strathvacancies.engageats.co.uk/Vacancies/W/5820/0/421067/15019/research-fellow-599328__;!!IBzWLUs!RiokSpppU_An_WT-q1sU4VeHGIUbiaiyEwEkL4k3JUTsxTpIBL9CGx61Y1mgdZ_G90eiNonQTbi566W3D3b6i89xxk5c2ONiGqLcJH1il_zxuw$ Kind regards, Radu Mardare Neil Ghani Fredrik Nordvall Forsberg
[TYPES/announce] PhD position at the University of Strathclyde
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** *** PhD Position *** A Correct-by-Construction Approach to Approximate Computation *** Mathematically Structured Programming Group *** University of Strathclyde (Glasgow) * Applications are invited for a fully funded UK PhD studentship in the areas of type theory, category theory and/or logic, under the supervision of Dr Fredrik Nordvall Forsberg, and Professors Neil Ghani and Radu Mardare. The research will be part of the recently EPSRC-funded project "A Correct-by-Construction Approach to Approximate Computation", which seeks to develop type-theoretic tools and frameworks for approximation. The position is for 3 years, with a start date of 1 October 2024. It includes both coverage of fees and an stipend, and is open to UK-based applicants. The successful applicant will become part of the Mathematically Structured Programming group (https://urldefense.com/v3/__https://msp.cis.strath.ac.uk__;!!IBzWLUs!VkM-X58RLQKVqApL3g1XfJ4PWYhcvi2C5KjNP6tn9WyUu8NB5PkPQhpaOP0ssPTN1IQVfufcRi5QxAcdJ3QtWb9JF80cpRjrZEJXcK_HxFtq9Q$ ) at the University of Strathclyde. It is likely that you will also work with the other members in the group, which include Conor McBride, Robert Atkey, Glynn Winskel, Jules Hedges, Guillaume Allais, and currently 10 PhD students. We are located in the city centre of Glasgow, with plenty of both culture and nature nearby. Scotland is a great place for theoretical computer science: we have active collaborations with researchers Edinburgh, Heriot-Watt, Glasgow and St. Andrews. Applications, requests for further information, and other informal enquiries can be sent to: Fredrik Nordvall Forsberg fredrik.nordvall-forsb...@strath.ac.uk If you are interested, please get in touch as soon as you can. We hope to appoint in early March. Best wishes, Fred
[TYPES/announce] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear friends, The Department of Computer and Information Sciences at the University of Strathclyde, Glasgow, is currently advertising permanent positions at the Lecturer or Senior Lecturer level (Assistant and Associate Professor respectively in American English) with an initial five-year reduced teaching load: https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CTO120/strathclyde-chancellors-fellow-in-computer-and-information-sciences-434447__;!!IBzWLUs!VDGQe1bypPIv4Y9gWu-egEdvM1aMUKWMD7vVyTLtm1RRXlaTWM6BicCKpJIp0OQ7oYP-OC4Dbv1AGi02HR_kg8QfWIUw00tjUANT5ibWlYd4dA$ The application deadline is *Sunday 23 October 2022*. You will see that the ad asks for expertise connected with Trusted AI and Data Analytics, but this should be understood broadly. In particular, we believe that type theory, category theory and logic are excellent technologies for establishing trust, and the Mathematically Structured Programming group welcomes applications from type theorists, dependently typed programmers, category theorists, and logicians; we would be happy to help you develop an application. Please contact Head of Department and fellow category theorist Neil Ghani if you are interested, or of course me or anyone else from the group if you have questions. (I'm employed as a Chancellor's Fellow, so would be happy to share my experience of this particular position.) You can find our group website at https://urldefense.com/v3/__http://msp.cis.strath.ac.uk/__;!!IBzWLUs!VDGQe1bypPIv4Y9gWu-egEdvM1aMUKWMD7vVyTLtm1RRXlaTWM6BicCKpJIp0OQ7oYP-OC4Dbv1AGi02HR_kg8QfWIUw00tjUANT5iZ2PMaNqg$ . For opportunities to join us at more senior levels (Reader and Professor), please contact Neil Ghani directly. We also have an opening for our next Head of Department! https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CTN847/head-of-department-and-professor-in-computer-and-information-services-479106__;!!IBzWLUs!VDGQe1bypPIv4Y9gWu-egEdvM1aMUKWMD7vVyTLtm1RRXlaTWM6BicCKpJIp0OQ7oYP-OC4Dbv1AGi02HR_kg8QfWIUw00tjUANT5iZaRoK8aQ$ Best wishes, Fredrik
[TYPES/announce] Applied Category Theory 2022: Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July 18--22, 2022 https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/act2022/__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8K0ScgmSg$ The 5th International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022. This conference follows previous events at Cambridge (2021), MIT (2020), Oxford (2019) and Leiden (2018). HYBRID FORMAT The conference will be fully hybrid, that is, it will be possible for both the audience and presenters to participate remotely over Zoom, if preferred. REGISTRATION We are asking in-person participants to register and pay a nominal registration fee of GB£20 (about US$25) at the following link: https://urldefense.com/v3/__https://onlineshop.strath.ac.uk/conferences-and-events/science-faculty/computer-and-information-science/5th-international-conference-on-applied-category-theory-act-2022__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8L8iqqMsg$ If the fee is a financial burden for you, please contact us. Online attendance will be free, although we ask that you nevertheless register using the above link. This will allow us to keep track of the numbers of participants, send out zoom links, etc. The university's Covid regulations change unpredictably, and we still don't know what the capacity of the room will be. In the event that we are over-subscribed, we have some side rooms where participants can watch the livestream together while still participating normally in coffee breaks etc. The reason for the registration fee is to give us the option to limit participation if it becomes necessary, and if that happens then places will be first-come-first-served except for accepted speakers. Registration closes: Sunday 10 July FINANCIAL SUPPORT We have a budget for financial assistance for participants thanks to our sponsors, for which priority will be given to accepted speakers, PhD students and early career researchers. Please contact the organisers if this would be useful to you, including information about your status, and your estimated costs. Financial support application deadline: Friday 10 June Anywhere on Earth Financial support notification: Monday 13 June TRAVEL AND ACCOMMODATION: Central Glasgow has many hotels and Airbnbs, but can be busy in the summer months. The conference will be held in the McCance building on the Strathclyde campus: https://urldefense.com/v3/__https://www.openstreetmap.org/way/86419875__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8J8Lz0XYg$ The nearest hotel is the Premier Inn, about 30 seconds walk away. Glasgow is well served by trains in the UK (e.g. London Euston is 4.5 hours away), and can be reached from the European continent via a Eurostar train to London. Note that advance train tickets can be considerably cheaper in the UK. Glasgow has an international airport, and is also quite easily reachable from Edinburgh airport. Please see https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/act2022/practical.html__;!!IBzWLUs!QBLWb3ZtIHTutsY-ASVcBGP5mlvnbPIk4N0eWfjOlclZcbJ0PyHTBxOP_h14JpYiOBAw5ZsHudRWbpvX1F75zlo9d7zR_sv0XcXUh8IVQxTW2A$ for more information. We look forward to welcoming you in Glasgow! -- The organisers Jules Hedges (jules.hed...@strath.ac.uk) Fredrik Nordvall Forsberg (fredrik.nordvall-forsb...@strath.ac.uk) Jade Master (jade.mas...@strath.ac.uk) James Fairbanks (fairban...@ufl.edu)
[TYPES/announce] Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)
will be given to people with financial need and those giving presentations. Please contact the organisers for more information. PROGRAM COMMITTEE Tai-Danae Bradley, SandboxAQ and The Master’s University Benjamin Merlin Bumpus, Eindhoven University of Technology Matteo Capucci, University of Strathclyde Andrea Censi, ETH Zurich Corina Cirstea, University of Southampton Elena Di Lavore, Tallinn University of Technology James Fairbanks, University of Florida Gioele Zardini, ETH Zurich Jules Hedges, University of Strathclyde Kohei Kishida, University of Illinois, Urbana-Champaign Barbara König, University of Duisburg-Essen Clemens Kupke, University of Strathclyde Alexander Kurz, Chapman University Martha Lewis, University of Bristol (PC co-chair) Sophie Libkind, Stanford University Jade Master, University of Strathclyde (PC co-chair) Conor Mcbride, University of Strathclyde Joe Moeller, National Institute of Standards and Technology Elizabeth Munch, Michigan State University Fredrik Nordvall Forsberg, University of Strathclyde Paige North, University of Pennsylvania Emily Roff, University of Edinburgh Mehrnoosh Sadrzadeh, University College London Jonathan Sterling, Aarhus University Todd Trimble, Western Connecticut State University Christina Vasilakopoulou, University of Patras Greece Maaike Zwart, IT University of Copenhagen ORGANISING COMMITTEE Jules Hedges, University of Strathclyde Jade Master, University of Strathclyde Fredrik Nordvall Forsberg, University of Strathclyde James Fairbanks, University of Florida STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute ```
[TYPES/announce] Applied Category Theory 2022: Second Call for Papers
Master, University of Strathclyde (PC co-chair) Conor Mcbride, University of Strathclyde Joe Moeller, National Institute of Standards and Technology Elizabeth Munch, Michigan State University Fredrik Nordvall Forsberg, University of Strathclyde Paige North, University of Pennsylvania Emily Roff, University of Edinburgh Mehrnoosh Sadrzadeh, University College London Jonathan Sterling, Aarhus University Todd Trimble, Western Connecticut State University Christina Vasilakopoulou, University of Patras Greece Maaike Zwart, IT University of Copenhagen ORGANISING COMMITTEE Jules Hedges, University of Strathclyde Jade Master, University of Strathclyde Fredrik Nordvall Forsberg, University of Strathclyde James Fairbanks, University of Florida STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute
[TYPES/announce] Applied Category Theory 2022: First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5th Annual International Conference on Applied Category Theory (ACT2022) July 18--22, 2022 https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/act2022/__;!!IBzWLUs!GOBc0nMH_L3ZwFiCsHBb87-5etWVhzOwH14kzSBNtBVjO0m5X5q8vcPdrfaievjj30GBpq-BralwMA$ The Fifth International Conference on Applied Category Theory will take place at the University of Strathclyde from 18 to 22 July 2022, preceded by the Adjoint School 2022 from 11 to 15 July. This conference follows previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden. Applied category theory is important to a growing community of researchers who study computer science, logic, type theory, engineering, physics, biology, chemistry, social science, linguistics and other subjects using category-theoretic tools. The background and experience of our members is as varied as the systems being studied. The goal of the Applied Category Theory conference series is to bring researchers together, strengthen the applied category theory community, disseminate the latest results, and facilitate further development of the field. SUBMISSIONS We accept submissions in English of original research papers, talks about work accepted/submitted/published elsewhere, and demonstrations of relevant software. Accepted original research papers will be published in a proceedings volume. The keynote addresses will be chosen from the accepted papers. The conference will include an industry showcase event and community meeting. We particularly encourage people from underrepresented groups to submit their work and the organizers are committed to non-discrimination, equity, and inclusion. Submission formats: 1. Extended Abstracts should be submitted describing the contribution and providing a basis for determining the topics and quality of the anticipated presentation (1-2 pages). These submissions will be adjudicated for inclusion as a talk at the conference. Such work should include references to any longer papers, preprints, or manuscripts providing additional details. 2. Conference Papers should present original, high-quality work in the style of a computer science conference paper (up to 14 pages, not counting the bibliography; detailed proofs may be included in an appendix for the convenience of the reviewers). Such submissions should not be an abridged version of an existing journal article (see item 1) although pre-submission Arxiv preprints are permitted. These submissions will be adjudicated for both a talk and publication in the conference proceedings. 3. Software Demonstrations should be submitted in the format of an Extended Abstract (1-2 pages) giving the program committee enough information to assess the content of the demonstration. We are particularly interested in software that makes category theory research easier, or uses category theoretic ideas to improve software in other domains. Extended abstracts and conference papers should be prepared with LaTeX. For conference papers please use the EPTCS style files available at https://urldefense.com/v3/__http://style.eptcs.org/__;!!IBzWLUs!GOBc0nMH_L3ZwFiCsHBb87-5etWVhzOwH14kzSBNtBVjO0m5X5q8vcPdrfaievjj30GBpq9Oajv7Bw$ . The submission link is https://urldefense.com/v3/__https://easychair.org/conferences/?conf=act2022__;!!IBzWLUs!GOBc0nMH_L3ZwFiCsHBb87-5etWVhzOwH14kzSBNtBVjO0m5X5q8vcPdrfaievjj30GBpq9LA8RBnA$ . IMPORTANT DATES The following dates are all in 2022, and Anywhere On Earth. - Submission Deadline: Monday 9 May - Author Notification: Tuesday 7 June - Camera-ready version due: Tuesday 28 June - Adjoint School: Monday 11 to Friday 15 July - Main Conference: Monday 18 to Friday 22 July CONFERENCE FORMAT We hope to run the conference as a hybrid event with talks recorded or streamed for remote participation. However, due to the state of the pandemic, the possibility of in-person attendance is not yet confirmed. Please be mindful of changing conditions when booking travel or hotel accommodations. FINANCIAL SUPPORT Limited financial support will be available. Please contact the organisers for more information. PROGRAM COMMITTEE Jade Master, University of Strathclyde (Co-Chair) Martha Lewis, University of Bristol (Co-Chair) The full program committee will be announced soon. ORGANISING COMMITTEE Jules Hedges, University of Strathclyde Jade Master, University of Strathclyde Fredrik Nordvall Forsberg, University of Strathclyde James Fairbanks, University of Florida STEERING COMMITTEE John Baez, University of California, Riverside Bob Coecke, Cambridge Quantum Dorette Pronk, Dalhousie University David Spivak, Topos Institute
[TYPES/announce] Permanent positions at the University of Strathclyde
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, In the near future, the University of Strathclyde will announce a call for ** five-year research positions leading to permanent appointments ** Indeed, it is reassuring to see the university continue recruitment despite the Covid situation. The Mathematically Structured Programming group in the Department of Computer and Information Sciences welcomes applications from type theorists and semanticists, and would be happy to help you develop an application. Please contact Neil Ghani if you are interested, or of course me or anyone else from the group if you have questions. Please also forward this message to others who might be interested. The MSP group = The MSP group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into into the next generation of programming languages. We use ideas from category theory, type theory, and logic to do so. The group consists of Dr Robert Atkey, Dr Ross Duncan, Professor Neil Ghani, Dr Jules Hedges, Dr Clemens Kupke, Dr Jérémy Ledent, Professor Radu Mardare, Dr Conor McBride, Dr Fredrik Nordvall Forsberg, Professor Glynn Winskel, and our PhD students. For more information, please see our group website, and our individual websites linked from there: http://msp.cis.strath.ac.uk Glasgow and Scotland The University of Strathclyde is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of Britain's most intriguing metropolises" (https://www.lonelyplanet.com/scotland/glasgow/). It is less than an hour away by car or public transport from the Scottish Highlands. Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde. Best wishes, Fredrik
[TYPES/announce] Postdoctoral position in Compositional Game Theory at Univ. of Strathclyde
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Strathclyde is looking to recruit a full-time postdoctoral researcher to work on the project "Compositional Game Theory" with Professor Neil Ghani, Dr Clemens Kupke and Dr Fredrik Nordvall Forsberg. Duration: initially 1 year, with possible extension to 4 years Salary: £32236 - £3960 Start: 1 August 2019 or soon thereafter Deadline: 25 May 2019 Interested candidates should contact Professor Neil Ghani (n...@cis.strath.ac.uk) in the first instance. Applicants must hold or be about to receive a doctoral degree in Computer Science or Mathematics or Economic Game Theory, and have a strong background in one or more of the following areas: * Category theory * Programming languages * Type Theory * Economic Game Theory The successful applicant will focus on developing foundational theory to support Compositional Game Theory and/or applications of Compositional Game Theory to real world applications. This includes collaborating with project partners and members, including PhD students. The position lies within the MSP group (http://msp.cis.strath.ac.uk/) consisting of Neil Ghani, Conor McBride, Clemens Kupke, Ross Duncan, Bob Atkey and Fredrik Nordvall Forsberg.