Menu

CAVlinks

A sharing platform for the Computer-Aided Verification community

Primary Menu

Skip to content
  • Home
    • News
    • FAQs
  • CAV Students
    • Study Material
    • Mentoring
    • Scholarships
  • Job Postings
    • Internship Opportunities
    • PhD Positions
    • PostDoc Positions
    • Faculty Positions
    • Industry Openings
  • Events
    • Conferences
    • Workshops
    • Summer Schools
  • Contribute!
    • About Us
  • CAV 2021
Search

Tag: TU Wien

10 PhD Positions in LogiCS@TUWien

Posted onApril 7, 2022April 7, 2022AuthorNorine Coenen

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.

Read More …

CategoriesPhD PositionsTagsAcademia, LogiCS, PhD position, TU Wien

PhD position with LogiCS at TU Wien

Posted onJuly 11, 2019July 11, 2019AuthorCAVlinks

Prof. Ezio Bartocci (supervisor) and Dr. Laura Nenzi (co-supervisor) are hiring a PhD student at the Institute of Computer Engineering at Technische Universität Wien (TU Wien).

Read More …

CategoriesPhD PositionsTagsEzio Bartocci, Laura Nenzi, LogiCS, PhD position, TU Wien

Helmut Veith Stipend

Posted onJuly 10, 2019July 10, 2019AuthorCAVlinks

For whom: Female student in CS who plan to pursue or pursuing master’s program at TU Wien
Deadline: November 30, 2018
Website: See for more details

Read More …

CategoriesScholarshipsTagsCS student, female students, helmut veith, TU Wien

PhD position with FORSYTE at TU Wien

Posted onJuly 4, 2019July 10, 2019AuthorCAVlinks

Prof. Pavol Cerny is hiring two PhD student for FORSYTE (Formal Methods in System Engineering) group in the Institute of Logic and Computation at Technische Universität Wien (TU Wien).

Read More …

CategoriesPhD PositionsTagsFORSYTE, PhD position, TU Wien

Next on the Agenda

Recent Posts

  • Formal Methods for Autonomous Systems (FMAS)
  • Research Associate/ PhD Student/ Postdoc positions at TU Dresden
  • Post-Doc position in University of Manchester, UK
  • 10 PhD Positions in LogiCS@TUWien
  • PhD and Postdoc Positions on Formal Methods in Germany
  • PostDoc/Senior Researcher in Smart Contract Security Analysis using Formal Methods
  • Post-Doctoral Research Assistant at Royal Holloway, University of London
  • PostDoc at Inria / École Normale Supérieure in Paris
  • Two Research Assistant positions in the Automated Verification group @ Oxford Computer Science
  • Italian National PhD Program in Artificial Intelligence @ Sapienza Consortium

Tags Cloud

Academia Buddy Program Call for participation CAV CAV community china conference CS student Cyber Physical Systems database Ezio Bartocci Formal Methods formal techniques FTSCS Germany How To ICFEM iFM Industry Interactive theorem proving internship Israel job openings LogiCS Marktoberdorf munich Norway OCL PhD position PostDoc position safety-critical systems share Slides SSFT stackoverflow Static Analysis summer school Synthesis Systems Security tenure track TU Wien Verification Verification Mentoring Workshop VMW workshop
Copyright © 2022 CAVlinks. All Rights Reserved. | Catch Responsive by Catch Themes
Scroll Up
  • Home
    • News
    • FAQs
  • CAV Students
    • Study Material
    • Mentoring
    • Scholarships
  • Job Postings
    • Internship Opportunities
    • PhD Positions
    • PostDoc Positions
    • Faculty Positions
    • Industry Openings
  • Events
    • Conferences
    • Workshops
    • Summer Schools
  • Contribute!
    • About Us
  • CAV 2021