As part of an US funded project, we have an exciting opportunity for a PostDoc to work applying formal methods to enterprise systems: We will develop techniques to detect faults and vulnerabilities (from both outsider and insider attackers) in complex business-process-driven systems, contributing to
protecting critical workflows such as manufacturing, or logistics.

Website: https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=171839ediw&LANG=USA&VACANCY_ID=386422ijTy
Email: a.brucker@exeter.ac.uk

The Institute for Algorithms and Complexity at Hamburg University of Technology invites applications for a postdoctoral position in algorithms, complexity, discrete optimization, algorithmic graph theory or algorithmic game theory. The position offers collaboration with the Data Science in Hamburg cluster and the DESY national research center. The position is for 3 years, and has pay grade E14.

Website: https://www.tuhh.de/algo/jobs/postdoc/senior-positions
Email: algo@tuhh.de

Heriot-Watt University seeks 3 Assistant Professors in Computer Science. 2 positions require expertise in robotics and game development. The third is for any topic area within which the CS department is active. Positions can be teaching-focused or balanced. Paths to full professorship available.

Website: https://enzj.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX/job/3645/?utm_medium=jobshare
Email: j.hage@hw.ac.uk

A position as PhD student is available under the supervision of Professor Kasper Green Larsen at Aarhus University, Denmark. The topic of the project is on machine learning theory, with a focus on classic learning algorithms such as boosting and bagging.

Website: https://phd.nat.au.dk/for-applicants/open-calls/may-2024/theoretical-understanding-of-classic-learning-algorithms#c179674
Email: larsen@cs.au.dk

Two fulltime post doc positions in theory of machine learning are available. The post docs are under the supervision of Professor Kasper Green Larsen, Aarhus University, Denmark. The focus of the research project is on understanding and improving the performance of classic learning algorithms, in particular Boosting and Bagging, both in terms of speed and generalization capabilities.

Website: https://www.au.dk/om/stillinger/job/post-doc-positions-in-theory-of-machine-learning-at-computer-science-aarhus-university
Email: larsen@cs.au.dk

The Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS) seeks qualified candidates for the position of Assistant Director of Undergraduate Studies (ADUS) in Computer Science (CS) with a concurrent non-paid dependent lectureship in Computer Science.

Website: https://sjobs.brassring.com/TGnewUI/Search/home/HomeWithPreLoad?partnerid=25240&siteid=5341&PageType=JobDetails&jobid=2006007#jobDetails=2006007_5341
Email: cs-dus@seas.harvard.edu

Linköping University advertises one (1) position as PhD student in theoretical computer science. The PhD student will join a research project situated in the intersection of computational complexity, universal algebra, and artificial intelligence, under supervision of Victor Lagerkvist. The position is fully funded for 5 years and comes with an internationally competitive salary.

Website: https://web103.reachmee.com/ext/I011/853/job?site=7&lang=UK&validator=d7a66c13be778ef950c393a904293789&job_id=23868
Email: victor.lagerkvist@liu.se

Ideal candidates will possess a robust cross-disciplinary profile or interest, demonstrating not only expertise within their specific domains but also a genuine openness to collaborative, cross-disciplinary work. While the primary focus is on researchers with a strong background in network science, computer science or mathematics, other degrees in suitable application areas are also welcome.

Website: https://www.c3s-frankfurt.de/workshop
Email: office@c3s.uni-frankfurt.de

A postdoc position is available, focusing on emerging problems in the areas of the foundations of AI (specifically, extending diffusion models or understanding/evaluating LLMs) or in the area of responsible AI (specifically, fairness and privacy).

Submit CV, research statement, and 3 letters by March 15, 2024.

Strong math background, with experience in modeling and empirical work required.

Website: https://www.cs.yale.edu/homes/vishnoi/Home.html
Email: nisheeth.vishnoi@gmail.com