Know ATS Score
CV/Résumé Score
  • Expertini Resume Scoring: Our Semantic Matching Algorithm evaluates your CV/Résumé before you apply for this job role: PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University.
Denmark Jobs Expertini

Urgent! PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University Position in Aarhus - Aarhus University

PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University



Job description

This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University.

The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University.

The focus of the position will be in developing new techniques for testing and verifying modern highly concurrent systems, such as weak-memory architectures and highly-distributed databases.

The position is also open, to some extent, to be shaped around the interests of the applicant.
 

Responsibilities

  • Collaborate with faculty members and fellow researchers to produce research results on the research topic.

  • Provide guidance and mentorship to graduate and undergraduate students working on related research projects.

  • Publish research findings in top-tier conferences and journals in computer science and related fields.

  • Participate in academic activities such as seminars, workshops, and conferences to stay informed of the latest developments in the field.
     

  • Required Qualifications

  • in computer science.

  • Established strong record of publications in the areas of programming languages, logic and verification, and algorithms.

  • Excellent communication and interpersonal skills with the ability to work effectively in a collaborative research environment.

  • Strong organizational and time-management skills, with the ability to prioritize tasks and meet project deadlines effectively.

  • Ability to work independently and demonstrate initiative in formulating and executing own research projects.
  • Applicants should submit:

  • Letter of interest
  • PhD diploma.
  • CV 
  • Recommendation letter

  • Contact information


    For further information about the position, please contact Associate Professor Andreas Pavlogiannis at

    Application procedure


    Shortlisting is used.

    This means that after the deadline for applications – and with the assistance from the assessment committee chairman, and the appointment committee if necessary, – the head of department selects the candidates to be evaluated.

    All applicants will be notified whether or not their applications have been sent to an expert assessment committee for evaluation.

    The selected applicants will be informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self.

    Once the recruitment process is completed a final letter of rejection is sent to the deselected applicants.


    Letter of reference


    If you want a referee to upload a letter of reference on your behalf, please state the referee’s contact information when you submit your application.

    We strongly recommend that you make an agreement with the person in question before you enter the referee’s contact information, and that you ensure that the referee has enough time to write the letter of reference before the application deadline.

    Unfortunately, it is not possible to ensure that letters of reference received after the application deadline will be taken into consideration.

    If you wish to add a referee after you have submitted your application, you must send this person’s details (name, job title, place of work, and email address) as well as the name of the position you have applied for to:


    Formalities and salary range


    Natural Sciences refers to the .

    The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about research activities, teaching portfolio and verified information on previous teaching experience (if any).

    Guidelines for applicants can be found

    Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Taxation and the Danish Confederation of Professional Associations.

    Further information on qualification requirements and job content may be found in the .



    Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation of Professional Associations.

    Aarhus University’s ambition is to be an attractive and inspiring workplace for all and to foster a culture in which each individual has opportunities to thrive, achieve and develop.

    We view equality and diversity as assets, and we welcome all applicants.

    Research activities will be evaluated in relation to actual research time.

    Thus, we encourage applicants to specify periods of leave without research activities, in order to be able to subtract these periods from the span of the scientific career during the evaluation of scientific productivity.

    Aarhus University offers a broad variety of services for international researchers and accompanying families, including relocation service and career counselling to expat partners.

    Read more .

    Please find more information about entering and working in Denmark .

    Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU.

    You can read more about it .

    At the Faculty of Natural Science at Aarhus University, we strive to support our scientific staff in their career development.

    We focus on competency development and career clarification and want to make your opportunities transparent.

    On , you can find information on all types of scientific positions, as well as the entry criteria we use when assessing candidates.

    You can also read more about how we can assist you in your career planning and development.

    The application must be submitted via Aarhus University’s recruitment system, which can be accessed under the job advertisement on Aarhus University's website.


    Required Skill Profession

    Computer Occupations



    Your Complete Job Search Toolkit

    ✨ Smart • Intelligent • Private • Secure

    Start Using Our Tools

    Join thousands of professionals who've advanced their careers with our platform

    Rate or Report This Job
    If you feel this job is inaccurate or spam kindly report to us using below form.
    Please Note: This is NOT a job application form.


      Unlock Your PostDoc Position Potential: Insight & Career Growth Guide