Job
>
Copenhagen

    PhD fellowship in Formal Verification - Copenhagen, Danmark - University of Copenhagen

    University of Copenhagen
    University of Copenhagen Copenhagen, Danmark

    Fundet i: Talent DK C2 - for 12 timer siden

    University of Copenhagen background
    Beskrivelse

    Terms of employment

    in the regular programme
    Employment as PhD fellow is full time and for maximum 3 years.

    Employment is conditional upon your successful enrolment as a PhD student at the PhD School at the Faculty of SCIENCE, University of Copenhagen. This requires submission and acceptance of an application for the specific project formulated by the applicant.

    The terms of employment and salary are in accordance to the agreement between the Ministry of Finance and The Danish Confederation of Professional Associations on Academics in the State (AC). The position is covered by the Protocol on Job Structure.

    Responsibilities and tasks in the PhD programme

  • Carry through an independent research project under supervision
  • Complete PhD courses corresponding to approx. 30 ECTS / 1⁄2 FTE
  • Participate in active research environments, including a stay at another research institution, preferably abroad
  • Teaching and knowledge dissemination activities
  • Write scientific papers aimed at high-impact journals
  • Write and defend a PhD thesis on the basis of your project

    • We are looking for the following qualifications:

  • Professional qualifications relevant to the PhD project
  • Relevant publications
  • Relevant work experience
  • Other relevant professional activities
  • Curious mind-set with a strong interest in formal verification
  • Good language skills
  • Alstom

    Project V&V Engineer

    Fundet i: Talent DK C2 - for 1 dag siden

    Alstom Copenhagen, Danmark ​​

    Req ID:445284 · At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse customers the broadest portfolio in the in ...

  • UNOPS

    NDC Partnership In-Country Facilitator

    Fundet i: Talent DK C2 - for 12 timer siden

    UNOPS Copenhagen, Danmark Local ICA Specialist

    · WEC Background: The Water, Environment and Climate (WEC) portfolio, based ... · WEC Background: · The Water, Environment and Climate (WEC) portfolio, based in Vienna, and with offices based globally is part of the UNOPS Global Portfolio Office. The Portfolio has built stron ...

  • Technical University of Denmark

    Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods

    Fundet i: beBee S2 DK - for 4 dage siden

    Technical University of Denmark Lyngby, Danmark Fuldtid, Permanent, Fixed-Term/Contract

    Do you believe that formal methods are crucial to ensure high quality in software systems? Do you want to establish your career as a computer scientist in this area? Do you want to educate new generations of computer scientists and engineers in this area? · You might find your p ...

  • Ambu

    Senior Test and Verification Engineer

    Fundet i: Talent DK C2 - for 4 dage siden

    Ambu Ballerup, Danmark Fuldtid

    Do you have a passion for test and verification? Would you like to join one of the best performing medtech companies in the world right now? Do you have an in-depth understanding of electronics engineering? · Then this might be your defining moment. Apply today and join us for a ...