September 2024 - finite-model-theory

Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
by Abhisekh Sankaran 29 Sep '24

29 Sep '24

Dear colleague, As you may know, FSTTCS 2024 (https://www.fsttcs.org.in/2024/) is going to be held in IIT Gandhinagar during 16-18 December. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. In continuation from last year, this year too co-located with the main FSTTCS conference, IARCS is organizing a Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS). The focus of the workshop will be on all areas of Programming Languages, including but not limited to, Program Analysis and Verification, Applied Formal Methods, and Compilers. The objective of RHPL is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods. Please visit the webpage for more details: https://fmindia.cmi.ac.in/rhpl2024/ We solicit (1) Talk proposals: On recent work that has been published in good venues, or is mature in terms of approach and evaluation. (2) Poster proposals: On early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. You may submit a proposal using this Google form: https://forms.gle/B3sj8xu4hrCKar2M9. The important dates are as below. Submission deadline: October 15, 2024 (AoE) Notification: October 25, 2024 RHPL@FSTTCS: December 16-18, 2024 We look forward to receiving your talk/poster proposals to the workshop. On Behalf of the RHPL@FSTTCS workshop organizing committee: Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) (Co-Chair) Kartik Nagar (IIT Madras) Ganesan Ramalingam (Microsoft) Aseem Rastogi (Microsoft Research) Abhik Roychoudhury (National University of Singapore) Abhisekh Sankaran (Tata Consultancy Services Research) Divyesh Unadkat (Synopsys) (Co-Chair)

1 0

PhD position in Logic and Complexity, Sheffield (UK), Deadline: 30
by Jonni T Virtema 22 Sep '24

22 Sep '24

******************************************************* * PhD position in Quantitative logics and complexity theory * University of Sheffield, UK * Fully funded for 3.5 years (both UK Home and International rates) * Possible times to start: preferably February 2025 or earlier ******************************************************* I am looking for a motivated PhD student to join the Foundations of Computation group (https://www.sheffield.ac.uk/cs/research/groups/foundations-computation) of The University of Sheffield (https://www.sheffield.ac.uk/cs). The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory (for more details: https://www.jobs.ac.uk/job/DJK909/phd-studentship-quantitative-logics-and-c…). This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences. Interested candidates are encouraged to contact me directly by email for further details (j.t.virtema(a)sheffield.ac.uk). For more details on the possible topics, the candidate may refer to my recent works at http://www.virtema.fi/. Best wishes, Jonni

1 0

PostDoc position, University of Warsaw
by Paweł Parys 18 Sep '24

18 Sep '24

PostDoc position in automata theory / algorithmic game theory, University of Warsaw ************************************************************************** - Application deadline: 18 Oct 2024 - Starting date: Jan 2025 or earlier - Salary: 7600 PLN/month before taxes (quite competitive in Poland) - Duration: 6 or 12 months - Project: "Computational aspects of infinite-duration games" funded by NCN - Principal investigator: Paweł Parys (www.mimuw.edu.pl/~parys) - Contact: parys(a)mimuw.edu.pl ************************************************************************** The project concerns solving parity games and other kind of games, and related questions (this is mostly a theoretical research). Candidates willing to work in other areas of automata theory are also encouraged to contact me. We promise a vibrant working atmosphere in the automata group at the University of Warsaw, and exciting and challenging research problems. The ideal candidate is expected to have: • PhD degree or equivalent in computer science or math, • solid background in formal methods and automata theory, • significant publication record, • strong motivation for research work in foundations of computer science, • advanced skills in written and spoken English. For details of application and recruitment procedure, please contact Paweł Parys at parys(a)mimuw.edu.pl

1 0

Call for Applications - Cluster of Excellence "Bilateral AI"
by Hackl, Andrea 18 Sep '24

18 Sep '24

================================================================= [Apologies for cross-postings] ================================================================= Cluster of Excellence Bilateral Artificial Intelligence Call for Applications For the recently established Cluster of Excellence CoE Bilateral Artificial Intelligence (BILAI), funded by the Austrian Science Fund (FWF), we are looking for more than 50 PhD students and 10 Post-Doc researchers (m/f/d) to join our team at one of the six leading research institutions across Austria (see below). In BILAI, major Austrian players in Artificial Intelligence (AI) are teaming up to work towards Broad AI. As opposed to Narrow AI, which is characterized by task-specific skills, Broad AI seeks to address a wide array of problems, rather than being limited to a single task or domain. To develop its foundations, BILAI employs a Bilateral AI approach, effectively combining sub-symbolic AI (neural networks and machine learning) with symbolic AI (logic, knowledge representation, and reasoning) in various ways. Harnessing the full potential of both symbolic and sub-symbolic approaches can open new avenues for AI, enhancing its ability to solve novel problems, adapt to diverse environments, improve reasoning skills, and increase efficiency in computation and data use. These key features enable a broad range of applications for Broad AI, from drug development and medicine to planning and scheduling, autonomous traffic management, and recommendation systems. Prioritizing fairness, transparency, and explainability, the development of Broad AI is crucial for addressing ethical concerns and ensuring a positive impact on society. The research team is committed to cross-disciplinary work in order to provide theory and models for future AI and deployment to applications. CoE Research Institutions: Johannes Kepler Universität Linz (JKU Linz) Technische Universität Wien (TU Wien) Alpen-Adria-Universität Klagenfurt (AAU) Institute of Science and Technology Austria (ISTA) Technische Universität Graz (TU Graz) Wirtschaftsuniversität Wien (WU Wien) The call for applications is available at https://www.bilateral-ai.net/jobs/.

1 0

Postdoc position in automata and concurrency theory at the University
by Sławomir Lasota 09 Sep '24

09 Sep '24

**************************************************************** Postdoc in automata and concurrency theory, University of Warsaw **************************************************************** We invite applications of motivated and research-focused individuals to carry out research on mathematical models of concurrent systems as part of the NCN project "Frontiers of automatic analysis of concurrent systems". The project aims at advancing theoretical foundations at the borderline between automata theory, concurrency and formal verification. **************************************************************** - Application deadline: 30 Sept 2024 - Starting date: Jan 2025 or earlier - Duration: one year - Principal investigator: Sławomir Lasota (www.mimuw.edu.pl/~sl) - Contact: sl(a)mimuw.edu.pl **************************************************************** The successful candidate will be hosted by the automata theory group at the University of Warsaw, offering: - a vibrant working atmosphere, - exciting and challenging research problems, - competitive salary, - scientific collaborations worldwide. The ideal candidate is expected to have: - PhD degree or equivalent in computer science or math - solid background in formal methods or automata theory - excellent publication record - strong motivation for research work in foundations of computer science - advanced skills in written and spoken English. For details of application and recruitment procedure, please contact Sławomir Lasota at sl(a)mimuw.edu.pl

1 0

4 Senior RA Posts in Security at Lancaster (tight deadline)
by Marco Caminati 04 Sep '24

04 Sep '24

[feel free to circulate; apologies for cross/multiple postings] Dear colleagues, Please find below the advert for up to five posts of Research Associates at Lancaster University - School of Computing and Communications. Deadline 15/9. https://www.jobs.ac.uk/job/DIZ010/senior-research-associates-sculi-security… Kind regards, Marco Dr Marco Caminati | Assistant Professor (Lecturer) in Computer Science Lancaster University Leipzig room 604 | Strohsack-Passage Nikolaistraße 10 | 04109 Leipzig | Germany Landline: +49 341 339 77 646 www.lancasterleipzig.de GPS: 51.3410, 12.3782

1 0