Job
>
Kongens Lyngby

    Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods - Lyngby, Danmark - Technical University of Denmark

    Technical University of Denmark
    Technical University of Denmark Lyngby, Danmark

    Fundet i: beBee S2 DK - for 3 dage siden

    Default job background
    Fuldtid, Permanent, Fixed-Term/Contract
    Beskrivelse

    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 place as a new Associate Professor or Tenure-Track Assistant Professor in the Software Systems Engineering Section at DTU Compute. We are looking for new colleagues to join our vision of a digital society supported by software systems that are built, assessed and improved according to solid scientific foundations, engineering principles and societal values. Formal methods are central in our research and teaching activities.

    Responsibilities

    • You will be conducting scientific research at the international level, publishing your results in highly reputed conferences and journals.
    • You will be seeking opportunities to lead and participate in collaborative, funded research projects with academia and/or industry.
    • You will take part in the development of our research-based teaching portfolio at the bachelor, master, and PhD levels.
    • You will be responsible for the teaching of courses. DTU employs two working languages: Danish and English. Master and PhD courses are taught in English, while bachelor courses are taught in Danish and in English. You are expected to be fluent in at least one of these languages, and in time are expected to master both.
    • You will contribute to the culture of collaboration at the department, and you will participate actively in joint activities aimed at developing the department and the section.

    Qualifications

    • You are an active researcher both on the foundational side and on the application side of formal methods, witnessed by a publication record at the international level.
    • Your research focuses on quality aspects of software systems such as correctness, safety, security, performance and/or dependability.
    • You are recognized by the international research community as an expert in your field.
    • You are an expert in one or more of the following areas:
      • Quantitative / probabilistic aspects of formal methods
      • Quantitative / probabilistic aspects of programming languages
      • Program verification
    • You are genuinely curious about other people's research activities, and you like to explore research collaborations with colleagues inside and outside your network.

    As a formal qualification you must hold a PhD degree (or equivalent). If you are applying for the associate professor position you should also have academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic/pedagogic training.

    Further information

    Further information may be obtained from Head of Section Alberto Lluch Lafuente ). You are welcome to contact him before submitting the formal application.

    You can read more about DTU Compute's section for Software Systems Engineering here and about DTU Compute at

    If you are applying from abroad, you may find useful information on working in Denmark and at DTU at DTU – Moving to Denmark.

    Application procedure

    Please submit your online application no later than Wednesday, 15 May :59 Danish time).

    To view the full announcement and to apply, click the 'Apply' button

    Based on the collective agreement with the Danish Confederation of Professional Associations

  • ConvaTec

    New Product Delivery Lead – Convatec Infusion Care

    Fundet i: Talent DK C2 - for 6 dage siden

    ConvaTec Søborg, Danmark Fuldtid

    Are you passionate about medical device product development, driven by a strong will to improve other people's lives? Would you like to join a world leading company working towards improving treatments of chronic diseases such as Diabetes and Parkinson's Disease? · At Convatec, w ...

  • Ambu

    Senior Test and Verification Engineer

    Fundet i: Talent DK C2 - for 3 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 ...

  • Turner & Townsend

    Planner - Pharma construction projects (based in Switzerland)

    Fundet i: Talent DK C2 - for 1 dag siden

    Turner & Townsend Copenhagen, Danmark Fuldtid

    Job Description · At Turner & Townsend we are looking for an experienced Planner to join our team and work on a major Pharma construction project in Switzerland. This role includes advanced planning, scheduling, progress measurement & change management implementation. · Because o ...

  • Turner & Townsend

    Senior Planning Specialist

    Fundet i: Talent DK C2 - for 4 dage siden

    Turner & Townsend Copenhagen, Danmark Fuldtid

    Company Description · At Turner & Townsend we're passionate about making the difference. That means delivering better outcomes for our clients, helping our people to realize their potential, and doing our part to create a prosperous society. Every day we help our major Pharmaceu ...

  • Turner & Townsend

    Planner - Pharma construction projects (based in Switzerland)

    Fundet i: Talent DK C2 - for 2 dage siden

    Turner & Townsend Copenhagen, Danmark Fuldtid

    Company Description · At Turner & Townsend we're passionate about making the difference. That means delivering better outcomes for our clients, helping our people to realize their potential, and doing our part to create a prosperous society. · Every day we help our major global ...

  • Aarhus Universitet, Emdrup

    The Danish School of Education

    Fundet i: beBee S2 DK - for 2 dage siden

    Aarhus Universitet, Emdrup København, Danmark Fuldtid

    The Danish School of Education (DPU), part of Faculty of Arts at Aarhus University, invites applications for a permanent position as professor in the sociology of the professions with a focus on preschool and/or primary and lower secondary school teacher education. The professors ...

  • Technolution

    Details, standards, procedures, writing, and more details – are you ready to be the owner of our QMS?

    Fundet i: beBee S2 DK - for 20 timer siden

    Technolution Hørsholm, Danmark Fuldtid

    As our QMS responsible, with at least 5 years of experience, you know your way around Pharma or MedTech standards, and you take pride in knowing every corner of the QMS. · Don't be careful what you wish for · Don't be careful what you wish for · Because we are quite confident to ...

  • Technolution

    Senior Quality Manager or Engineer who enjoy creating results through others?

    Fundet i: beBee S2 DK - for 2 dage siden

    Technolution Hørsholm, Danmark Fuldtid

    Are you an experienced Quality Manager with a strong background in MedTech or Pharma, and do you feel energized in the role as project lead? Do you enjoy being the spider in the web, making things happen, and ensuring progress and success in the Quality Management-area? Then we h ...

  • Technolution

    Does planning and documenting medical device activities in all phases of the development sound like just the right opportunity for you?

    Fundet i: beBee S2 DK - for 20 timer siden

    Technolution Hørsholm, Danmark Fuldtid

    Are you ready to excel in a team of likeminded specialists, who want to take on challenging and exciting projects in some of the leading companies in the medtech and pharma industry? Do you thrive in an outgoing, hands-on role, and does knowledge sharing and holistic thinking com ...

  • Novo Nordisk A/S

    Training Supporter

    Fundet i: Talent DK C2 - for 3 dage siden

    Novo Nordisk A/S Høje Taastrup, Danmark

    Are you motivated to support and maintain strong learning solutions covering multiple projects? Do you enjoy collaborating with stakeholders in the project organisation to ensure training support and compliance? Are you passionate about solving business problems, scaling best pra ...

  • Novo Nordisk

    Training Supporter

    Fundet i: Talent DK C2 - for 1 dag siden

    Novo Nordisk Høje Taastrup, Danmark

    Are you motivated to support and maintain strong learning solutions covering multiple projects? Do you enjoy collaborating with stakeholders in the project organisation to ensure training support and compliance? Are you passionate about solving business problems, scaling best pra ...

  • Technical University of Denmark

    Postdoc in Quantification of Sustainability Indicators and Lifecycle Cost Modelling of Next Generation Wind Turbines

    Fundet i: beBee S2 DK - for 1 dag siden

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

    Would you like to become part of the solution towards green energy transition, by helping develop the tools and methods for life cycle performance modelling? The Society, Markets and Policy (SMP) section at DTU Wind and Energy Systems is inviting candidates to apply for a Post do ...