[TYPES/announce] Postdoc position in distributed computing at the IMDEA Software Institute
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoc position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will work under the supervision of Alexey Gotsman (https://urldefense.com/v3/__https://software.imdea.org/*gotsman/__;fg!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_7Ty7ptNA$ ), with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include blockchains and distributed transaction processing. This covers algorithms, correctness proofs and system engineering. Candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed computing theory, distributed systems or formal methods. The position is initially for one year, with possibilities for extension. The starting date is negotiable. The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive salary. The working language at the institute is English. Applicants interested in the position should submit their application at https://urldefense.com/v3/__https://careers.software.imdea.org/using__;!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_6IkkGLyQ$ reference code 2021-11-postdoc-distributed. The deadline for applications is January 9th, 2022. For enquiries about the position please contact Alexey Gotsman (https://urldefense.com/v3/__https://software.imdea.org/*gotsman/__;fg!!IBzWLUs!FJLHfUxN51laoXQiqq-QhAhDmnBJIj0hzQBw9R8QsnzIKzbhyt_IeWDpvsBYPfa3cjR0s_7Ty7ptNA$ ).
[TYPES/announce] Postdoc positions in verification of distributed systems at IMDEA, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for postdoc positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman (https://software.imdea.org/~gotsman/), with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include the verification of distributed protocols, theoretical foundations of blockchains and static analysis of distributed applications. The positions are funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". Postdoc candidates should have, or expect shortly to obtain, a PhD in computer science, with expertise in programming languages, verification or distributed computing theory. Positions are initially for one year, with possibilities for extension. The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers a dynamic and international working environment, where researchers can focus on developing new ideas and projects. The working language at the institute is English, and salaries are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman (https://software.imdea.org/~gotsman/) with inquiries. Formal applications should be submitted at https://careers.software.imdea.org/. Please mention this announcement in your application documents.
[TYPES/announce] Postdoc positions in PL and distributed systems at IMDEA, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for postdoc positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Alexey Gotsman (https://software.imdea.org/~gotsman/), with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include the verification of distributed protocols, theoretical foundations of blockchains and static analysis of distributed applications. The positions are funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". Postdoc positions are initially for one year, with possibilities for extension. Candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed computing, programming languages or verification. Interested applicants are encouraged to contact Alexey Gotsman with inquiries (alexey dot gotsman at imdea dot org). Formal applications should be submitted at https://careers.imdea.org/software/. Please mention this announcement in your application documents.
[TYPES/announce] PhD positions in PL and distributed systems at IMDEA, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for multiple PhD positions at the IMDEA Software Institute in Madrid, Spain. The students will work with Alexey Gotsman (www.software.imdea.org/~gotsman/). The topic of research will be determined based on the common interests of the candidate and the supervisor. The focus area is the intersection of programming languages/verification and distributed systems. Students will be funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". The positions are available for the duration of four years. Candidates should have a strong background in computer science or applied mathematics, with an interest in the above areas. The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman with inquiries (alexey dot gotsman at imdea dot org). Formal applications should be submitted at https://careers.imdea.org/software/. Please mention this announcement in the submitted materials.
[TYPES/announce] Postdoc and PhD positions at IMDEA, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for multiple Postdoc and PhD positions at the IMDEA Software Institute in Madrid, Spain. The positions are available for the duration of up to three years (postdocs) or four years (PhD students). The researchers will work with Alexey Gotsman and will be funded by an ERC grant "A Rigorous Approach to Consistency in Cloud Databases". Possible research topics include the design, verification and implementation of protocols for consensus, eventual consistency/CRDTs, distributed transaction processing and blockchains, as well as static analysis of applications using these protocols. Postdoc candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in distributed systems or distributed computing theory. PhD student candidates should have a strong background in computer science or applied mathematics, with an interest in programming languages and verification and/or distributed systems. The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman with inquiries (alexey dot gotsman at imdea dot org). Formal applications should be submitted at https://careers.imdea.org/software/. Please mention this announcement in your research statement.
[TYPES/announce] Postdoc position in verification at IMDEA, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The post is available from September 2016 for the duration of up to three years. The postdoc will work under supervision of Alexey Gotsman in the area of reasoning about distributed systems. The candidate should have, or expect shortly to obtain, a PhD in Computer Science, preferably with expertise in verification, programming languages or distributed computing/systems. He or she would be expected to develop research questions within a specific context, to undertake original individual research, and to prepare research papers. The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman with inquires (alexey dot gotsman at imdea dot org). Formal applications should be submitted over the web. Please select the "Postdoc researcher" option at https://careers.imdea.org/software/ and mention this announcement in your research statement. Review of applications will begin immediately.
[TYPES/announce] Postdoc position in verification at IMDEA, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The post is available for the duration of up to three years. The postdoc will work under supervision of Alexey Gotsman in the area of reasoning about distributed systems. The successful applicant will be able to benefit from an on-going collaboration in this area with Sebastian Burckhardt at Microsoft Research Redmond (USA) and Hongseok Yang at the Univerity of Oxford (UK). The candidate should have, or expect shortly to obtain, a PhD in Computer Science, preferably with expertise in verification, programming languages or distributed computing/systems. He or she would be expected to develop research questions within a specific context, to undertake original individual research, and to prepare research papers. The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman with inquires (alexey dot gotsman at imdea dot org). Formal applications should be submitted over the web. Please select the Postdoc researcher option at https://careers.imdea.org/software/ and mention this announcement in your research statement. Review of applications will begin immediately.
[TYPES/announce] Postdoc position in verification at IMDEA Software Institute, Madrid
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position at the IMDEA Software Institute (www.software.imdea.org) in Madrid, Spain. The postdoc will work under supervision of Alexey Gotsman (www.software.imdea.org/~gotsman) in the area of systems software verification, with an emphasis on concurrent and distributed systems. The post is available from April 2013 (possibly earlier) for the duration of three years. The candidate should have, or expect shortly to obtain, a PhD in Computer Science, preferably with expertise in verification or programming languages. He or she would be expected to develop research questions within a specific context, to undertake original individual research, and to prepare research papers. The post is funded by a collaborative project on architecture-driven verification of systems software, which also involves the Max Planck Institute for Software Systems (Viktor Vafeiadis), KU Leuven (Bart Jacobs) and Tel-Aviv University (Noam Rinetzky). The successful candidate will be able to interact with these research groups, as well as with collaborators at the University of Oxford (Hongseok Yang) and Microsoft Research Redmond (Sebastian Burckhardt and Madan Musuvathi). The IMDEA Software Institute is located in the vibrant area of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects. Salaries at the Institute are internationally competitive. Interested applicants are encouraged to contact Alexey Gotsman with inquires (alexey dot gotsman at imdea dot org). Formal applications should be submitted over the web. Please select the Postdoc researcher option at https://www.imdea.org/internationalcall/Default.aspx?IdInstitute=17 and mention the above project in your research statement. Review of applications will begin immediately.