[TYPES/announce] Postdoc position in Theoretical CS @ King's College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ## Postdoc position in Theoretical CS @ King's College London A postdoctoral research position in theoretical computer science is available at King's College London. The successful

[TYPES/announce] Postdoc Position in Formal Verification of Cyber-Physical Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University is looking for candidates interested in conducting independent research in the area of formal analysis of

[TYPES/announce] Postdoc position at the University of Strathclyde

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the University of Strathclyde (Glasgow, Scotland) on our EPSRC grant EP/Y000455/1 A

[TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Logic and Semantics Group at the Tallinn University of Technology is seeking an aspiring talented and hard-working young scientist to fill a departmentally funded postdoc position. The

[TYPES/announce] Postdoc position in SE/PL for AI (modular deep learning, robust AI)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoctoral position in SE/PL for AI (Focus on modular deep learning, robust/dependable AI) Iowa State University's Department of Computer Science is seeking applications for a

[TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on mathematical models of concurrent systems as part of the NCN project "Frontiers of automatic

[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for

[TYPES/announce] Postdoc position on Formal Verification for Zero-Trust IoT Systems at Kyoto University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are seeking a postdoc researcher, who works at Kyoto University, Japan for a project "Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software" by Japan Science

[TYPES/announce] Postdoc position at Kyoto University, Japan

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Sorry for cross posting.) We are currently looking for a postdoctoral researcher to work on the "CyPhAI: Formal Analysis and Design of AI-intensive Cyber-Physical Systems" project funded

[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for

[TYPES/announce] Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A postdoctoral position in automated verification and automata learning is open at the Max Planck Institute for Software Systems in Saarbrücken, Germany, in the group of Prof. Joël Ouaknine.

[TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 7 Dec 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Application deadline: Midnight, 7 Dec 2022 - Salary: £37,467 - Duration: until November 2023 Applications are invited for the post of Post-Doctoral Research Assistant in the Computer

[TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on Petri nets and their extensions as part of the NCN project "Data-enriched models of

[TYPES/announce] Postdoc position at the University of Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for

[TYPES/announce] Postdoc position (6 years) at the Security and Privacy group, TU Wien

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TU Wien is Austria's largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists,

[TYPES/announce] Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 15 Oct 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Application deadline: Midnight, 15 Oct 2022 - Salary: £37,467 - Duration: until November 2023 Applications are invited for the post of Post-Doctoral Research Assistant in the Computer

[TYPES/announce] Postdoc Position in Testing AI Ethics at King's College London

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Associate in Testing AI Ethics at King's College London Vacancy terms: Full time, fixed term contract for 18 months Salary: £38,826 per

[TYPES/announce] Postdoc position on specification and verification of heterogeneous systems at Imperial

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi all John Wickerson and I have an opening for a two year postdoc on specification and verification of heterogeneous systems, and their programming languages. See here for

[TYPES/announce] Postdoc position in Tokyo: model checking and optimization metaheuristics

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute, apologies for multiple postings.] Open Position for a PostDoc Researcher (Model Checking Extended with Optimization Metaheuristics, April 2022) ERATO Hasuo

[TYPES/announce] postdoc position in Lille (France) on type systems and logical methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoc position at the University of Lille, France. The successful candidate will work under the supervision of Patrick Baillot, on research topics related

[TYPES/announce] Postdoc position on session types for Erlang, University of Glasgow

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow College of Science and Engineering School of Computing Science Research Assistant / Associate Ref:077847 Grade 6/7: £29,614 - £33,309 / £36,382 - £40,927 per

[TYPES/announce] postdoc position, University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [ erratum: mistaken salary amount corrected ] Postdoc position in automata theory, University of Warsaw ** -

[TYPES/announce] postdoc position, University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in automata theory, University of Warsaw ** - Application deadline: March 31, 2022 - Starting date

[TYPES/announce] Postdoc position at the University of Lisbon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Lisbon -- One Post Doctoral Research Fellowship We are looking to fill one post-doctoral research fellowship in the area of programming languages, type systems and logics.

[TYPES/announce] Postdoc Position on Verification of Concurrent Systems via Model Learning, Royal Holloway University of London -- Application deadline 9 Jan 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Application deadline: Midnight, 9 Jan 2022 - Starting date: As soon as possible - Salary: £35,931-£37,979 - Duration: until February 2023 Applications are invited for the post of

[TYPES/announce] Postdoc position in quantum formal verification @ Université Paris-Saclay, CEA List, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The emerging quantum software group @ CEA List, Université Paris-Saclay, offers a two years fully-funded postdoctoral position at the crossroad of quantum programming, program analysis and

[TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is an announcement of a part-time postdoc position at TU Wien (Vienna, Austria). The Research Unit Formal Methods in Systems Engineering at TU Wien is looking for a postdoctoral

[TYPES/announce] postdoc position in Lille (France) on type systems and logical methods

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoc position at the University of Lille, France. The successful candidate will work under the supervision of Patrick Baillot, on research topics related

[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

[TYPES/announce] Postdoc Position in Formal Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position in formal verification The successful candidate is expected to work on

[TYPES/announce] Postdoc position: Formal Methods (Munich, Germany)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a post-doctoral researcher position in the field of formal methods, in Munich, Germany, the city of the Oktoberfest. The successful candidate is expected to

[TYPES/announce] Postdoc position: Formal Verification/Synthesis (Munich, Germany, deadline: August 28, 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for an EU funded post-doctoral researcher position in the field of formal verification/synthesis. The successful candidate is expected to advance the state of the art

[TYPES/announce] Postdoc position: Formal methods in control (Munich, Germany), ref 9y22x

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Sirs, I would like to point you to the announcement of a Postdoc position in Munich, Germany, the city of the Oktoberfest. I would appreciate if you could advertise the position in

[TYPES/announce] Postdoc Position in Formal Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position in formal verification The successful candidate is expected to work on

[TYPES/announce] Postdoc position in software security at Penn State CSE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position at Penn State Computer Science and Engineering Applications are invited for a full-time postdoctoral researcher position in the Security of Software (SOS) Lab at Penn

[TYPES/announce] Postdoc Position at Simon Fraser University in Vancouver, Canada

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The announcement below may be relevant for people interested in Rust, ownership types, and verification looking for a postdoc position. Best, Marco Steve Ko (Associate Professor at Simon

[TYPES/announce] Postdoc Position, Programming Group - SCS, University of St.Gallen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A fully funded postdoc position is open in the Programming Group at the School of Computer Science, University of St. Gallen (CH). The position is supervised by Prof. Guido Salvaneschi. Our

[TYPES/announce] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position. The successful candidate is expected to work on tool-supported formal analysis of

[TYPES/announce] Postdoc position at Cambridge in programming with equations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have an opening in Cambridge for a researcher on the Frex project (https://www.cl.cam.ac.uk/~jdy22/projects/frex). Informal enquiries are welcome: please feel free to get in touch.

[TYPES/announce] Postdoc position at CMU: Verified DSLs for high assurance systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a motivated postdoctoral scholar to work on formal methods for the development of high-assurance software and cyber-physical systems. In particular, the project involves

[TYPES/announce] Postdoc position at the LIP laboratory, ENS de Lyon, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The LIP laboratory, located at the ENS de Lyon in France, is offering a 1 year post-doc position in computer science, starting on the 1st September 2021. Candidates should have a PhD and a

[TYPES/announce] postdoc position (6 years) in CL group in Innsbruck

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 6 year postdoc position in computational logic == The University of Innsbruck invites applications for a 6 year

[TYPES/announce] Postdoc position at Chalmers (2 years) in Programming Language Technology for Privacy

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, I have an opening for a postdoctoral researcher at Chalmers, with preferred start at the beginning of the new year. I'm looking for someone with proven research skills in relevant

[TYPES/announce] Postdoc position at Boston College

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A postdoctoral position is available in the Computer Science department at Boston College as part of an NSF-supported project on formal verification of machine learning algorithms.

[TYPES/announce] Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to announce an opening for a postdoc position within the Computational Systems Group at the Department of Computer Sciences, University of Salzburg, The position is for up to

[TYPES/announce] postdoc position in Aarhus, Denmark, at Center for Basic Research in Program Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for Postdocs to work in the Center for Basic Research in Program Verification in Aarhus, Denmark. Research topics include: extensions of higher-order concurrent separation

[TYPES/announce] Postdoc position at Tufts in Program Synthesis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Tufts University Department of Computer Science invites applications for a postdoctoral research position. The candidate will work with Prof. Jeff Foster on a DARPA-funded project on

[TYPES/announce] Postdoc position: verified timing-channel security for seL4

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position: verified timing-channel security for seL4 http://jobs.unimelb.edu.au/caw/en/job/900474/research-fellow-in-verified-operating-system-security Applications close: February

[TYPES/announce] Postdoc position in Dependently Typed Programming, St Andrews

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, There is a position available for a post doctoral research fellow to work on Type Driven Development in Idris - for more details, and further particulars, see below, or you can see

[TYPES/announce] PostDoc Position in Quantitative Modeling at Aalborg University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PostDoc Position in Quantitative Modeling at Aalborg University, Denmark We are looking for a highly motivated

[TYPES/announce] Postdoc position at Imperial College London in software testing and programming languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position, joint between the Software Reliability Group and the Multicore Programming Group, under the direction of Cristian Cadar and Alastair

[TYPES/announce] Postdoc position at National University of Singapore on Program Synthesis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello all, I invite candidates for a postdoc position, which is available in my group at Yale-NUS College and School of Computing of National University of Singapore. The position is for

[TYPES/announce] Postdoc position on quantified effects at Reykjavik University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Quantified computational effects and interaction Department of Computer Science, Reykjavik University One postdoc position Applications are invited for one postdoctoral position at the

[TYPES/announce] PostDoc Position in Program Analysis and Repair

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A postdoctoral position is available at Ulsan National Institute of Science and Technology (UNIST). Job description: = The position will involve research in automated program

[TYPES/announce] Postdoc position on Automatic Parallelization of Dalvik Bytecode at CNAM, Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position on Automatic Parallelization of Dalvik Bytecode Applications are invited for a Postdoctoral Research Fellow position working on automatic parallelization of Android

[TYPES/announce] PostDoc position at Inria Paris on Formally Secure Compilation in Coq

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, A PostDoc position is available in my group at Inria Paris on Formally Secure Compilation in Coq (https://secure-compilation.github.io). I am seeking outstanding candidates with a

[TYPES/announce] Postdoc Position at the University of Minnesota

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, I am looking for postdocs for my group at the University of Minnesota, Twin Cities, USA. The length is about 18-24 months but negotiable. The funding can support a wide range of

[TYPES/announce] Postdoc position at Colorado in data-driven program analysis with potential industrial applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Verification Group at the University of Colorado Boulder (CUPLV) is looking for exceptional candidates for a postdoctoral research associate working in the area

[TYPES/announce] Postdoc Position Reminder

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, This is a reminder that we have an open postdoc position in Quantum Programming Languages here at Tulane. The project goal is to devise models of high-level functional quantum

[TYPES/announce] Postdoc position: Symbolic tools for the formal verification of cryptographic protocols

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A 12-month position for post-doctoral research on Symbolic tools for the formal verification of cryptographic protocols is available at the Inria Nancy / LORIA research center within the

[TYPES/announce] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software University of Twente Group: Formal Methods and Tools Contact

[TYPES/announce] Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Postdoctoral position (up to two years) on side-channel analysis and avoidance in Hardware at Chalmers

[TYPES/announce] PostDoc Position at UCLouvain in Formal Verificaion, Privacy, and Security

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi Everyone, A two years postdoc scholarship to work at UCLouvain with Axel Legay and Thomas Given-Wilson. Further details below. Regards, - Thomas Given-Wilson Position: -

[TYPES/announce] Postdoc position in Safety control and energy efficiency for embedded systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in Safety control and energy efficiency The Department of Engineering at Aarhus University is inviting applications for a 18-months postdoctoral position within Safety

[TYPES/announce] Postdoc position at Paris Diderot University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RAPIDO -- Reasoning And Programming with Infinite Data-Objects. (http://www.irif.fr/~saurin/RAPIDO) * postdoc positions in RAPIDO project: We are opening a post-doc position in RAPIDO

[TYPES/announce] postdoc position at Chalmers | University of Gothenburg

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in the area of software variability (with strong ties to robotics and embedded/cyber-physical systems). Apply by *July 5*. We are looking for a candidate with a good

[TYPES/announce] Postdoc position in Logic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in Logic at Utrecht University, the Netherlands. The postdoc is embedded in the research project “Optimal Proofs” funded by the Netherlands Organization for Scientific

[TYPES/announce] Postdoc position in formal verification for formal compositional contracts

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deon Digital and DIKU are looking for a postdoc in formal verification for formal compositional contracts in a domain-specific language specifying rules (obligations, permissions,

[TYPES/announce] PostDoc Position on Formally Secure Compilation at Inria Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A Postdoctoral Researcher position is available on my secure compilation project at Inria Paris. The project is aimed at building the first formally secure compilation chains for realistic

[TYPES/announce] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31st May 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN) * University of Gothenburg, Sweden * Duration: 2 years, starting Autumn 2018 * Deadline for applications is 31st May 2018 * The Department

[TYPES/announce] Postdoc position in Orsay, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, I would like to advertise a postdoc position available in Orsay, France. The goal is to develop formal proofs about the floating-point evaluation of polynomials and is within the

[TYPES/announce] postdoc position at Inria Rennes

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CELTIQUE team (https://team.inria.fr/celtique/) has a postdoc position available on the compilation of recursive functions to inductive definitions in Coq. To see details and to apply,

[TYPES/announce] Postdoc position at the Pennsylvania State University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position at Penn State Computer Science and Engineering Applications are invited for a full-time postdoctoral researcher position in the Security of Software (SOS) Lab at Penn State

[TYPES/announce] Postdoc Position in Program Verification at Carnegie Mellon University, Silicon Valley

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A post-doctoral researcher position focusing on symbolic verification techniques for cyber-security is available at Carnegie Mellon University at the Silicon Valley Campus (Mountain View,

[TYPES/announce] Postdoc position at the University of Lisbon (2nd call)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a fulltime postdoctoral research position at the University of Lisbon. The position is funded by the research project "CONFIDENT - Communication Contracts for

[TYPES/announce] Postdoc Position at DePaul University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc Position at DePaul University We invite applicants for a postdoc position at DePaul University, School of Computing. The appointment is for a one academic year, with full benefits

[TYPES/announce] Postdoc position at the University of Lisbon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We welcome applications for a fulltime postdoctoral research position at the University of Lisbon. The position is funded by the research project "CONFIDENT - Communication Contracts for

[TYPES/announce] Postdoc position at MPI-SWS, Kaiserslautern, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a full-time postdoctoral research position at the Max Planck Institute for Software Systems (MPI-SWS) based at Kaiserslautern, Germany, under the supervision

[TYPES/announce] Postdoc Position at Queen Mary

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are hiring one research fellow with a strong background in programming languages and verification, who can contribute to the design and implementation of a Java heterogeneous

[TYPES/announce] Postdoc position in proof theory in Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in proof theory in Paris There is an opening

[TYPES/announce] Postdoc position at IT University of Copenhagen

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I would like to advertise a 2-year postdoc position available at the IT University of Copenhagen, Denmark. The suggested starting date is August 2017, but this is negotiable.

[TYPES/announce] Postdoc position at the University of Lisbon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Post-doc opening on Communication Contracts for Distributed Systems Development *** We welcome applications for a fulltime postdoctoral research position at the University of

Re: [TYPES/announce] Postdoc position in Applied Semantics for Production Architectures

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] On 15 December 2016 at 23:20, Peter Sewell wrote: > [please circulate this to any likely candidates - thanks, Peter] > > Research Associate/Senior Research

[TYPES/announce] postdoc position (5 years) in Innsbruck

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5 year postdoc position in computational logic == The University of Innsbruck invites applications for a 5 year

[TYPES/announce] Postdoc position in provably secure systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are seeking candidates for a Postdoc position in the department of computer science at KTH Royal Institute of Technology. The candidate will join the PROSPER team, led by Prof. Mads Dam

[TYPES/announce] Postdoc position in Applied Semantics for Production Architectures

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [please circulate this to any likely candidates - thanks, Peter] Research Associate/Senior Research Associate in Applied Semantics for Production Architectures University of Cambridge

[TYPES/announce] Postdoc position in the area of formal verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apology for cross-posting.] Applications are invited for a Postdoctoral Research Fellow position working on formal verification. The work is being funded by EPSRC. The aim of the project

[TYPES/announce] Postdoc Position in Distributed Systems/Verification/Coq

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The PPLV group at University College London (UCL) has an opening for a one-year postdoctoral position. The successful candidate will work on the topic of implementing and verifying

[TYPES/announce] Postdoc position in Verification of Infinite-state Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in Verification of Infinite-state Systems (Updated Nov 2, 2016) http://www.cs.uiowa.edu/~tinelli/html/positions.html Project Supervisor Professor Cesare Tinelli

[TYPES/announce] PostDoc position at ITU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The IT University of Copenhagen seeks to hire outstanding researchers at its Interdisciplinary Centre for Democracy and Technology (DemTech). The research will be conducted under the

[TYPES/announce] Postdoc position at INRIA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, we are looking for 2 postdocs at INRIA Sophia Antipolis, next to Nice, France. The successful candidate will join the project lead by Nataliia Bielova and Arnaud Legout to

[TYPES/announce] postdoc position at Wesleyan

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi everyone, I am looking for a postdoc with me here at Wesleyan. Possible start dates range from this coming fall to the following one. Please email me or submit an application if

[TYPES/announce] Postdoc Position at IMDEA in Security/Privacy/Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will join the group of Boris Köpf to work on topics at the

[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

[TYPES/announce] postdoc position in type systems at NJIT (NYC area)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] One postdoc position in type systems is available in Prof. Iulian Neamtiu's research group at the New Jersey Institute of Technology, in the New York City metropolitan area. PROJECT SCOPE

Re: [TYPES/announce] Postdoc position on security protocol verification at NTU Singapore

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apology for multiple postings. There was a typo in the previous posting regarding the application deadlines. Below is the corrected version. Regards, -Alwen -- One postdoc position is

[TYPES/announce] Postdoc position on security protocol verification at NTU Singapore

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] One postdoc position is available at the School of Computer Engineering, Nanyang Technological University (NTU) Singapore, for a project on verification of security protocols funded by the

[TYPES/announce] Postdoc position at Penn on the DeepSpec project

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Join Penn as a postdoc on the DeepSpec project! Outstanding postdocs with interests in programming languages, formal verification, and systems software are invited

[TYPES/announce] postdoc position in dependent types at Dalhousie

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, I invite applications for one postdoctoral position, starting between now and January 1, at Dalhousie University under my supervision. The successful applicant will work

[TYPES/announce] POSTDOC position at NOVA LINCS Lisbon (background in Programming Languages and Tools)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We would like to announce a post doc / research associate position at NOVA Laboratory for Computer Science and Informatics (Lisbon) for candidates with a strong background in

  1   2   >