Research Associate/ PhD Student/ Postdoc positions at TU Dresden
Multiple Research Associate/ PhD Student/ Postdoc positions are available at TU Dresden. Read More …
Category: News
PostDoc at Inria / École Normale Supérieure in Paris
Two-year postdoc position available at Inria / École Normale Supérieure in Paris to work on static analysis and verification of machine learning pipelines in the scope of the Lyra and Libra projects. Read More …
PhD Positions in the ERC AdG Project WhiteMech – Sapienza Università di Roma
The Department of Computer, Control and Management Engineering of Sapienza Università di Roma (Italy) is looking for enthusiastic PhD students interested in solving realistic-size and practical synthesis, planning, and acting problems in the hot topics of resilient self-programming in several contexts (Cybersecurity, Smart Manufacturing, or Digital Healthcare and Digital Finance). Students can apply to two Read More …
Join FME – Formal Methods Europe – community
Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners interested in formal methods for developing computing systems and software. FME’s aim is to promote research in formal methods and its applications. The association’s members are drawn equally from academic institutes and commercial companies. FME’s activities include the dissemination of research findings and industrial experience through symposia and Read More …
Call for Participation – CAV 2020
32nd International Conference on Computer-Aided Verification
Website: http://i-cav.org/2020/
Registration for virtual participation is free and is open until July 10th!
Research Developer @ CSE Dept. Oxford University
Research Developer on Ada Security Vulnerabilities Assessment Tool (ASVAT). Looks suitable as a development position pre/post-PhD gap. The Department of Computer Science has a new vacancy for two Research Developers on the Ada Security Vulnerabilities Assessment Tool and Process Development (ASVAT) project. Reporting to Martin Brain, and collaborating with project partner Altran, you will be Read More …
Call for Papers – FMCAD 2020
International Conference on Formal Methods in Computer-Aided Design
Fully-Funded PhD position on Probabilistic Verification @ Utah State University
A PhD position is available (fully paid for 4 years with the possibility of extension) at the Electrical and Computer Engineering Department of Utah State University. The expected starting date is early January 2020. PhD application information is available at: https://engineering.usu.edu/ece/files/pdfs/ece-graduate-program-application-info.pdf Abstract: Synthetic biology and nanotechnology place increasing demands on design methodologies to ensure dependable and robust operation. Consisting Read More …
Call for Participation – ITP 2019
10th International Conference on Interactive Theorem Proving
Website : https://itp19.cecs.pdx.edu/
Deadline Extension – CFP Workshop on SplSA 2019
Inaugural workshop on Instruction Set Architecture Specification (SplSA2019)
Submission link: https://easychair.org/conferences/?conf=spisa19
Share with the CAV community
Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.