IRIF (Paris, France) is offering multiple postdoc positions to work on the theory of quantum computing. Emphasis is on the development of quantum algorithms for optimization, machine learning, massive data, and cryptography. You will be working with permanent members S. Apers, I. Kerenidis, S. Laplante and F. Magniez, and a strong team of postdocs and PhDs. Starting date: around September 2022.
Website: https://www.irif.fr/postes/postdoc#quantum-computing
Email: simon.apers@inria.fr
The Foundations of Data Science Institute (FODSI), funded by the National Science Foundation TRIPODS program, is announcing a competitive postdoctoral fellowship. Multiple positions are available. FODSI is a collaboration between UC Berkeley and MIT, partnering with Boston University, Northeastern University, Harvard University, Howard University and Bryn Mawr College.
Website: https://academicjobsonline.org/ajo/jobs/20132
Email: See the url
Bruce Kapron invites applications for a postdoc in CS at the University of Victoria. Applicants with a background or interest in higher-order complexity theory, including models and techniques related to theory of programming languages, feasible analysis, cryptography, and ordinary complexity theory are encouraged. Applicants should have a Ph.D. in CS, Mathematics, Logic or a related field.
Website: https://www.mathjobs.org/jobs/list/18864
Email: bmkapron@uvic.ca
The Computer Science Institute of Charles University, Prague, Czech Republic, invites applications for an assistant professor in the area of theoretical computer science to complement and/or strengthen existing research areas (which include computational complexity, cryptography, algorithms, combinatorics, and discrete mathematics). Strong candidates from all areas of TCS will be considered.
Website: https://www.mff.cuni.cz/en/faculty/job-opportunities/open-competition/academic-positions-application-deadline-january-31-2022
Email: koucky@iuuk.mff.cuni.cz
Summer (TCS) Research Intern positions are available to work with Zhao Song at Adobe Research. The position is for 3-4 months in summer 2022, start date flexible. Applications will be reviewed on a rolling basis, with preference given to ones submitted before ddl. Potential project topics include but are not limited to general algorithmic topics. Interested candidates should send their CV to Zhao.
Website: https://scholar.google.com/citations?user=yDZct7UAAAAJ&hl=en
Email: zsong@adobe.com
The Department of Mathematics-Physics-Computer Science of the University of Haifa at Oranim College invites applications for a tenure-track faculty position in all areas of Computer Science, to begin October 1st 2022.
Website: https://mathphys.haifa.ac.il/en/announcements/
Email: ackerman@sci.haifa.ac.il
The University of Sheffield has an opening for a Lecturer in Theoretical Computer Science. Researchers in the area of computational complexity, where the interests of the Algorithms and Verification groups in the Department overlap, are particularly encouraged to apply.
Website: https://www.jobs.ac.uk/job/CKB031/lecturer-in-theoretical-computer-science
Email: g.j.brown@sheffield.ac.uk
We invite applications to multiple faculty positions at all ranks. Our search is focused on machine learning; artificial intelligence; computer and distributed systems; security and privacy; and candidates that can support our multidisciplinary initiatives in Smart and Trustworthy Systems and Meaningful Computing, broadly defined.
Website: https://www.gwu.jobs/postings/87400
Email: cssearch@gwu.edu
A postdoc position is available to work with Eric Vigoda (and other theory faculty) at UC Santa Barbara. The position is for 2 years (no teaching required). Start date is flexible.
Interested candidates should send their CV to Eric Vigoda.
Website: https://sites.cs.ucsb.edu/~vigoda/
Email: ericvigoda@gmail.com
We currently have a vacancy for an Assistant Professor in Model-Based AI at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. Relevant topics of expertise include SAT solving, constraint programming, planning and scheduling, answer set programming, description logics, ontology engineering, and computer-aided verification (non-exhaustive list).
Website: https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13023/Assistant-Professor-in-Model-Based-AI
Email: Ulle Endriss
