From pekka.orponen at aalto.fi Sat Feb 8 11:49:41 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:49:41 +0200 Subject: [Job-offers-cs] New positions on the Informatics Europe job platform Message-ID: <1db80025-58c3-4b27-aa6a-27ced422cc93@aalto.fi> https://www.informatics-europe.org/services/informatics-job-platform.html From pekka.orponen at aalto.fi Sat Feb 8 11:52:11 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:52:11 +0200 Subject: [Job-offers-cs] Assistant Professor positions at Aalto University (Finland) In-Reply-To: <3AA7324D-FE48-4454-B2FF-31856F7D1D7F@aalto.fi> References: <3AA7324D-FE48-4454-B2FF-31856F7D1D7F@aalto.fi> Message-ID: <53e094bb-5748-4dec-99b7-bfc5039fc688@aalto.fi> Hi all, The Department of Computer Science at Aalto University (Finland) is hiring five Assistant Professors: https://www.aalto.fi/en/department-of-computer-science/assistant-professor-positions Among the positions is e.g. one position in ?Programming languages?, which might be of interest to this community. Kind regards, Jukka Suomela From pekka.orponen at aalto.fi Sat Feb 8 11:52:59 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:52:59 +0200 Subject: [Job-offers-cs] Tenure-Track position in MIS, Ad Astra Fellowship, College of Business, UCD In-Reply-To: References: Message-ID: <29eb2ae0-5457-40f2-8534-ed474c083e01@aalto.fi> Dear Colleagues University College Dublin (UCD, Dublin, Ireland) has recently opened the competitive *Ad Astra Fellowship positions*. I am writing here to highlight possibilities within the *UCD College of Business, Management Information Systems Subject Area*. - Ad Astra Fellowships are *tenure-track*, highly competitive, faculty posts as you can see from the appointment terms below: - Ad Astra Fellow appointees will normally be appointed at the first salary point of Assistant Professor/Lecturer Above-the-Bar pay scale. - The initial term will be five years with the possibility of permanency after a four-year review of performance against targets set with the Head of School at commencement and approved at College and University level. These targets will include applying for a minimum of one externally-funded research grant each year, and there will normally be an expectation that at least one of these grant applications is successful for the four-year review to be satisfactory. - Relocation expenses will be paid in accordance with the UCD Relocation Policy up to a maximum of ?4500. - Appointees will have a reduced teaching load for up to three years, with a teaching load of between one third and one half of the standard teaching load in the first year, between one half and two thirds in the second year and between two thirds and one of the standard teaching load in the third year. - Appointees will receive research support for the first five years, which will normally consist of a PhD student scholarship and a budget for research costs of ?5000 per annum. - Appointees without a formal university teaching qualification will be expected to undertake the UCD Professional Certificate in University Teaching and Learning. Further requirements for satisfactory performance will be determined and will include a specified number of high-quality research publications appropriate for the discipline. The Management Information Systems (MIS References: <1465231743.2635954.1737981998201@mail.yahoo.com> Message-ID: We have an open professorship (all ranks) position in Project Management. If you?re a passionate researcher with a Ph.D. in Management, Operations Management, Engineering, or a related field (with orientation in?project_management and?data_science), we invite you to become part of our innovative academic community. SKEMA Business School SKEMA CENTRE FOR ANALYTICS AND MANAGEMENT SCIENCE https://www.skema.edu/fr/skema-centre-analytics-and-management-science> Here is the link to the call: https://recrutement.skema.edu/?page=advertisement_display&id=1342> Deadline for applications: March 31st, 2025 From pekka.orponen at aalto.fi Sat Feb 8 11:54:37 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:54:37 +0200 Subject: [Job-offers-cs] Simons-Berkeley Research Fellowships for Spring 2026 In-Reply-To: References: Message-ID: <2a6e163e-0e67-4c55-acb9-2733a59466a5@aalto.fi> Greetings, Please distribute widely. Thank you. The Simons Institute for the Theory of Computing invites applications for Simons-Berkeley Research Fellowships for the Spring 2026 semester. Simons-Berkeley Research Fellowships are intended for exceptional scientists to participate in at least one of the semester-long programs at the institute. The Institute will host one program in Spring 2026: Federated and Collaborative Learning. The deadline for receipt of applications is April 1, 2025. For more information, see the call for applications: https://simons.berkeley.edu/research-fellowship-call-applications> -- Sampath Kannan Associate Director Simons Institute for the Theory of Computing From pekka.orponen at aalto.fi Sat Feb 8 11:55:13 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:55:13 +0200 Subject: [Job-offers-cs] Postdoctoral position (TVL E13, 3 years) for analyzing graphs at University of Bonn (Germany) In-Reply-To: <4790B049-8009-47EB-9F28-0CB14014D960@cs.uni-bonn.de> References: <4790B049-8009-47EB-9F28-0CB14014D960@cs.uni-bonn.de> Message-ID: Postdoctoral position (TVL E13, 3 years) for analyzing (temporal) graphs at University of Bonn ==================================================================== In our research group Computational Analytics (https://ca.cs.uni-bonn.de/doku.php?id=ags:coan>led by Prof. Petra Mutzel https://ca.cs.uni-bonn.de/doku.php?id=people:mutzel>at the Computer Science Institute of the University of Bonn (Germany), we have a position for a PostDoc available for about 3 years (until December 2027, available: as soon as possible) The aim of our project is to use (temporal) graph algorithms to get a deeper understanding of molecular systems by studying their conformations (3D structure). The main work expected to be done is to design new graph similarity approaches that maybe useful for the application in chemistry. Within this project, we cooperate with a chemist (Prof. Barbara Kirchner) and a PhD student in chemistry. As a member of the research group of Petra Mutzel you can also supervise students on Bachelor and/or Master level with projects defined by yourself. You have no teaching obligations. Since the University of Bonn is among the few German Universities of Excellence with six clusters of excellence, one of them in Mathematics, many of our bachelor and master students are really excellent; some of them study both, Mathematics and Computer Science. If you are interested, we can meet, and I can try to explain a bit more about it. Best regards Petra Mutzel pmutzel at uni-bonn.de ------------------------------------------------- Professor Dr. Petra Mutzel Lehrstuhl f?r Computational Analytics Wiss. Leitung HPC/A-Lab am DiCe Universit?t Bonn Institut f?r Informatik Abteilung I, R. 2.077 Friedrich-Hirzebruch-Allee 8 (umbenannt von: Endenicher Allee 19A) 53115 Bonn https://ca.cs.uni-bonn.de/> From pekka.orponen at aalto.fi Sat Feb 8 11:56:09 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:56:09 +0200 Subject: [Job-offers-cs] 6-year postdoc position in Probabilistic Combinatorics, TU Graz, Austria In-Reply-To: <8734df3c-b396-4b66-a6a0-8c0de20a0df7@math.tugraz.at> References: <8734df3c-b396-4b66-a6a0-8c0de20a0df7@math.tugraz.at> Message-ID: <657e9e3d-e7bb-4918-91b0-23f9746412b7@aalto.fi> Dear colleagues, the Graz University of Technology is advertising a 6-year postdoc position (University Assistant) in Probabilistic Combinatorics within the Combinatorics Group (https://www.math.tugraz.at/comb/> Application Deadline: 16 March 2025 Earliest possible starting date of employment: 1 October 2025 Contract duration: 72 months Annual gross salary: at least ? 69,060.60 Teaching: 4 semester hours per week We encourage potentially interested candidates to consult the official announcement of the position (https://jobs.tugraz.at/en/jobs/246d31fa-2e95-636c-797a-675abd5a2ad7 which contains additional details about the position and instructions for application. Best regards Mihyun Kang (Head of the Combinatorics Group) From pekka.orponen at aalto.fi Sat Feb 8 11:56:42 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:56:42 +0200 Subject: [Job-offers-cs] PostDoc Position at Johannes Kepler University Linz, Austria In-Reply-To: <9cb0b65d-d09e-4fbf-ac75-97071eddf414@jku.at> References: <9cb0b65d-d09e-4fbf-ac75-97071eddf414@jku.at> Message-ID: <8237128d-4de6-40fc-b890-4c5b2d9cf356@aalto.fi> We are pleased to announce the following job position - please feel free to forward in your own networks to potentially interested people! # University Assistant (must hold a Doctorate/Ph.D. degree) for a Full-time, six-year position ## Organizational unit LIT Secure and Correct Systems Lab ## Entry date 09/01/2025 ## Job Reference Number 151050-2025-001206 ## Environment The research group for "Secure Systems" at the Secure and Correct Systems Lab focuses on security engineering and security economics by applying quantitative methods, particularly in the field of artificial intelligence. We are looking for post-doc level researchers who aim to pursue an academic career. We offer ample opportunities to conduct one?s own research and manage projects in different areas of IT security, including - but not limited to - secure machine learning, security decision support systems, protocol design and verification, formal methods and much more. Interdisciplinary approaches, such as combining machine learning with classical security mechanisms to support innovative new security concepts, are particularly welcome. ## Job Duties *??? Independently conduct research focusing on one or more of the areas listed under the qualifications, with the objective to earn academic qualifications at habilitation level *??? Be actively involved in acquiring projects and external funding as well as submitting applications for research funding *??? Actively take part supervising students, including classroom teaching and giving examinations *??? Provide support to manage the institute?s general administration activities *??? Actively take part in creating and expanding national and international academic/scientific contacts *??? Engage in public relations and knowledge transfer ## Your Qualifications *??? The successful candidate must hold a Doctorate/Ph.D. degree in computer science, mathematics, or a related field conferred by a university in Austria or abroad with thematic relevance to one or more of the following fields: ????? - Applied security (e.g., network security, applied cryptography) ????? - Game theory for security ????? - Data Science and artificial intelligence, with applications in security ????? - Discrete Mathematics ????? - IT risk management ????? - Security economics *??? Publication experience and -record in one or several of the above areas (include sample papers of yours in your application, and point out your specific contribution thereto) *??? Research project experience (participation in projects, acquisition or lead of projects, if any) *??? Experience in programming (C, C++, etc.) is preferred *??? Very good skills language skills in English required (at least B2), and in German (C1) preferred, or the commitment to learn German within the first 2 years of employment ## What We Offer *??? On the basis of full-time employment (40 hours/week) the minimum salary in accordance with the collective agreement is ? 4,932.90 gross per month (14 x per year, CA Job Grade: B1) *??? Stable employer *??? Attractive campus environment with good public transportation connections *??? Attractive continual educational opportunities *??? State-of-the-art research infrastructure *??? Dynamic research environment *??? Broad range of on-campus dining services/healthy meals (organic food at the cafeteria) *??? Exercise and sports classes (USI) *??? ...and much more ## Application Deadline **03/26/2025** The Johannes Kepler University wishes to increase the proportion of academic female faculty and, for this reason, especially welcomes applications by qualified women. If applicants are equally qualified, a woman will be given preference for this position. The university welcomes applications from qualified applicants with disabilities. These applications will be given special consideration. ## Application Link https://karriere.jku.at/hcm/jobexchange/renderApplicationForm.do?j=&organizationUnitId=&source=&jobOfferId=8a7ec301945fd6880194653fdb120003> ## Contact If you have questions, please contact: Univ. Prof. DI DI Dr. Stefan Rass, P +43 732 2468 545, E-mail: stefan.rass at jku.at. Exertion place address Altenberger Stra?e 69, 4040 Linz From pekka.orponen at aalto.fi Sat Feb 8 11:57:11 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:57:11 +0200 Subject: [Job-offers-cs] Postdoc positions in Combinatorics at School of Computer Science of Charles University (Prague, Czechia) In-Reply-To: References: Message-ID: <3315d8c4-cc74-4d9c-b1ce-c8d39b122fc3@aalto.fi> Four postdoc positions (1+1 year) in Combinatorics are available at School of Computer Science of Charles University (Prague, Czech Republic). Candidates from other areas of Mathematics (e.g., Topology, Model Theory) and Theoretical Computer Science are also encouraged to apply. The positions are offered by the following advisors: - Jan Hubicka [Structural Ramsey theory, homogeneous structures, extension property for partial automorphisms] - Robert Samal [Nowhere-zero flows and cycle-double cover, graphs on surfaces, random embeddings and random graphs] - Martin Tancer [Computational topology or topological, geometric or algebraic combinatorics] - Mykhaylo Tyomkyn [Extremal and probabilistic combinatorics, deterministic processes on graphs] Applications are invited from candidates with a strong background in combinatorics or a related area, who have completed their Ph.D. degree after 1 Jan 2017 (with possible exceptions for childcare or health reasons), or will complete their Ph.D. degree by Autumn 2025. The positions are hosted by the Department of Applied Mathematics (https://kam.mff.cuni.cz/ and the Computer Science Institute (https://iuuk.mff.cuni.cz/ located in the beautiful historical center of Prague. Prague's location in the heart of Europe makes it easy to travel to many attractive locations, be it for work or leisure. The gross salary of 65000 CZK monthly, including the national health insurance scheme cover. The salary to cost of living ratio is comparable with similar positions in Europe. The price level in Prague can be estimated at Numbeo. *Starting date:* October 2025 (negotiable) The application should contain: * A short letter of motivation (research statement), * Professional CV (including a list of publications), * At least two letters of recommendation, sent directly by the referees. Please state, which one or multiple advisors you would like to work with. *Application deadline:* 28 February, 2025. The application and the recommendation letters are to be sent to postdocs at kam.mff.cuni.cz For informal inquiries you may also contact the advisors in question directly. From pekka.orponen at aalto.fi Sat Feb 8 11:57:38 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:57:38 +0200 Subject: [Job-offers-cs] Postdoctoral position at the Czech Technical University in Prague In-Reply-To: References: Message-ID: A one-year full-time postdoc position (with probable extension) is available in the G2OAT research group at the Czech Technical University in Prague (CTU), Czech Republic with a preferred starting date of June 2025 (negotiable). The research interests of the group range from graph algorithms, through game theory, mechanism design, combinatorial games, to classical and parameterized complexity and integer linear programming. The prospective mentors for the position are Tom?? Valla and Du?an Knop. The main topic for the project is in the algorithmic and combinatorial game theory, with extensions to related fields like approximation algorithms or parameterized complexity. The research group Graphs, Games, Optimization, Algorithms, and Theoretical Computer Science (G2OAT) https://ggoat.fit.cvut.cz/index.html is a part of the Department of Theoretical Computer Science at the Faculty of Information Technology at CTU. The department also includes Stringology and Arborology research groups. The G2OAT research group is rather small, comprising 2 associate professors, 6 assistant professors, 4 postdocs, and 6 Ph.D. students. A successful candidate will work at CTU's main campus which features a range of amenities such as the National Technical Library, and a laid-back atmosphere with cafes and other social hangout places. The successful candidate will get a monthly salary of 65 thousand CZK (about 2750 EUR) (the Czech Republic's cost of living is at 66% of the US price level according to the OECD statistics). There are no teaching duties associated with this position. The position is institutionally funded, i.e., funded by the Czech Technical University in Prague. We are seeking highly motivated individuals holding a Ph.D. in computer science, discrete mathematics, or related areas. The applicants are expected to have a strong background in combinatorics, graph theory, foundations of algorithmic game theory or combinatorial game theory. Additionally, specialization in the following areas is a bonus: graph algorithms, cops-and-robber-type problems, computational complexity or approximation algorithms, Ramsey theory and positional games. The candidate's high scientific potential should be witnessed by publications in the area of algorithms or discrete math in impacted journals and in proceedings of highly ranked international conferences. The successful candidate must: * Be a researcher who has received a Ph.D. or its equivalent within the last 7 years * have a strong publication record (with at least 3 publications in a journal with IF), and * be fluent in English (both written and spoken), prior knowledge of Czech is not required. The preliminary communication and informal inquiries containing the applicant's CV and motivation letter should be sent to Tom?? Valla tomas.valla at fit.cvut.cz. The closing date for this communication is February 23, 2025. The formal application procedure description will be sent to the applicant by Tom?? Valla after a preliminary interview - the call is not yet formally opened at the university webpages and it is to be opened soon. From pekka.orponen at aalto.fi Sat Feb 8 11:58:00 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:58:00 +0200 Subject: [Job-offers-cs] 3-year postdoc at Durham on a CSP project In-Reply-To: References: Message-ID: <2096fd0f-9393-43c8-82c4-575d70d4df90@aalto.fi> Applications are invited for a full time 3-year postdoc position at the Department of Computer Science, Durham University, UK. The position is funded by the research project ?Promise Constraint Satisfaction Problems: Structure and Complexity?, led by Andrei Krokhin. Prior experience of research on mathematics of constraint satisfaction is desirable, but not essential. The closing date for applications is 10 March. The indicative starting date for the post is 1 September. More information about the project, the position and a link to submission portal can be found on Andrei Krokhin's website https://andreikrokhin.webspace.durham.ac.uk/ and here: https://durham.taleo.net/careersection/du_ext/jobdetail.ftl?job=24002302&lang=en> Informal inquiries are welcome, email andrei.krokhin at durham.ac.uk From pekka.orponen at aalto.fi Sat Feb 8 11:58:30 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 8 Feb 2025 11:58:30 +0200 Subject: [Job-offers-cs] Postdoc and PhD Position in Algorithms & Combinatorial Optimization (Bremen) In-Reply-To: <12fa0a36-296e-4d23-bd7d-75b9b64333e3@uni-bremen.de> References: <12fa0a36-296e-4d23-bd7d-75b9b64333e3@uni-bremen.de> Message-ID: <59506075-5271-45b8-928d-d3906295fdee@aalto.fi> A postdoc and a PhD position are available at the Chair for Combinatorial Optimization headed by Prof. Nicole Megow (https://www.uni-bremen.de/en/cslog/nmegow at the University of Bremen. The research interests of the group are in the areas of combinatorial optimization, efficient algorithms, approximation algorithms, optimization under uncertainty such as online, stochastic, or robust optimization, and modern models beyond the worst case e.g. integrating machine learning into algorithm design. We are looking for candidates with - a strong mathematical background, an excellent degree in mathematics or computer science - excitement about algorithms, combinatorial problems, theoretical analysis - for postdocs: a good track record in algorithms and combinatorial optimization, ideally a background in some of the other above-mentioned topics - high motivation, creativity and openness. We offer a full-time position for two years (postdoc) resp. three years (PhD) with a competitive salary, 30 days of vacation, social security according to the Federal German Payment scale TV-L 13 (gross annual salary of 52k-75k EUR, depending on qualifications and personal situation). The group is part of the faculty of mathematics and computer science and has strong ties to other theory and optimization oriented groups and university-wide initiatives in AI and data science, providing the potential for collaborations within Bremen. Further, the group is well connected to other leading research groups worldwide. We encourage and support international collaborations and research visits. The University of Bremen, a mid-sized German institution accommodating approximately 18,000 students, is closely affiliated with numerous research institutes. It is part of the European university network YUFE?Young Universities for the Future of Europe. As a major urban center, the city of Bremen offers a dynamic blend of tradition and modernity, making it appealing for a vibrant student community. The city boasts an excellent quality of life, featuring a rich cultural scene with diverse arts and music that cater to every taste, from classical to alternative. With a population of over half a million residents, Bremen offers a pleasant mix of urban life and easily accessible charming countryside, lying in proximity to the North Sea. Knowledge of German is not necessary. The application material includes - a letter of motivation indicating your interest in working in our group - an academic CV - PhD students: your Master's thesis and study transcripts (with grades) - Postdocs: short research statement (1 page is enough) Please send the material as a pdf to nicole.megow at uni-bremen.de. Applications will be reviewed starting from February 23. The envisioned starting date is May 1st or soon after, but may be negotiable. If you have any questions, don't hesitate to contact Nicole Megow (nicole.megow at uni-bremen.de). Informal inquiries are welcome. From pekka.orponen at aalto.fi Wed Feb 12 11:43:39 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Wed, 12 Feb 2025 11:43:39 +0200 Subject: [Job-offers-cs] 3 permanent CS posts at Maynooth University, Ireland In-Reply-To: References: Message-ID: There are three permanent academic positions at the Department of Computer Science at Maynooth University, Ireland, at Asst Prof and Asst Lecturer levels (?62k-?70k salary depending on experience; and theorists are welcome!).? Closing date is soon: Sunday 16th Feb: https://my.corehr.com/pls/nuimrecruit/erq_jobspec_version_4.display_form?p_company=1&p_internal_external=E&p_display_in_irish=N&p_process_type=&p_applicant_no=&p_form_profile_detail=&p_display_apply_ind=Y&p_refresh_search=Y&p_recruitment_id=033121> Folks can reach out to me before the deadline if they have questions. Best, Damien -- ?Prof Damien Woods ?Hamilton Institute & Dept of Computer Science ?Maynooth University ?Ireland https://dna.hamilton.ie/ From pekka.orponen at aalto.fi Sat Feb 22 14:14:00 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:14:00 +0200 Subject: [Job-offers-cs] New positions on the Informatics Europe job platform Message-ID: <52d2de48-c266-4046-a1bb-e3ed5130c7ce@aalto.fi> https://www.informatics-europe.org/services/informatics-job-platform.html From pekka.orponen at aalto.fi Sat Feb 22 14:15:36 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:15:36 +0200 Subject: [Job-offers-cs] Postdoc fellowship and faculty visits, Dresden Germany Message-ID: <73001613-1165-430c-a20f-2440a095059f@aalto.fi> The ELBE postdoctoral fellows and faculty visiting program (named after the ELBE river in Dresden, Germany) is open for applications with deadline14 February. We are interested in independent researchers on the postdoctoral level for 2-3 years or faculty for 2-3 months, who come with their own research proposal and freely choose which groups to affiliate with at the Center for Systems Biology Dresden (joint between Max Planck Institutes in Dresden and Technical University of Dresden). This fellowship program provides an ideal springboard to an independent research career in mathematics, computer science, machine learning, theoretical biophysics, systems biology and connections with biological applications. For details about the application procedure, please visit our website www.csbdresden.de/join-us/as-a-postdoc/ and www.csbdresden.de/join-us/as-a-guest -------------- next part -------------- An HTML attachment was scrubbed... URL: From pekka.orponen at aalto.fi Sat Feb 22 14:16:21 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:16:21 +0200 Subject: [Job-offers-cs] Postdoc position at University of Iceland In-Reply-To: <178951ee-23c7-42ce-853d-7a2a36f53a2b@app.fastmail.com> References: <178951ee-23c7-42ce-853d-7a2a36f53a2b@app.fastmail.com> Message-ID: <84033930-d67f-4144-bcb6-097b95d152fd@aalto.fi> Dear colleagues, Applications are invited for a postdoctoral position at the Mathematics division of the University of Iceland. This position is in a project to advance and promote (type-theoretic) computer-assisted proofs in Iceland. The application deadline is 28 February 2025: https://akc.is/ad/postdoc-2025/ Details about the project can be found here: https://icetcs.github.io/iceproof/ Cheers, Anders Claesson, akc at hi.is From pekka.orponen at aalto.fi Sat Feb 22 14:17:05 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:17:05 +0200 Subject: [Job-offers-cs] PostDoc Position "Industrial Problem Solving Using Symbolic and Subsymbolic AI" In-Reply-To: <824cfb9f-c902-4e5f-bcac-d92a36c330da@risc.jku.at> References: <824cfb9f-c902-4e5f-bcac-d92a36c330da@risc.jku.at> Message-ID: FFG Exploratory Project InProSSA: Industrial Problem Solving Using Symbolic and Subsymbolic AI POSTDOC POSITION The Research Institute for Symbolic Computation (RISC, https://risc.jku.at/ and the Institute for Symbolic Artificial Intelligence (SAI, https://jku.at/sai of the Johannes Kepler University (JKU) Linz, Austria, offer in the frame of the exploratory FFG project ?InProSSA: Industrial problem solving using symbolic and subsymbolic AI? a position for a person with doctoral degree in computer science, mathematics, artificial intelligence, or related areas and (academic and/or industrial) expertise in (some of) the following areas: ? Formal analysis and modeling of mathematical problems ? Formal languages (syntax, semantics, implementation, ...) ? Formal logic (automated reasoning, SAT/SMT solving, ...) ? Software development The person filling this position will carry out exploratory research and development tasks under the supervision of/in collaboration with senior researchers of RISC, SAI and other partners of the project consortium. The position will involve both research and development, with focus on the design and implementation of a domain-specific modeling language for industrial optimization/scheduling problems. Publication of the project results in collaboration with the project partners at scientific conferences respectively in scientific journals is expected. The salary of the position is according to the FWF rate for postdocs (? 4752 gross salary per month) and is offered for a period of 11 months for a full employment or a correspondingly longer period for a part-time employment (e.g., 15 months for a 75% employment), starting between June and November 2025. After the termination of the contract, there is the possibility for non-limited employment by RISC Software (https://www.risc-software.at/ a non-university research institution that is owned by JKU and located in Hagenberg, Austria. We promote professional equality for women and therefore expressly welcome applications from women. In the case of equal suitability, female applicants will be given preferential consideration as far as legally possible. Please send your application (including a CV) per email to: Wolfgang Schreiner Associate Professor RISC Institute, Johannes Kepler University Linz, Austria From pekka.orponen at aalto.fi Sat Feb 22 14:17:28 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:17:28 +0200 Subject: [Job-offers-cs] Postdoctoral Scientist Position - Amazon Transportation Research - Luxembourg In-Reply-To: References: Message-ID: We are looking for a Postdoctoral Scientist with a recent PhD in Operations Research, Computer Science, or Applied Mathematics. This is a unique opportunity to work on real-world problems at a massive scale. Be part of a team that is shaping the future of global logistics! Check out the full job description and apply here: https://lnkd.in/gqu7RRVS>LinkedIn Post: https://tinyurl.com/ATSPostDoc> Feel free to reach out if you have any questions about the role or our team, and reply with your CV here, Nikos Liakopoulos Research Science Manager Amazon Transportation Services - Science & Technology (SnT) From pekka.orponen at aalto.fi Sat Feb 22 14:17:51 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:17:51 +0200 Subject: [Job-offers-cs] PhD and postdoc positions in theoretical computer science at Lund University, Sweden In-Reply-To: References: Message-ID: The Department of Computer Science at Lund University invites applications for up to two PhD positions and one postdoc in theoretical computer science with focus on computational complexity and algorithms to be working in the research group of Susanna de Rezende (https://derezende.github.io/team). These are full-time employed positions employed positions (including travel money) that come with an internationally competitive salary. Lund University is located in the ?resund area, which is offering one of the strongest and most exciting environments in computational complexity research in Europe. We have extensive collaboration with the University of Copenhagen (UCPH), the IT University of Copenhagen (ITU), and the Technical University of Denmark (DTU) on the other side of the ?resund Bridge. The application deadline is March 16, 2025 for the PhD positions and March 31, 2025 for the postdoc position at midnight local time. See https://derezende.github.io/openpositions/ for more information and instructions on how to apply. Informal enquiries are welcome and can be sent to susanna.rezende at cs.lth.se. From pekka.orponen at aalto.fi Sat Feb 22 14:18:35 2025 From: pekka.orponen at aalto.fi (Pekka Orponen) Date: Sat, 22 Feb 2025 14:18:35 +0200 Subject: [Job-offers-cs] Postdoctoral fellowship In-Reply-To: References: Message-ID: <77d8656d-035e-4caf-b2cc-542cbe523e96@aalto.fi> POSTDOCTORAL FELLOWSHIP UNIVERSITE DU QUEBEC EN OUTAOUAIS, CANADA A postdoctoral position in computer science is available at the Research Chair in Distributed Computing of the Universit? du Qu?bec en Outaouais, Canada, under the supervision of Prof. Andrzej Pelc. Requirements: * Ph.D. in Computer Science or Mathematics obtained between June 1, 2022 and May 31, 2025 * Strong academic background in algorithms and graph theory. * Strong research record and potential in one or more of the following domains: - design and analysis of combinatorial algorithms - algorithmic aspects of distributed and parallel computing - algorithms for interconnection networks - algorithmic aspects of fault tolerance Further information about the Research Chair in Distributed Computing, and about topics related to prospective postdoctoral research of the successful candidate can be obtained at: https://pelc.uqo.ca/pelc/main.html>and https://pelc.uqo.ca/pelc/caldi/index.htm> Duties: Research in the above areas. NO teaching duties. Knowledge of French is NOT necessary. Duration: 12 months Beginning: September 2025 (flexible) Stipend: $45 000 per year (Canadian dollars). Location: The Universit? du Qu?bec en Outaouais is situated in Gatineau, across the river from Ottawa. The National Capital region of Ottawa offers a variety of possibilities for cultural and sports activities (swimming, sailing, hiking, skating, cross-country and downhill skiing). The campus of the University of Quebec is a 10 min. drive from downtown Ottawa. Applications including a detailed CV (with e-mail address), a statement of research interests, a complete list of publications, an abstract of Ph.D. Thesis and reprints (preprints) of 2 best papers should be sent in a zipped file (.zip) by e-mail to pelc at uqo.ca Please arrange to have three letters of reference sent directly to the same e-mail address. Deadline for applications and reference letters is March 1, 2025. Informal enquiries at e-mail: pelc at uqo.ca