Post-Doc position in University of Manchester, UK
The System and Software Security (S3) group at the University of Manchester (UK) is looking for a Post-Doc in Secure and Verifiable AI Models to join our ambition EPSRC-funded EnnCore project.
Tag: Academia
10 PhD Positions in LogiCS@TUWien
The doctoral college at TU Wien (Technical University Vienna) has 10 open full-time PhD positions supported by the novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme. The application deadline is April 30 2022. See the full call here or read it below.
PhD and Postdoc Positions on Formal Methods in Germany
Heike Wehrheim is a professor at the University of Oldenburg and is looking for PhD students and PostDocs. Read her offer below:
PostDoc/Senior Researcher in Smart Contract Security Analysis using Formal Methods
Open Post-doc/senior researcher position working on smart contract security analysis using formal methods in the Cryptography and Blockchain Lab at the University of Warsaw, Poland. Read More …
Open PhD Positions: Work with Underwater Robots
Fifteen amazing PhD positions in the REMARO project are now available! REMARO is a new Marie-Curie network at the intersection of in AI and formal verification, and at the intersection between academia and companies developing underwater robots.
Application deadline: January 1, 2021 Anywhere on Earth
Postdoctoral Researcher Positions at the University of Texas at Austin
Please note the following offer from the University of Texas at Austin: We invite applications for one or more postdoctoral researcher positions available immediately — open until filled — at the University of Texas at Austin. The candidates are expected to conduct research at the intersection of formal methods and learning with problems drawn from Read More …
Faculty Opening in Cyberphysical Systems at the University of Waterloo
The Department of Electrical & Computer Engineering at the University of Waterloo urgently invites applications for a tenure track position with an anticipated start date of January 01, 2021. Please find more information on this website.
Mental Health Webinar
The Mental Health Working Group of the Leibniz PhD Network hosted a ‘webinar about mental health strategies during the COVID-19 pandemic’ also linking to ‘more resources for doctoral researchers’. Check out the recording of the webinar and the list of further resources here.
Tradeoffs between Academia and Industry
Manu Sridharan, from the University of of California, Riverside, talked about the use of program analysis in academia and industry at the Verification Mentoring Workshop 2019: