from:"Carsten Schuermann"

[TYPES/announce] Open positions in crypto/security at ITU

2018-05-07 Thread Carsten Schuermann

onfederation of Professional Associations (AC). If you have further questions, don’t hesitate to contact us. Alessandro Bruni (b...@itu.dk <mailto:b...@itu.dk>) Rosario Giustolisi (r...@itu.dk <mailto:r...@itu.dk>) Søren Debois (deb...@itu.dk <mailto:deb...@itu.dk>) Carsten Schuerman

[TYPES/announce] Open Faculty Positions at the IT University of Copenhagen

2017-05-22 Thread Carsten Schuermann

8=5#sthash.Tc6Owms6.dpuf> We look forward to hearing from you. Please circulate. Best regards, - Carsten Schuermann

[TYPES/announce] Post-Doc at IT University of Copenhagen/DemTech

2017-03-23 Thread Carsten Schuermann

.dk> or Iliano Cervesato: ili...@cmu.edu <mailto:ili...@cs.cmu.edu> Please distribute. Best regards, - Carsten Schuermann

[TYPES/announce] PostDoc position at ITU

2016-10-14 Thread Carsten Schuermann

the supervision of Carsten Schuermann. DemTech specializes on mathematical foundations of secure multi-party computation, the design and analysis of cryptographic primitives and protocols, formal languages for voting systems and their properties, and automated tools to reason about them. DemTech has

[TYPES/announce] Two postdoctoral positions @ CMU and ITU

2015-09-25 Thread Carsten Schuermann

tu.dk/About-ITU/Vacancies> === Iliano Cervesato Professor Carnegie Mellon University Carsten Schuermann Associate Professor IT University of Copenhagen

[TYPES/announce] Two Postdoc Positions at the IT University of Copenhagen

2011-04-19 Thread Carsten Schuermann

voting systems (of primary importance) rigorous software engineering trust and trustworthiness logic and semantics logical frameworks and type theory proof theory and higher-order theorem proving program verification Early expressions of interest are encouraged: Carsten Schuermann ( cars...@itu.dk

[TYPES/announce] PhD Positions on Trustworthy Electronic Elections

2011-03-07 Thread Carsten Schuermann

of science, trust in information, science and technology studies (STS). To apply, please visit the project homepage http://www.demtech.dk/. Early expressions of interest are encouraged: Carsten Schuermann (cars...@itu.dk), Joseph Kiniry (kin...@acm.org), Randi Markussen (r...@itu.dk

[TYPES/announce] FIRST PhD Autumn School on Modal Logic

2009-09-24 Thread Carsten Schuermann

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation FIRST PhD Autumn School on Modal Logic IT University of Copenhagen, Denmark November

[TYPES/announce] Open PhD positions

2009-02-12 Thread Carsten Schuermann

if you could circulate this information among potential applicants. Best regards, -- Carsten Schuermann

[TYPES/announce] CADE-22 last call for papers

2009-01-26 Thread Carsten Schuermann

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LAST CALL FOR PAPERS CADE-22 22nd International Conference on Automated Deduction McGill University, Montreal,

[TYPES/announce] CADE-22 second call for papers

2008-12-20 Thread Carsten Schuermann

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS CADE-22 22nd International Conference on Automated Deduction McGill University, Montreal,