Bemærk at denne jobannonce er udløbet!
Ansøgningsfristen for jobannoncen er overskredet, og stillingen kan ikke længere søges. Opslaget vises udelukkende som reference

Center for Basic Research in Program Verification (CPV) is looking for Post Docs

Supported by a generous Villum Investigator Grant (http://cs.au.dk/news-events/news/show-news/artikel/new-villum-investigator-at-the-department/) from VILLUM FONDEN we will start a new Center for Basic Research in Program Verification (CPV) in September 2019 at Aarhus University, Denmark.

We are looking for several postdocs and PhD students to work in the Center for Basic Research in Program Verification. Research topics include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org (http://iris-project.org/)), e.g., to reason about distributed systems; probabilistic program logics; logical relations for relational reasoning about safety and security properties; formal modeling of low-level capability machines and secure compilation; guarded cubical type theory; and Coq formalizations.

Postdoc positions are for two years initially (can be extended upon mutual agreement).

Interested candidates are welcome to contact Professor Lars Birkedal via birkedal@cs.au.dk
For more information about Lars Birkedal’s work, see www.cs.au.dk/~birke/

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, including the main considerations emphasized during the selection process.

Formalities and salary range
Science and Technology refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation (http://www.medarbejdere.au.dk/appointment_of_academic_staff_at_universities).

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 here. (http://scitech.au.dk/en/about-science-and-technology/vacant-positions/application-form-guide/)

Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities (http://www.medarbejdere.au.dk/job_structure_for_academic_staff_at_Universities_2013).

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

All interested candidates are encouraged to apply, regardless of their personal background. 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 here (http://ias.au.dk/au-relocation-service/). Please find more information about entering and working in Denmark here (http://international.au.dk/research/).

Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here (http://talent.au.dk/junior-researcher-development-programme/).

Aarhus University
Aarhus 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 39,000 students (FTEs) and 8,000 employees, and has an annual revenues of EUR 884 million. Learn more at www.au.dk/en

Deadline:
01 July 2019

 


Mere af samme slags?

Angiv din e-mail og få lignende job direkte i indbakken




Når du tilmelder dig accepterer du samtidig vores privativspolitik

330014250Phoenix-bb41305612019-04-30T00:00:00Center for Basic Research in Program Verification (CPV) is looking for Post DocsSupported by a generous Villum Investigator Grant (http://cs.au.dk/news-events/news/show-news/artikel/new-villum-investigator-at-the-department/) from VILLUM FONDEN we will start a new Center for Basic Research in Program Verification (CPV) in September 2019 at Aarhus University, Denmark.

We are looking for several postdocs and PhD students to work in the Center for Basic Research in Program Verification. Research topics include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org (http://iris-project.org/)), e.g., to reason about distributed systems; probabilistic program logics; logical relations for relational reasoning about safety and security properties; formal modeling of low-level capability machines and secure compilation; guarded cubical type theory; and Coq formalizations.

Postdoc positions are for two years initially (can be extended upon mutual agreement).

Interested candidates are welcome to contact Professor Lars Birkedal via birkedal@cs.au.dk
For more information about Lars Birkedal’s work, see www.cs.au.dk/~birke/

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, including the main considerations emphasized during the selection process.

Formalities and salary range
Science and Technology refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation (http://www.medarbejdere.au.dk/appointment_of_academic_staff_at_universities).

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 here. (http://scitech.au.dk/en/about-science-and-technology/vacant-positions/application-form-guide/)

Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities (http://www.medarbejdere.au.dk/job_structure_for_academic_staff_at_Universities_2013).

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

All interested candidates are encouraged to apply, regardless of their personal background. 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 here (http://ias.au.dk/au-relocation-service/). Please find more information about entering and working in Denmark here (http://international.au.dk/research/).

Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here (http://talent.au.dk/junior-researcher-development-programme/).

Aarhus University
Aarhus 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 39,000 students (FTEs) and 8,000 employees, and has an annual revenues of EUR 884 million. Learn more at www.au.dk/en

Deadline:
01 July 2019

 

2019-06-30T00:57:49.467 Supported by a generous Villum Investigator Grant (http: cs.au.dk news-events news show-news artikel new-villum-investigator-at-the-department ) from VILLUM FONDEN we will start a new Center for Basic Research in Program Verification (CPV) in September 2019 at Aarhus University, Denmark. We are looking for several postdocs and PhD students to work in the Center for Basic Research in Program Verification. Research topics include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org (http: iris-project.org )), e.g., to reason about distributed systems probabilistic program logics logical relations for relational reasoning about safety and security properties formal modeling of low-level capability machines and secure compilation guarded cubical type theory and Coq formalizations. Postdoc positions are for two years initially (can be extended upon mutual agreement). Interested candidates are welcome to contact Professor Lars Birkedal via birkedal@cs.au.dk For more information about Lars Birkedal s work, see www.cs.au.dk ~birke 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, including the main considerations emphasized during the selection process. Formalities and salary range Science and Technology refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation (http: www.medarbejdere.au.dk appointment_of_academic_staff_at_universities). 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 here. (http: scitech.au.dk en about-science-and-technology vacant-positions application-form-guide ) Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities (http: www.medarbejdere.au.dk job_structure_for_academic_staff_at_Universities_2013). Salary depends on seniority as agreed between the Danish Ministry of Finance and the Confederation of Professional Associations. All interested candidates are encouraged to apply, regardless of their personal background. 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 here (http: ias.au.dk au-relocation-service ). Please find more information about entering and working in Denmark here (http: international.au.dk research ). Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here (http: talent.au.dk junior-researcher-development-programme ). Aarhus University Aarhus 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 39,000 students (FTEs) and 8,000 employees, and has an annual revenues of EUR 884 million. Learn more at www.au.dk en Deadline: 01 July 201911jobnetbb413056100000000000IDK_OFIR_02DKDanmark228DKK2019-06-29T00:00:000000https://au.emply.net/recruitment/vacancyApply.aspx?publishingId=6e449664-9101-43a5-b022-3aa605a5e90d0EuropaDanmarkJyllandØstjyllandAarhus3516822Aarhus Universitet11Åbogade 348200Aarhus NDKDanmark0DKDanmarkDKDanmark8Fuldtid47Tidsbegrænset751795JobNet4980977498097710030-04-20190https://dispatcher.ofir.dk/statistic/register?context=FeedEntrySearchedCount&feedId=dc2beb84&entryId=bb413056https://dispatcher.ofir.dk/statistic/register?context=FeedEntryDisplayCount&feedId=dc2beb84&entryId=bb413056https://dispatcher.ofir.dk/statistic/register?context=JobApplicationInitiatedCount&feedId=dc2beb84&entryId=bb413056&page=ShowJob&component=SendApplicationButtonhttps://dispatcher.ofir.dk/statistic/register?context=JobApplicationAppliedCount&feedId=dc2beb84&entryId=bb413056&page=EmailApplyForm&component=SendApplicationButtonCenter for Basic Research in Program Verification (CPV) is looking for Post Docs1Dansk3Læse/ tale341922Researcher4Marketing361628864noreply@ofir.comDKDanmarkDKDanmarkda-DK