Post Doc position with focus on Algorithmic Verification of Database Systems at Computer Science, Aarhus University

Job title:

Post Doc position with focus on Algorithmic Verification of Database Systems at Computer Science, Aarhus University

Company:

Aarhus Universitet

Job description

Department of Computer Science at Aarhus University (Denmark) invites applications for a 2-year Postdoctoral Research Fellow position with focus on Algorithmic Verification of Database Systems.Role 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 Database Systems with the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will be in developing new algorithmic techniques for testing and verifying highly distributed database systems.Start date:The starting date is 1 October 2025 or as soon as possible hereafter.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:Ph.D. in computer science.Established strong record of publications in the areas of programming languages, logic and verification, and algorithmsExcellent 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.Application procedureShortlisting 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 referenceIf 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: HR.Nattech@au.dkFormalities and salary rangeNatural 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 foundAppointment 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.Aarhus UniversityAarhus University is an academically diverse and research-intensive university with a strong commitment to high-quality research and education and the development of society nationally and globally. The university offers an inspiring research and teaching environment to its 38,000 students (FTEs) and 8,300 employees, and has an annual revenues of EUR 935 million. Learn more at

Expected salary

Location

Aarhus, Midtjylland

Job date

Sat, 07 Jun 2025 22:48:28 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesin.eu) you saw this job posting.