En esta página se recopilan las ofertas de trabajo de interés para los estudiantes del Máster Universitario en Lógica, Computación e Inteligencia Artificial de la Universidad de Sevilla.
Están en orden cronológico inverso por la fecha de su publicación en Twitter o en la lista de correo del Máster.
- 29-abr-24: #MULCIA: Postdoc positions in automated reasoning at Universidade Federal de Minas Gerais https://tinyurl.com/yeyjxbzk #PostDoc #CompSci
- 27-abr-24: #MULCIA: Postdoc position in theoretical computer science at King’s College London https://tinyurl.com/yuzshf6j #PostDoc #CompSci
- 21-abr-24: #MULCIA: PhD position in neuro-symbolic AI for mathematical discovery at Chalmers. https://tinyurl.com/f9ncunew #PhD #CompSci #AI #Math
- 15-abr-24: #MULCIA: PhD position in formal verification of autonomous systems at Chalmers University. https://tinyurl.com/4ezjzxwc #PhD #CompSci
- 13-abr-24: #MULCIA: Three Post-doc positions in RECIPROG project (located in France – Lyon, Nantes and Paris). https://tinyurl.com/yckhzzcr #PostDoc #CompSci
- 09-abr-24: #MULCIA: Postdoc in proof theory - University of Birmingham, 2 years. https://tinyurl.com/2f5yddd7 #PostDoc #CompSci
- 09-abr-24: #MULCIA: A PhD scholarship in Computer Science in Paris: Model checking for malware (virus) detection. https://tinyurl.com/ywfcbnhm #PhD #CompSci
- 06-abr-24: #MULCIA: Faculty position in Formal Methods at DTU Compute, Technical University of Denmark. https://tinyurl.com/bdedb5m #Job #CompSci
- 02-abr-24: #MULCIA: Fully funded PhD (Formal verification) position, University of Missouri, (Columbia, USA). https://tinyurl.com/yredjaa3 #PhD #CompSci
- 02-abr-24: #MULCIA: PhD scholarship in automated verification of WebAssembly programs, University of Reading (England). https://tinyurl.com/ycyk6b4k #PhD #CompSci
- 02-abr-24: #MULCIA: Postdoc or Assistant Research Professor position in formal methods and probabilistic programming at Penn State CSE. https://tinyurl.com/mr3zs9yu #PostDoc #CompSci
- 31-mar-24: #MULCIA: PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems at the University of Exeter (UK) https://tinyurl.com/mrxdfera #PostDoc #CompSci
- 25-mar-24: #MULCIA: 2 PhDs and 1 PostDoc in the new knowledge representation group, Paderborn (Germany). https://tinyurl.com/565e6kuv #PhD #PostDoc #CompSci
- 24-mar-24: #MULCIA: PostDoc in Formal Analysis of Autonomous Cyber-Physical Systems at Chalmers University. https://tinyurl.com/32z8rcay #PostDoc #CompSci
- 23-mar-24: #MULCIA: PhD position in program verification at Uppsala University, https://tinyurl.com/swbj76df #PhD #CompSci
- 22-mar-24: #MULCIA: Postdoc positions on foundations of type classes and type families at the University of Iowa. https://tinyurl.com/yc7x3594 #PostDoc #CompSci #FunctionalProgramming
- 21-mar-24: #MULCIA: Funded PhD position in formalizing/verification of Golang https://tinyurl.com/bwrxw67s #PhD #PostDoc #CompSci
- 21-mar-24: #MULCIA: PhD / Postdoc positions related to quantum verification / programs at RWTH Aachen, Germany. https://tinyurl.com/34ep5bab #PhD #PostDoc #CompSci
- 21-mar-24: #MULCIA: Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent. https://tinyurl.com/5n6v9b4v #PostDoc #CompSci
- 21-mar-24: #MULCIA: PhD position: Software verification for programmable 6g networks (University of Amsterdam). https://tinyurl.com/a9rdyez8 #PhD #CompSci
- 16-mar-24: #MULCIA: Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent. https://tinyurl.com/8yefah3n #PostDoc #CompSci
- 06-mar-24: #MULCIA: Associate Professor Position in Mathematical Logic at University of Rome “Tor Vergata”. https://tinyurl.com/32u737y6 #Job #Logic #Math
- 01-mar-24: #MULCIA: Postdoctoral position in neural-symbolic KRR in University of Manchester. https://tinyurl.com/33nyfhps #PostDoc #CompSci
- 29-feb-24: #MULCIA: Interactive theorem proving internship at AWS Cambridge, UK. https://bit.ly/3UYlWi9 #PhD #CompSci
- 29-feb-24: #MULCIA: PhD in theoretical computer science, Kings College (London / UK). http://tinyurl.com/mvetkkyd #PhD #CompSci
- 24-feb-24: #MULCIA: Postdoc position in formalization at Heidelberg University. https://www.mathjobs.org/jobs/list/24372 #PostDoc #CompSci #Math
- 23-feb-24: #MULCIA: PhD fellowship in formal verification (PhD project in verified, distributed stream processing) at the University of Copenhagen. https://bit.ly/49LahYk #PhD #CompSci
- 20-feb-24: #MULCIA: Postdoctoral position on work on the project “Categorical foundations of forward differentiation and reverse differentiation” at Macquarie University, Sydney (Australia). https://bit.ly/3UILsrt #PostDoc #CompSci
- 17-feb-24: #MULCIA: Post doctoral in mechanized theorem proving at Telecom SudParis. https://bit.ly/42PZ8mD #PostDoc #CompSci
- 14-feb-24: #MULCIA: PhD position in the areas of type theory, category theory and/or logic at the University of Strathclyde. https://bit.ly/3uIrbro #PhD #CompSci
- 03-feb-24: #MULCIA: Fully-funded PhD studentship in functional programming. University of Nottingham, UK https://bit.ly/47BZiib #PhD #CompSci
- 01-feb-24: #MULCIA: PhD position on machine learning for automated reasoning at University of Amsterdam. https://bit.ly/48UGnRh #PhD #CompSci
- 30-ene-24: #MULCIA: PhD position in formal methods for security and privacy at TU Wien. https://tools.spycode.at/recruiting/call/5 #PhD #CompSci
- 19-ene-24: #MULCIA: Post-doc position at University of Glasgow, UK (PL theory, behavioural types). https://bit.ly/3O9cLqQ #PostDoc #CompSci
- 19-ene-24: #MULCIA: PhD position in formal methods at the University of Augsburg, Germany available. https://bit.ly/48ECqQA #PhD #CompSci
- 18-ene-24: #MULCIA: Two fully funded PhD positions in informatics: Algorithms/ Logic and AI, Bergen (Norway). https://bit.ly/3Sm3gqK #PhD #CompSci
- 16-ene-24: #MULCIA: Fully-funded PhD studentship in functional programming at University of Nottingham, UK. https://bit.ly/47BZiib #PhD #CompSci
- 03-ene-24: #MULCIA: Funded PhD Studentship in Proof-theoretic Semantics, UCL (Londen, UK). https://bit.ly/41KRp8X #PhD #CompSci
- 02-ene-24: #MULCIA: PhD/postdoc positions in formal verification at Ecole Polytechnique, Paris, France. https://bit.ly/47fO2YB #PhD #PostDoc #CompSci
- 28-dic-23: #MULCIA: Two PhD scholarships in formal methods at ANU (The Australian National University). https://bit.ly/3vgcxYq #PhD #CompSci
- 28-dic-23: #MULCIA: Postdoc opening in categorical semantics. https://bit.ly/48xK66D #PostDoc #CompSci
- 23-dic-23: #MULCIA: PhD position on aligning learning and reasoning at the University of Groningen, Netherlands. https://bit.ly/3GXMzeZ #PhD #CompSci
- 22-dic-23: #MULCIA: 2 Postdocs Logic (1 year each), University of Cagliari (Italy). https://bit.ly/3GZITcp #PostDoc #Logic
- 20-dic-23: #MULCIA: Post-doc position in Udine in mathematical logic, Udine (Italy). https://bit.ly/3RP6xyz #PostDoc #Logic #Math
- 19-dic-23: #MULCIA: Multiple PhD and Postdoc positions in artificial intelligence and formal methods at the Ruhr-University Bochum, Germany. https://bit.ly/3txZ2CR #PhD #PostDoc #CompSci
- 16-dic-23: #MULCIA: Fully-funded PhD positions at ISTA in the area of programming languages and verification at the Institute of Science and Technology Austria (ISTA). https://bit.ly/4aqtS0M #PhD #CompSci
- 16-dic-23: #MULCIA: Full professorship in formal methods at the Johannes Kepler University Linz. https://bit.ly/3Tuu60W #Job #PostDoc #CompSci
- 13-dic-23: #MULCIA: Two research positions are available at the Alan Turing Institute on a new project combining Probabilistic Programming, LLMs and Answer Set Programming (ASP). https://bit.ly/46YQlPA #PhD #PostDoc #CompSci
- 12-dic-23: #MULCIA: Full Professorship in Formal Methods at the Johannes Kepler University Linz. https://bit.ly/47T8zDt #Job #CompSci
- 11-dic-23: #MULCIA: Tenure-track assistant professorship in foundations of computer science with a focus on logic and automated reasoning at Lund university. https://bit.ly/3NoDSxP #Job #CompSci
- 06-dic-23: #MULCIA: ERC-Funded PostDoc and PhD positions in combinatorial optimization (certifying algorithms/proof logging), VUB (Brussels, Belgium). https://bit.ly/47Pr7Vq #PhD #PostDoc #CompSci
- 26-nov-23: #MULCIA: PhD position in Computability at Swansea University. https://bit.ly/3sSjcqV #PhD #CompSci
- 25-nov-23: #MULCIA: Postdoc in Inria Gallinette team, Nantes – Compositional automated verification for OCaml. https://bit.ly/3GhUeUU #PostDoc #CompSci
- 18-nov-23: #MULCIA: Postdoc position on formalized mathematics in Bonn. https://bit.ly/3MOtUFK #PostDoc #CompSci #ITP #LeanProver #Math
- 17-nov-23: #MULCIA: One-year Postdoc in computational logic, Tampere (Finland), https://bit.ly/47u54mu #PostDoc #CompSci
- 16-nov-23: #MULCIA: Fully funded PhD position in categorical semantics. University of Sussex, UK. https://bit.ly/3MKy7tY #PhD #CompSci
- 16-nov-23: #MULCIA: Postdoc opening in categorical semantics at Appalachian State University. https://bit.ly/40EyBaW #PostDoc #CompSci
- 13-nov-23: #MULCIA: Postdoc position in Formal Methods at University of Exeter. https://bit.ly/3SzESTc #PostDoc #CompSci
- 09-nov-23: #MULCIA: Postdoc position in Formal Methods at University of Exeter. https://bit.ly/3SzESTc #PostDoc #CompSci
- 27-oct-23: #MULCIA: Postdoctoral position in large language models and explainability at University of Edinburgh. https://bit.ly/3tLIUNX #PostDoc #CompSci #AI
- 25-oct-23: #MULCIA: Post-doc job offering in SAT/SMT at Australian National University. https://bit.ly/3Mkiklp #PostDoc #CompSci
- 24-oct-23: #MULCIA: Postdoc in verification and game theory, University of Liverpool (UK). https://bit.ly/405jxTv #PostDoc #CompSci
- 23-oct-23: #MULCIA: Postdoctoral opportunities in verification/synthesis for AI at Oxford. https://bit.ly/46DkaWT #PostDoc #CompSci #AI
- 20-oct-23: #MULCIA: Post doctoral in mechanized theorem proving. https://bit.ly/40aztUw #PostDoc #CompSci
- 18-oct-23: #MULCIA: Postdoc position in formal methods at University of Exeter. https://bit.ly/3Sb5Joe #PhD #CompSci
- 13-oct-23: #MULCIA: PhD position in formalization of mathematics at Utrecht University. https://bit.ly/46OucUM #PhD #CompSci
- 13-oct-23: #MULCIA: PhD scholarship in Computer Science: Model checking for malware detection, Paris (France). https://bit.ly/3ZStiEi #PhD #CompSci
- 13-oct-23: #MULCIA: Postdoc computational linguistics, Gothenburg (Sweden). https://bit.ly/3Qbj2nn #PostDoc #CompSci
- 13-oct-23: #MULCIA: 2 PostDocs (3y, 2y) LoDEx/ deontic explanation/ defeasible reasoning, Bochum / Luxembourg / Vienna. https://bit.ly/3PUAVpl #PostDoc #CompSci #Logic
- 13-oct-23: #MULCIA: PhD position in logic and legal reasoning, Vienna (Austria). https://bit.ly/46Lm7Qp #PhD #Logic
- 13-oct-23: #MULCIA: PhD position in epistemic reasoning and learning - IRIT, Toulouse (France). https://bit.ly/45zbP50 #PhD #Logic #CompSci
- 11-oct-23: #MULCIA: PhD/postdoc vacancy on the verification of cryptographic protocols at Aarhus University. https://bit.ly/3tsVJwr #PhD #PostDoc #CompSci
- 28-sep-23: #MULCIA: Multiple theorem proving PhD/postdoc positions at LMU München. https://bit.ly/3Zwv3a9 #PhD #PostDoc #CompSci
- 26-sep-23: #MULCIA: PhD position in epistemic reasoning and learning, IRIT, Toulouse University. https://bit.ly/3RBGKKO #PhD #CompSci
- 12-sep-23: #MULCIA: Recrutement d’un.e doctorant.e dans le cadre du projet ANR “APPAM” (2024-2028): Les assistants de preuve pour les apprentissages mathématiques https://bit.ly/44USKd3 #PhD #CompSci
- 12-sep-23: #MULCIA: Recrutement d’un.e post-doctorant.e / ingénieur.e de recherche dans le cadre du projet ANR “APPAM” (2024-2028): Les assistants de preuve pour les apprentissages mathématiques. https://bit.ly/3reyLbF #PostDoc #CompSci
- 12-sep-23: #MULCIA: PhD / PostDoc position on Learning and Reasoning, TU Dortmund (Germany). https://bit.ly/3RqiHOy #PhD #PostDoc #CompSci
- 11-sep-23: #MULCIA: Permanent position in applied formal methods at Swansea University. https://bit.ly/3ZbJNuO #Job #CompSci
- 04-sep-23: #MULCIA: Prefaculty / postdoc researcher in type systems at Jane Street https://bit.ly/3R0jLZw #PhD #PostDoc #CompSci
- 27-ago-23: #MULCIA: Fully funded PhD positions in combinatorics, random graphs, logic, complexity, and semantics at University of Sheffield. https://bit.ly/47RChci #PhD #CompSci
- 18-ago-23: #MULCIA: Postdoctoral position in verification/robustness of AI at Oxford University. https://bit.ly/47BX4AE #PostDoc #CompSci
- 17-ago-23: #MULCIA: PhD position in secure software and microarchitectures at KTH Stockholm. https://bit.ly/45u3JLp #PhD #CompSci
- 12-ago-23: #MULCIA: PhD position in higher-order mathematical operational semantics at the Friedrich-Alexander-Universität Erlangen-Nürnberg.. https://bit.ly/456zV7G #PhD #CompSci
- 12-ago-23: #MULCIA: Postdoc position, Logic and Semantics Group in Tallinn. https://bit.ly/4482Rv1 #PostDoc #CompSci
- 07-ago-23: #MULCIA: PhD and PostDoc positions in formal methods at KIT. https://bit.ly/44YN1UH #PhD #PostDoc #CompSci
- 07-ago-23: #MULCIA: PhD Student in Assured Autonomous Systems (Two open positions) at Chalmers University. https://bit.ly/3qgLOJe #PhD #CompSci
- 07-ago-23: #MULCIA: PostDoc in Formal Analysis of Autonomous Systems at Chalmers University. https://bit.ly/440ebcv #PostDoc #CompSci
- 04-ago-23: #MULCIA: PhD student in assured autonomous systems (two open positions) at Chalmers University. https://bit.ly/3qgLOJe #PhD #CompSci
- 28-jun-23: #MULCIA: PhD student in Computing Science on safe and efficient programming languages at Uppsala University. https://bit.ly/3JCbdUa #PhD #CompSci
- 28-jun-23: #MULCIA: Two PostDoc/PhD positions in Knowledge Representation and Reasoning at Ulm University (Germany). https://bit.ly/3JyvKZL #PhD #PostDoc #CompSci
- 27-jun-23: #MULCIA: 2-year postdoctoral researcher position in SAT solving, constraint satisfaction and related areas. University of Bergen (Norway) https://bit.ly/3PxN2d5 #PostDoc #CompSci
- 02-jun-23: #MULCIA: PhD and Post-doctoral Positions Available in Formal Methods for Reversible Concurrent Calculi in Augusta University (Georgia, USA). https://bit.ly/3OOlpw3 #PhD #PostDoc #CompSci
- 23-may-23: #MULCIA: Postdoctoral position in Orleans, France: Collaborative memory models for formal verification. https://bit.ly/45sujWb #PostDoc #CompSci
- 23-may-23: #MULCIA: Postdoctoral position at Université de Montpellier: Verified data structures for term indexing. https://bit.ly/3ldROPO #PhD #PostDoc #CompSci
- 21-may-23: #MULCIA: Permanent Position S/SL in Applied Formal Methods at Swansea University. https://bit.ly/3ohKHrN #PostDoc #CompSci
- 21-may-23: #MULCIA: Postdoctoral position on agent-based modelling and multi-agent learning. https://bit.ly/3osQGtE #PostDoc #CompSci
- 28-abr-23: #MULCIA: Two year postdoc in logic and computation at the University of Bath. https://bit.ly/41N0mh4 #PostDoc #Logic #CompSci
- 27-abr-23: #MULCIA: PhD position in theoretical computer science and/or combinatorial optimization at Lund University. https://bit.ly/40JANvW #PhD #CompSci
- 20-abr-23: #MULCIA: 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield. https://bit.ly/41nwd7P #PostDoc #CompSci #ITP #IsabelleHOL
- 17-abr-23: #MULCIA: PhD position on verification of efficient and secure parallel algorithms. https://bit.ly/3jtp3OS #PhD #CompSci #ITP #IsabelleHOL
- 04-abr-23: #MULCIA: Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK. https://bit.ly/3Gb2yGj #PostDoc #CompSci
- 27-mar-23: #MULCIA: PhD position in programming languages at KU Leuven https://bit.ly/40G1Zw2 #PhD #CompSci #Haskell #FunctionalProgramming
- 27-mar-23: #MULCIA: Postdoctor in Type theory for mathematics and computer science, University of Gothenburg. https://bit.ly/3ZnxOZD #PostDoc #CompSci #Math
- 10-mar-23: #MULCIA: PhD and Post-doc Positions in Theoretical Computer Science, University of Regensburg https://bit.ly/3FfKf2y #PhD #PostDoc #CompSci
- 10-mar-23: #MULCIA: PhD or Postdoc position at LMU Munich about verified modal logics. https://bit.ly/3LbdHKC #PhD #PostDoc #CompSci
- 07-mar-23: #MULCIA: PhD / PostDoc position in knowledge representation and reasoning at TU Dortmund University (Germany). https://bit.ly/3L2UNFF #PhD #PostDoc #CompSci #Logic #AI
- 06-mar-23: #MULCIA: PhD studentships in formalising CS/Maths at King’s College London. https://bit.ly/3IX2cno #PhD #CompSci
- 06-mar-23: #MULCIA: PhD position at Inria / Nantes Université (France). The successful candidate will contribute to the Fresco ERC project, aiming at designing fast and reliable symbolic computations. https://bit.ly/3mslidD #PhD #CompSci
- 06-mar-23: #MULCIA: Postdoc position on formal verification for zero-trust IoT systems at Kyoto University. https://bit.ly/3EZDZfa #PostDoc #CompSci
- 01-mar-23: #MULCIA: PhD position in Epistemic Reasoning and Multi-Agent Learning, IRIT, Toulouse University. https://bit.ly/3Yc1Grt #PhD #CompSci
- 01-mar-23: #MULCIA: Post-Doctoral Research Visit F/M Metaprogramming a principled category theory library with Coq/Hierarchy-Builder. https://bit.ly/3Z9l4GR #PostDoc #CompSci
- 25-feb-23: #MULCIA: Two Postdocs in Logic, Gothenburg (Sweden). https://bit.ly/3KC9DmD #PostDoc #Logic
- 14-feb-23: #MULCIA: PhD position in Computer Science on the formal and cognitive foundations of human-centred AI (Orebro University, Sweden) https://bit.ly/3IoS8ER #PhD #AI #CompSci
- 14-feb-23: #MULCIA: Research Assistant / Research Associate in Argumentation-based Explainable AI (Imperial College London). https://bit.ly/3IwfN6p #PhD #PostDoc #CompSci #AI
- 12-feb-23: #MULCIA: Post-Doc in knowledge representation and reasoning, automated theorem proving (especially for non-classical logics) at the University of Luxembourg. https://bit.ly/3lvzPVq #PostDoc #CompSci
- 08-feb-23: #MULCIA: PhD position in Explainable AI in Finance at the University of Amsterdam. https://bit.ly/40HOQUg #PhD #CompSci #AI
- 08-feb-23: #MULCIA: Five tenured positions in theoretical computer science at IRIF / Université Paris Cité. https://bit.ly/40BPCC1 #Jobs #CompSci
- 08-feb-23: #MULCIA: PhD position in formal methods at the University of Oslo. https://bit.ly/3llXZ4I #PhD #CompSci
- 04-feb-23: #MULCIA: Post-doc position at Université de Montpellier: Verified data structures for term indexing. https://bit.ly/3ldROPO #PostDoc #CompSci
- 03-feb-23: #MULCIA: 4y fully funded PhD position on verification of efficient and secure parallel algorithms at the University of Twente. https://bit.ly/3jtp3OS #PhD #CompSci
- 03-feb-23: #MULCIA: Postdoc position on design and/or verification of distributed systems at the University of Birmingham. https://bit.ly/3YmRYCO #PostDoc #CompSci
- 02-feb-23: #MULCIA: Two PhD Positions in AUTOSARD (Automated Sublinear Amortised Resource Analysis of Data Structures) project. https://bit.ly/3l0MRtU #PhD #CompSci
- 02-feb-23: #MULCIA: Job offer / Researcher-Engineer / Inria, Saclay, France. https://bit.ly/3DWh3wX #Job #CompSci
- 01-feb-23: #MULCIA: Assistant professor in logic/semantics at the Vrije Universiteit Amsterdam. https://bit.ly/3RjH0Ml #Job #CompSci
- 26-ene-23: #MULCIA: Research scientist - Formal methods at Two Six Technologies. Arlington, Virginia https://bit.ly/3wxUVoe #Job #CompSci
- 19-ene-23: #MULCIA: Postdoc in Inria Sophia Antipolis: Metaprogramming a principled category theory library with Coq/Hierarchy-Builder. https://bit.ly/3kidVnQ #PostDoc #CompSci
- 19-ene-23: #MULCIA: PhD Studentship at Planning and Learning Group, Madrid, Spain. https://bit.ly/3QOlYVC #PhD #CompSci
- 13-ene-23: #MULCIA: Postdoc position and PhD position in Computational Topology and Neural Networks at the University of Seville. https://bit.ly/3IKrNBy #PhD #PostDoc #CompSci
- 13-ene-23: #MULCIA: Fully funded PhD scholarship on “Trustworthy refactoring tools for Haskell programs” at St Andrews. https://bit.ly/3XpXyEe #PhD #CompSci
- 12-ene-23: #MULCIA: PhD positions in theoretical computer science at Lund University. https://bit.ly/3lW9IUU #PhD #CompSci
- 10-ene-23: #MULCIA: A fully funded postdoc position in “Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games” https://bit.ly/3CxKPHq #PostDoc #CompSci
- 10-ene-23: #MULCIA: Two open position in Mathematical and Computational Logic at the ILLC, University of Amsterdam. https://bit.ly/3IC5XQB #Job #CompSci
- 10-ene-23: #MULCIA: Tenure-track Faculty Positions at the IMDEA Software Institute. https://bit.ly/3IGeEJI #Jobs #PostDoc #CompSci
- 09-ene-23: #MULCIA: Verification jobs at Cryspen https://bit.ly/3vON3OY #Job #CompSci
- 09-ene-23: #MULCIA: 2-year postdoctoral position in Neurosymbolic Artificial Intelligence at the University of Edinburgh. https://bit.ly/3QozDCy #PostDoc #CompSci
- 05-ene-23: #MULCIA: Postdoctoral position on Program Semantics and SW Verification at Singapore Institute of Technology. https://bit.ly/3jMRJlD #PostDoc #CompSci
- 03-ene-23: #MULCIA: Post-doc position in program verification using proof assistants at Université de Montpellier. https://bit.ly/3IfgroZ #PostDoc #CompSci
- 03-ene-23: #MULCIA: A fully funded postdoc position in “Quantitative verification of software families based on coalgebraic modal logic and games” at the University of Sheffield. https://bit.ly/3WEp4xC #PostDoc #CompSci
- 26-dic-22: #MULCIA: Post-Doc Position in Logic at the University of Milan (Italy). https://bit.ly/3C4ZPMH #PostDoc #CompSci
- 18-dic-22: #MULCIA: Postdoctoral positions in Theoretical Computer Science in Copenhagen. https://bit.ly/3BEQ3kj #PostDoc #CompSci
- 11-dic-22: #MULCIA: Post-doc position in the Inria Gallinette team in Nantes. https://bit.ly/3uDijjp #PostDoc #CompSci
- 06-dic-22: #MULCIA: Postdoctoral Research Positions in Mathematics and AI at the Sydney Mathematics Research Institute. https://bit.ly/3BcRO88 #PostDoc #AI #Math
- 29-nov-22: #MULCIA: 7 PhD positions available in Austria within the SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) Special Research Program. https://bit.ly/3GVfvWe #PhD #CompSci
- 29-nov-22: #MULCIA: Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh. https://bit.ly/3OMuJOU #PhD #CompSci
- 29-nov-22: #MULCIA: 2 PhD positions in Formal Analysis for Concurrent Workflows in HVL, Bergen, Norway. https://bit.ly/3in62MR #PhD #CompSci
- 24-nov-22: #MULCIA: Fully funded PhD positions in PL theory and interactive theorem proving at Heriot-Watt University in Edinburgh. https://bit.ly/3V3pIEh #PhD #CompSci
- 24-nov-22: #MULCIA: PhD Position in Theoretical Computer Science and/or Combinatorial Optimization in Lund. https://bit.ly/3XtonrT #PhD #CompSci
- 22-nov-22: #MULCIA: Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford https://bit.ly/3Oq6TbO #PostDoc #CompSci
- 22-nov-22: #MULCIA: PhD position in the area of Theoretical Computer Science at the University of Innsbruck. http://bit.ly/31MadFX #PhD #CompSci
- 22-nov-22: #MULCIA: PhD positions in program verification and separation logic at ETH Zürich. https://bit.ly/3XrIJ4T #PhD #CompSci
- 16-nov-22: #MULCIA: PhD positions in program verification and separation logic at ETH Zürich https://bit.ly/3hBeOqe #PhD #CompSci
- 15-nov-22: #MULCIA: Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London. https://bit.ly/3THurd8 #PostDoc #CompSci
- 15-nov-22: #MULCIA: PhD positions in Blockchain and DLT including analysis and verification of smart contracts using Horn clauses. https://bit.ly/3UEXUWm #PhD #CompSci
- 25-oct-22: #MULCIA: A PHD Position on Security and Intelligence on Representation and explanations for hybrid intelligence of security decision at VU Amsterdam. https://bit.ly/3zaIRuS #PhD #CompSci
- 24-oct-22: #MULCIA: Job opportunity at Oxford in Safe and Secure AI (ELSA EU network). https://www.cs.ox.ac.uk/news/2096-full.html #Job #CompSci #AI
- 20-oct-22: #MULCIA: PhD positions at Binghamton University to work on formal verification, analysis, and/or synthesis. https://bit.ly/3TzOQ49 #PhD #CompSci
- 14-oct-22: #MULCIA: PhD position in number theory and formalisation at UEA (Formalising aspects of the Langlands Program in Lean). https://bit.ly/3CWFEBm #PhD #CompSci
- 12-oct-22: #MULCIA: Ph.D. positions at Portland State University (in programming languages, formal verification, and/or interactive theorem proving). https://bit.ly/3yxjN0I #PhD #CompSci
- 12-oct-22: #MULCIA: Three PhD student positions in verification, Sheffield (England). https://bit.ly/3Cie3u9 #PhD #CompSci
- 12-oct-22: #MULCIA: PhD and postdoc positions in theory of quantum computing in Paris. https://bit.ly/3esC3BS #PhD #PostDoc #CompSci
- 12-oct-22: #MULCIA: Postdoc positions at Virginia Tech/Open University in verification. https://bit.ly/3CQAdE9 #PostDoc #CompSci
- 09-oct-22: #MULCIA: Postdoctoral position in mathematical logic, Vienna (Austria). https://bit.ly/3CeFrYO #PostDoc #Logic #Math
- 09-oct-22: #MULCIA: Faculty position in Logical Foundations at the University of Cambridge. https://bit.ly/3EwTeN4 #Job #PostDoc #CompSci
- 09-oct-22: #MULCIA: Four (4) PhD student positions in dependent type theory for mathematics and computer science. https://bit.ly/3fNB1R3 #PhD #CompSci
- 09-oct-22: #MULCIA: Two postdocs in Type theory for mathematics and computer science ar the University of Gothenburg. https://bit.ly/3CmjxTC #PostDoc #CompSci
- 09-oct-22: #MULCIA: Faculty position in Verification at Sheffield University. https://bit.ly/3rIrNbA #Job #PostDoc #CompSci
- 09-oct-22: #MULCIA: Two positions at the University of Bonn in the field of formal mathematics and computer assisted theorem proving. https://bit.ly/3CLPPZH #Job #CompSci
- 30-sep-22: #MULCIA: Fully funded PhD positions in logic, semantics of programs and verification at University of Sheffield, UK. https://bit.ly/3Cie3u9 #PhD #CompSci
- 24-sep-22: #MULCIA: W2-Professorships in the field of formal mathematics and computer assisted theorem proving at The University of Bonn. https://bit.ly/3Ra2BF2 #Jobs #PostDoc #CompSci
- 12-sep-22: #MULCIA: Looking for PostDoc on Program Verification Techniques in F* and Coq at the Max Planck Institute for Security and Privacy. https://bit.ly/3B6WZFG #PostDoc #CompSci
- 09-sep-22: #MULCIA: Senior Lecturer / Associate Professor in Fairness in Machine Learning & AI Planning at the University of Melbourne. https://bit.ly/3d5CtNB #Job #CompSci #AI
- 09-sep-22: #MULCIA: PhD scholarship for compiler verification at the University of Lisbon / INESC-ID (Portugal). https://bit.ly/3L1cnbe #PhD #CompSci
- 09-sep-22: #MULCIA: Recruitment of a research engineer in automated proof at LIRMM in Montpellier (France). https://bit.ly/3B0JmaZ #Job #CompSci
- 08-sep-22: #MULCIA: Tenure-track assistant or associate professorship in complexity theory in Copenhagen. https://bit.ly/3TTM9M0 #Job #PostDoc #CompSci
- 08-sep-22: #MULCIA: PhD position in Knowledge Representation and Reasoning / Artificial Intelligence, TU Graz. https://bit.ly/3TPeEKH #PhD #PostDoc #CompSci
- 02-sep-22: #MULCIA: Postdoctoral fellowship (2 years) within Formal Reasoning Methods for Social Intelligent Systems. https://bit.ly/3wQOMEc #PostDoc #CompSci
- 02-sep-22: #MULCIA: Postdoctoral position (2y) in distributed synthesis, Gothenburg (Sweden). https://bit.ly/3KIcDLX #PostDoc #CompSci
- 02-sep-22: #MULCIA: PhD student position in finite model theory for many valued logics, St Lucia (Australia). https://bit.ly/3TCbwSb #PhD #Logic
- 02-sep-22: #MULCIA: Assistant, Associate, & Full Professorships (three positions) in Theoretical Computer Science, Amsterdam (The Netherlands) https://bit.ly/3CR5w21 #Job #CompSci
- 02-sep-22: #MULCIA: Postdoctoral fellowship in paraconsistent computability theory, Dunedin & Christchurch (New Zealand). https://bit.ly/3q3zJmL #PostDoc #CompSci
- 20-ago-22: #MULCIA: Postdoc in logic, three years full time (University of Otago, NZ) https://bit.ly/3c3HpCp #PostDoc #CompSci #Logic
- 09-ago-22: #MULCIA: PhD Position in Theoretical Computer Science and Combinatorial Optimization at Lund University . https://bit.ly/3SBWviL #PhD #CompSci
- 06-ago-22: #MULCIA: PhD student in Computing Science on the topic of efficient and provably correct execution environments at Uppsala University. https://bit.ly/3Q3IOYj #PhD #CompSci
- 04-ago-22: #MULCIA: Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent. https://bit.ly/3A6k5gB #Job #CompSci
- 04-ago-22: #MULCIA: PhD positions on formal methods and program analysis available at the University of Oslo. https://bit.ly/3St0yOv #PhD #CompSci
- 30-jul-22: #MULCIA: PhD position in Knowledge Representation and Reasoning / Artificial Intelligence, TU Graz. https://bit.ly/3JhsBvW #PhD #CompSci #AI
- 30-jul-22: #MULCIA: Postdoc and PhD positions at designing and formally verifying distributed systems. University of Birmingham. https://bit.ly/3zKiCfm #PhD #PostDoc #CompSci
- 30-jul-22: #MULCIA: Post Doctoral Research Fellowship at the University of Lisbon in the area of programming languages, type systems and logics. https://bit.ly/3Q6t2vj #PostDoc #CompSci
- 30-jul-22: #MULCIA: Assistant Professorships at Heriot-Watt University. https://bit.ly/3JeywSC #PostDoc #CompSci
- 26-jul-22: #MULCIA: Assistant Professor position in “Logic in AI” at VU Amsterdam. https://bit.ly/3PGAE7Z #Job #CompSci #AI
- 21-jul-22: #MULCIA: Fully Funded EPSRC and Swansea University PhD Scholarship: Comparing the expressiveness of transducers and simply-typed linear λ-calculi. https://bit.ly/3B8NabY #PhD #CompSci
- 21-jul-22: #MULCIA: Research Associate, Project FAIR: Verification and Accountability, at the Alan Turing Institutes. https://bit.ly/3IXFBXE #PostDoc #CompSci
- 21-jul-22: #MULCIA: Postdoc Vacancy at the Programming Languages Group, University of St Andrews https://bit.ly/3RPjd6J #PostDoc #CompSci
- 16-jul-22: #MULCIA: Fully funded PhD position on efficient and provably correct execution environments at Uppsala University. https://bit.ly/3yFztOS #PhD #CompSci
- 05-jul-22: #MULCIA: Postdoctoral position in Logic, Uncertainty, Computation, & Information, Milan (Italy). https://bit.ly/3uq44i8 #PostDoc #CompSci
- 01-jul-22: #MULCIA: Research position (2y) on formal methods for reasoning in social settings, Pisa (Italy). https://bit.ly/3ysKR0D #PostDoc #LogicMath
- 01-jul-22: #MULCIA: Postdoctoral position in Epistemology and/or Philosophy of Maths, Linkoeping (Sweden) https://bit.ly/3R2qwHB #PostDoc #LogicMath
- 29-jun-22: #MULCIA: Two postdoctoral positions & one PhD student position in Computer Science Logic. University of Sheffield. https://bit.ly/39ZnROy #PhD #PostDoc #CompSci
- 25-jun-22: #MULCIA: PhD position in formal verification of blockchain applications, Göteborg (Sweden). https://bit.ly/3bsjY54 #PhDºd #PostDoc #CompSci
- 25-jun-22: #MULCIA: PhD positions in knowledge engineering, Bolzano (Italy). https://bit.ly/3On2IN7 #PhD #CompSci
- 25-jun-22: #MULCIA: PhD student position in trust management, Munich (Germany). https://bit.ly/3nh8JyR #PhD #CompSci
- 25-jun-22: #MULCIA: Postdoctoral position in reasoning in arithmetic theories, Oxford (England). https://bit.ly/3ykCRzR #PostDoc #CompSci
- 18-jun-22: #MULCIA: Postdoc position on specification and verification of heterogeneous systems at Imperial College. https://bit.ly/3Okarvv #PostDoc #CompSci
- 13-jun-22: #MULCIA: Engineer and postdoc positions in France: proof assistant for crypto protocols. https://bit.ly/3QlSIVB #PostDoc #CompSci
- 10-jun-22: #MULCIA: PhD positions in theoretical computer science at Lund University. https://bit.ly/3lW9IUU #PhD #CompSci
- 09-jun-22: #MULCIA: Post-doc at MSR Cambridge UK in constraint solving/program verification and synthesis/scheduling for AI/ML systems. https://bit.ly/3MBMVIH #PostDoc #CompSci
- 02-jun-22: #MULCIA: Postdoctoral researcher position in formalization of algorithms in proof assistants, University of Bergen, Norway. https://bit.ly/3GIKKl6 #PostDoc #CompSci
- 01-jun-22: #MULCIA: PhD Position F/M automated reasoning for set theory at Inria Nancy. https://bit.ly/3PPFekZ #PhD #CompSci
- 01-jun-22: #MULCIA: Engineer Research and Development (M/F), Formal Verification. https://bit.ly/3m5gU0G #Job #CompSci
- 01-jun-22: #MULCIA: PhD Position F/M formalization of set theory and proof checking. https://bit.ly/3GCetw9 #PhD #PostDoc #CompSci
- 26-may-22: #MULCIA: Postdoc position in non-classical logic / Department of Logic, Nicolaus Copernicus University in Toruń. https://bit.ly/3MOiXlq #PostDoc #Logic
- 26-may-22: #MULCIA: 3 year postdoc position in computational logic in connection with the FWF-JSPS joint project “ARI: Automation of rewriting infrastructure”. https://bit.ly/3wNEZ2h #PostDoc #CompSci #Logic
- 25-may-22: #MULCIA: Postdoctoral Researcher Position in Formalization of Algorithms in Proof Assistants, University of Bergen, Norway. https://bit.ly/3PEFfb7 #PostDoc #CompSci
- 19-may-22: #MULCIA: PhD student position on Knowledge Representation & Reasoning for Personal Agents, Enschede (The Netherlands). https://bit.ly/3PuHCgy #PhD #CompSci
- 06-may-22: #MULCIA: Researcher Formal Verification position at Hensoldt Cyber in Munich. https://bit.ly/3uNOdHC #Job #CompSci #ITP #IsabelleHOL
- 06-may-22: #MULCIA: PhD student position in compositional verification, Rennes (Frances). https://bit.ly/3FnzIBh #PhD #CompSci
- 29-abr-22: #MULCIA: IO Global is searching for a Software Engineer - Formal Methods to join their Ledger team. https://bit.ly/3kmtiIX #Jobs #CompSci
- 28-abr-22: #MULCIA: Post-Doctoral Researcher in Software Verification Modular AI Verification and Visualisation (MAIVV) [Maynooth University, Ireland]. https://bit.ly/3kj1yVh #PostDoc #CompSci
- 28-abr-22: #MULCIA: Post-Doctoral Researcher in Visualising Deep Learning Systems Modular AI Verification and Visualisation (MAIVV) [Maynooth University, Ireland]. https://bit.ly/3Mym3tp #PostDoc #CompSci #AI
- 28-abr-22: #MULCIA: PhD Scholarship in Computer Science Modular AI Verification and Visualisation (MAIVV) [Maynooth University, Ireland]. https://bit.ly/3EWf1w3 #PhD #CompSci #AI
- 19-abr-22: #MULCIA: PhD position: Compositional verification of system program modules in Rust - Inria Rennes. https://bit.ly/3uTbKdc #PhD #CompSci
- 09-abr-22: #MULCIA: Tenure Track lecturer (research) ‘Formal Aspects of Programming Languages’ at the Vrije Universiteit Brussel in Belgium. https://bit.ly/360urSU #Job #CompSci
- 08-abr-22: #MULCIA: Postdoc in computational complexity at Imperial College London. https://bit.ly/3KpXIFk #PostDoc #CompSci
- 08-abr-22: #MULCIA: Postdoc position on planning with others’ beliefs and goals. IRIT, Toulouse. https://bit.ly/37tfNUC #PostDoc #CompSci #AI
- 04-abr-22: #MULCIA: Fully funded PhD position in “Compositional verification of smart contracts in Isabelle”. (Exeter, UK) https://bit.ly/3GLJZ9z #PhD #CompSci #IsabelleHOL
- 04-abr-22: #MULCIA: Fully funded PhD position in “Formal verification for safety- or security-critical systems”. (Exeter, UK) https://bit.ly/3GLJZ9z #PhD #CompSci #IsabelleHOL
- 31-mar-22: #MULCIA: PhD position in machine learning for formal verification (Université Paris-Saclay, CEA LIST Institute, France). https://bit.ly/3wS6wjr #PhD #CompSci
- 30-mar-22: #MULCIA: PhD positions in the area of Algorithmic Verification at Aarhus University. https://bit.ly/3tPBC9k #PhD #CompSci
- 25-mar-22: #MULCIA: Ph.D position on formal methods available @ University of Oslo (short deadline). https://bit.ly/3DigUCf #PhD #CompSci
- 22-mar-22: #MULCIA: PhD student position on proof theory and verification of legal software, Barcelona. https://bit.ly/3tvnB0u #PhD #CompSci
- 22-mar-22: #MULCIA: PhD position on Homotopy Type Theory at the University of Amsterdam. https://bit.ly/3qqXxS9 #PhD #CompSci #HoTT
- 22-mar-22: #MULCIA: Research Assistant/Associate in Language Design for Typed Metaprogramming at the University of Cambridge. https://bit.ly/3inDrUJ #PostDoc #CompSci
- 17-mar-22: #MULCIA: MLabs is Hiring a Haskell Developer (100% Remote, Worldwide). https://bit.ly/3tkexvv #Job #Haskell #FunctionalProgramming
- 17-mar-22: #MULCIA: PhD position in Formal Methods and AI. https://bit.ly/3KQzkMT #PhD #CompSci #AI
- 17-mar-22: #MULCIA: Postdoc position in Lille (France) on type systems and logical methods. https://bit.ly/3JnoWMg #PostDoc #CompSci
- 17-mar-22: #MULCIA: PhD student position in finite model theory for many valued logics, St Lucia (Australia). https://bit.ly/36s0hrh #PhD #Logic #Math
- 17-mar-22: #MULCIA: Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan. https://bit.ly/3IjIJev #PostDoc #CompSci
- 16-mar-22: #MULCIA: Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL). https://bit.ly/3CUdZj6 #Job #CompSci
- 15-mar-22: #MULCIA: Postdoc positions on “Declarative and constraint modelling for generating socially and environmentally responsible action plans”. https://bit.ly/3q7NilB #PostDoc #CompSci
- 14-mar-22: #MULCIA: Postdoc position(s) in ASP and machine learning at Oxford. https://bit.ly/3i3MWIe #PostDoc #CompSci #ASP #LogicProgramming #MachineLearning
- 12-mar-22: #MULCIA: Open Position: Assistant Professor in Logic for AI (Fixed-term, three years), Milan. https://bit.ly/3I0txCI #Job #Logic #AI
- 09-mar-22: #MULCIA: Postdoctoral positions in AI for Programming Education at MPI-SWS, Germany https://bit.ly/3KmOY2u #PostDoc #CompSci
- 09-mar-22: #MULCIA: PhD in Mathematical and Computational Logic at the University of Amsterdam. https://bit.ly/3hPXOcV #PhD #Logic #Math #CompSci
- 03-mar-22: #MULCIA: Postdoc and PhD position in homotopy type theory or related areas at the University of Nottingham, UK. https://bit.ly/34aYgPH #PhD #PostDoc #CompSci
- 02-mar-22: #MULCIA: Formal/mathematical verification engineer at AMD. Location: Milton Keynes, Buckinghamshire, GB. https://bit.ly/3Mj67f6 #Job #CompSci
- 02-mar-22: #MULCIA: PhD position in number theory and formalization. Vrije Universiteit Amsterdam. https://bit.ly/346gC4b #PhD #CompSci #Math
- 01-mar-22: #MULCIA: PhD in Cyclic Proofs for Modal and Higher-order Logic. University of Amsterdam. https://bit.ly/3sL5GS5 #PhD #Logic
- 24-feb-22: #MULCIA: Postdoctoral position at Inria Saclay: B in Dedukti. https://bit.ly/3HhtwKl #PostDoc #CompSci
- 24-feb-22: #MULCIA: Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique). Project: “LambdaComb: a cartographic quest between lambda-calculus, logic, and combinatorics”. https://bit.ly/3JRxU4g #PostDoc #CompSci
- 23-feb-22: #MULCIA: Postdoctoral fellowship in KR / explainable AI / neuro-symbolic systems. University of Edinburgh. https://bit.ly/3HgeRit #PostDoc #CompSci
- 22-feb-22: #MULCIA: Fully-Funded 4-year Ph.D. position in automata theory, University of Warsaw. Project: “Frontiers of automatic analysis of concurrent systems” https://bit.ly/3IhACzW #PhD #CompSci
- 22-feb-22: #MULCIA: Postdoc position, University of Warsaw. Project: “Data-enriched models of computation”. https://bit.ly/3s8s5tb #PostDoc #CompSci
- 22-feb-22: #MULCIA: PhD and postdoc positions in security and privacy at Chalmers University of Technology. https://bit.ly/34Z5xT1 #PhD #PostDoc #CompSci
- 18-feb-22: #MULCIA: Two Lecturer / Senior Lecturer posts in Formal Methods at Newcastle University. https://bit.ly/3BvTcBC #Jobs #PostDoc #CompSci
- 16-feb-22: #MULCIA: PhD position on efficient and provably correct execution environments at Uppsala University, Sweden. https://bit.ly/3JvePVx #PhD #CompSci
- 15-feb-22: #MULCIA: Research Fellowship in Software Engineering & Verification (3y), Manchester (England) https://bit.ly/3uQVJF6 #Job #PostDoc #CompSci
- 15-feb-22: #MULCIA: PhD student position in cyclic proofs for modal and higher-order logic, Amsterdam (The Netherlands). https://bit.ly/3sL5GS5 #PhD #Logic
- 15-feb-22: #MULCIA: Postdoctoral position in metamathematics of substructural modal logics, Prague (Czech Republic). https://bit.ly/3sGeVD1 #PostDoc #Logic
- 15-feb-22: #MULCIA: Senior Scientist position in set theory, Vienna (Austria). https://bit.ly/3oLIQbO #Job #PostDoc #Logic #Math
- 15-feb-22: #MULCIA: PhD student position in logical approach to verification of hyperproperties, Sheffield (England). https://bit.ly/352u1us #PhD #CompSci
- 15-feb-22: #MULCIA: Postdoctoral position (2y) on distributed synthesis, Gothenburg (Sweden). https://bit.ly/3gRc44k #PostDoc #CompSci
- 14-feb-22: #MULCIA: Two PhD positions in Knowledge Representation and Reasoning / Artificial Intelligence, TU Graz. https://bit.ly/3Bj0Sah #PhD #CompSci #AI
- 10-feb-22: #MULCIA: PhD positions in mathematical foundations of computer science - Bath. https://bit.ly/3JeDQ7a #PhD #CompSci #Math
- 09-feb-22: #MULCIA: Post-doc/senior researcher in smart contract security analysis using formal methods. University of Warsaw, Poland. https://bit.ly/3J9qAAA #PostDoc #CompSci
- 09-feb-22: #MULCIA: Postdoc on session types and reliability. University of Kent. https://bit.ly/3B8t5jQ #PostDoc #CompSci
- 08-feb-22: #MULCIA: PhD student in Computing Science on the topic of efficient and provably correct execution environments. https://bit.ly/3uzVY7n #PhD #CompSci
- 06-feb-22: #MULCIA: Researcher positions (Postdoc / PhD) in quantum crypto and formal verification. https://bit.ly/3kl2GXU #PhD #PostDoc #CompSci
- 04-feb-22: #MULCIA: Permanent position for Computer Scientist in cybersecurity verification at CEA List, France https://bit.ly/3J5MJ34 #Job #CompSci
- 03-feb-22: #MULCIA: PhD opportunities in HoTT/UF and related areas at the University of Birmingham. https://bit.ly/3J1exW1 #PhD #CompSci
- 01-feb-22: #MULCIA: Industrially-funded PhD position at VERIMAG, Grenoble, France: Certified compilation for security. https://bit.ly/3rjU3lA #PhD #CompSci
- 01-feb-22: #MULCIA: fully funded PhD position on verification of industrial robots at University of Sheffield. https://bit.ly/35ekbTi #PhD #CompSci
- 01-feb-22: #MULCIA: PhD scholarship on Concurrency and Logic. https://bit.ly/3493gnV #PhD #CompSci
- 27-ene-22: #MULCIA: Siemens Belgium in Leuven seeks for an expert in SAT/SMT/constraint programming. https://sie.ag/34bNcS6 #Job #CompSci #SAT #SMT #Constraint_programming
- 14-ene-22: #MULCIA: Postdoctoral position in automated reasoning, Luxembourg (Luxembourg). https://bit.ly/3rmO3qX #PostDoc #CompSci
- 14-ene-22: #MULCIA: Postdoc positions on Formal Verification for Zero-Trust IoT Systems at Kyoto University and National Institute of Informatics (NII), Japan. https://bit.ly/3Kcx3MD #PostDoc #CompSci
- 13-ene-22: #MULCIA: Postdoc positions in theoretical computer science in Copenhagen https://bit.ly/3nibpgb #PostDoc #CompSci
- 13-ene-22: #MULCIA: Teacher position in Logic & Multi-Agent systems, Groningen (The Netherlands). https://bit.ly/3qnJFbZ #PostDoc #CompSci #Logic
- 12-ene-22: #MULCIA: Research Associate on FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning. Oxford University. https://bit.ly/3fhwLG2 #PostDoc #CompSci
- 12-ene-22: #MULCIA: Position as Senior Lecturer in Logic in Gothenburg. https://bit.ly/31PDQKM #PostDoc #Logic
- 11-ene-22: #MULCIA: Postdoc position(s) in ASP and machine learning at Oxford. https://bit.ly/3fbKduX #PostDoc #CompSci #ASP #MachineLearning
- 10-ene-22: #MULCIA: PhD student position in finite model theory for many valued logics, St Lucia (Australia). https://bit.ly/3nxrAGH #PhD #Logic #Math
- 05-ene-22: #MULCIA: PhD position in formalization of mathematics. Radboud Universiteit. https://bit.ly/3HD0TaZ #PhD #CompSci #ITP #LeanProver #Math
- 21-dic-21: #MULCIA: Assistant Professor (Tenure-track) Positions in Artificial Intelligence, Cybersecurity, and Programming Languages at the University of Southern Denmark. https://bit.ly/30Kp9bl #Job #PostDoc #CompSci
- 20-dic-21: #MULCIA: Postdoctoral position on automated reasoning with legal entities, Luxembourg (Luxembourg). https://bit.ly/32lZrKB #PostDoc #CompSci
- 18-dic-21: #MULCIA: Postdoctoral position in Computer Science Logic, Sheffield (England). https://bit.ly/3JcA4w7 #PostDoc #CompSci
- 16-dic-21: #MULCIA: Postdoc in proof theory - University of Birmingham, UK. https://bit.ly/3q0tAaF #PostDoc #CompSci #Logic
- 16-dic-21: #MULCIA: Fully funded PhD position in compositional verification of smart contracts in Isabelle. University of Exeter, UK. https://bit.ly/3GLJZ9z #PhD #CompSci #ITP #IsabelleHOL
- 16-dic-21: #MULCIA: Fully funded PhD position in formal verification for safety- or security-critical systems. University of Exeter, UK. https://bit.ly/31TM2db #PhD #CompSci #ITP #IsabelleHOL
- 16-dic-21: #MULCIA: Fully funded PhD position in software engineering for security- or safety-critical systems. University of Exeter, UK. https://bit.ly/3pV8wSW #PhD #CompSci
- 15-dic-21: #MULCIA: PhD / Postdoc position in Leipzig on the topics of knowledge representation (in particular description logics and ontologies) and database theory. https://bit.ly/3m6rYLx #PhD #PostDoc #CompSci
- 15-dic-21: #MULCIA: Postdoc position - hardware acceleration of Haskell at Heriot-Watt University in Edinburgh. https://bit.ly/30vlRZy #PostDoc #CompSci
- 13-dic-21: #MULCIA: PhD positions in theoretical computer science at Lund University. https://bit.ly/3lW9IUU #PhD #PostDoc #CompSci
- 13-dic-21: #MULCIA: PhD positions in theoretical computer science and/or combinatorial optimization in Copenhagen. https://bit.ly/3m03u6G #PhD #CompSci
- 13-dic-21: #MULCIA: Post-doc position in the theory, design and implementation of programming languages at University of Glasgow, Scotland. https://bit.ly/3ymLnMZ #PostDoc #CompSci
- 04-dic-21: #MULCIA: Post-doc position in RECIPROG (Reasoning on Circular proofs for Programming) project (located in Lyon, Nantes or Paris). https://bit.ly/3Ds4HJv #PostDoc #CompSci #ITP #Coq
- 04-dic-21: #MULCIA: Postdoc position on verification of concurrent systems via model learning, Royal Holloway University of London. https://bit.ly/3EA3q4s #PostDoc #CompSci
- 04-dic-21: #MULCIA: PhD student position in logical approach to verification, Sheffield (England). https://bit.ly/3xVioQo #PhD #CompSci
- 04-dic-21: #MULCIA: Postdoctoral position (2y) in Logic, Beijing (China). https://bit.ly/2ZTQqYt #PostDoc #Logic
- 04-dic-21: #MULCIA: PhD student position on coalgebraic logics for quantitative verification, Glasgow (Scotland). https://bit.ly/3EqlLAX #PhD #CompSci
- 04-dic-21: #MULCIA: PhD student position on concurrency & logic, Groningen (The Netherlands). https://bit.ly/3IgQ7bF #PhD #CompSci
- 04-dic-21: #MULCIA: PhD student position on foundations of knowledge, Groningen (The Netherlands) https://bit.ly/3GeS1rg #PhD #CompSci
- 04-dic-21: #MULCIA: PhD student and postdoctoral positions in Mode(s) of Verification & Monitorability, Reykjavik (Iceland). https://bit.ly/3Dntj6p #PhD #PostDoc #CompSci
- 04-dic-21: #MULCIA: Postdoctoral position in verification of concurrent systems, London (England). https://bit.ly/3GeBQdK #PostDoc #CompSci
- 04-dic-21: #MULCIA: Postdoctoral position (2y) in quantum programming & formal methods, Paris (France). https://bit.ly/3lB4rCa #PostDoc #CompSci
- 02-dic-21: #MULCIA: PhD and Postdoc positions in automated reasoning at Bar-Ilan University. https://bit.ly/3d9xSq3 #PhD #PostDoc #CompSci #Logic #ATP
- 30-nov-21: #MULCIA: Full-time position in formal verification. https://bit.ly/3E8L2zr #Job #CompSci #ITP #Coq
- 29-nov-21: #MULCIA: Postdoc position: Automated reasoning and proof certificates (part-time) at TU Wien. https://bit.ly/32Hzu8K #PostDoc #CompSci
- 26-nov-21: #MULCIA: 2 researcher positions in knowledge representation and reasoning / semantic technologies at University of Stuttgart (Germany). https://bit.ly/3cOFv5d #PhD #PostDoc #CompSci #AI
- 26-nov-21: #MULCIA: Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany. https://bit.ly/3FMawmM #PhD #PostDoc #CompSci
- 25-nov-21: #MULCIA: Postdoc position in Lille (France) on type systems and logical methods. https://bit.ly/3p5i65s #PostDoc #CompSci
- 23-nov-21: #MULCIA: Permanent research-intensive academic post: Verification and Validation of Autonomous Systems, at the National Robotarium, Edinburgh, UK. https://bit.ly/3FwVUro #Job #CompSci
- 22-nov-21: #MULCIA: PhD student scholarship in mathematical logic, Brisbane (Australia). https://bit.ly/3CGhzvs #PhD #Logic
- 22-nov-21: #MULCIA: Universitair Docent (Lecturer/tenured Assistant Professor) in Experimental Methods for AI in Logic & Language, Amsterdam (The Netherlands). https://bit.ly/3qUAhx7 #Job #CompSci #AI #Logic
- 18-nov-21: #MULCIA: PhD position in non-classical logics through proof theory, Groningen (The Netherlands). https://bit.ly/3lEesyH #PhD #Logic
- 18-nov-21: #MULCIA: PhD position in logic, coalgebra and semantics of computing, Groningen (The Netherlands). https://bit.ly/3FLl0DB #PhD #CompSci
- 18-nov-21: #MULCIA: PhD position in proof theory of modal logics, Groningen (The Netherlands). https://bit.ly/3iZsLwf #PhD #Logic
- 18-nov-21: #MULCIA: Postdoctoral position in database theory & knowledge representation, Warsaw (Poland). https://bit.ly/3oGC4Di #PostDoc #CompSci
- 18-nov-21: #MULCIA: PhD position in deductive verification of safety-critical software, at KTH Royal Institute of Technology. https://bit.ly/3FsFb8I #PhD #CompSci
- 18-nov-21: #MULCIA: 2 open PhD/PostDoc positions in knowledge representation and reasoning at the University of Hagen, Germany. https://bit.ly/3CuuUGS #PhD #PostDoc #CompSci
- 15-nov-21: #MULCIA: Theorem Proving Research Associate Position in Manchester, UK. https://bit.ly/3onpBUE #PostDoc #CompSci
- 15-nov-21: #MULCIA: Three PhD positions in Logic (Groningen). https://bit.ly/3Hkldi1 #PhD #Logic
- 10-nov-21: #MULCIA: PhD openings in Programming Language at Sorbonne Université, Paris. https://bit.ly/3D1n2Os #PhD #CompSci
- 10-nov-21: #MULCIA: Postdoc position in distributed computing at the IMDEA Software Institute. https://bit.ly/3n0Y5x1 #PostDoc #CompSci
- 10-nov-21: #MULCIA: Postdoc in quantum computation at Dalhousie https://bit.ly/3CXAnHr #PostDoc #CompSci
- 10-nov-21: #MULCIA: Associate Professorship (or Professorship) in Automated Verification at Oxford. https://bit.ly/3Eh7ZjV #PostDoc #CompSci
- 29-oct-21: #MULCIA: Doctoral position in the area of knowledge graphs, ontologies, description logics, and automated reasoning. Ulm University. https://bit.ly/3jKO2tF #PhD #CompSci
- 25-oct-21: #MULCIA: Associate Professorship (or Professorship) (Tutorial Fellow) in Automated Verification, Oxford (England). https://bit.ly/3Eh7ZjV #PostDoc #CompSci
- 23-oct-21: #MULCIA: Full Professorship for Formal Methods at JKU Linz. https://bit.ly/3BcnTdg #Job #CompSci
- 23-oct-21: #MULCIA: Engineer positions for the ProofInUse consortium. https://bit.ly/3pwCkqf #Job #CompSci
- 23-oct-21: #MULCIA: Position: technical lead for certification, IO. https://bit.ly/3E9Z8Aw #Job #CompSci
- 22-oct-21: #MULCIA: PhD position in type theory at Chalmers/Gothenburg University. https://bit.ly/3neZK0U #PhD #CompSci
- 22-oct-21: #MULCIA: Assistant Professor position in Formal Methods, Eindhoven University, The Netherlands https://bit.ly/3b5n1fK #Job #CompSci
- 19-oct-21: #MULCIA: Assistant Professorship (permanent) in Model-Based AI, Amsterdam (The Netherlands). https://bit.ly/3aRVONO #Job #PostDoc #CompSci #AI
- 19-oct-21: #MULCIA: PhD student position in logical modelling, London (England). https://bit.ly/3BX8Qp9 #PhD #CompSci
- 14-oct-21: #MULCIA: PhD position in non-classical logics through proof theory. University of Groningen. https://bit.ly/3lEesyH #PhD #Logic
- 14-oct-21: #MULCIA: PhD position in logic, coalgebra and semantics of computing. University of Groningen. https://bit.ly/3FLl0DB #PhD #Logic #CompSci
- 14-oct-21: #MULCIA: PhD position in proof theory of modal logics. University of Groningen. https://bit.ly/3iZsLwf #PhD #Logic
- 08-oct-21: #MULCIA: Joint Mathematical Sciences and Hoskinson Center Postdoctoral Fellowship. Carnegie Mellon University. https://apply.interfolio.com/96032 #PostDoc #ITP #LeanProver #CompSci #Math
- 08-oct-21: #MULCIA: Multiple open positions (postdoc, PhD, intern) on runtime verification at CEA LIST, France. https://bit.ly/3lq5Njw #PhD #PostDoc #CompSci
- 08-oct-21: #MULCIA: PhD position in Logic & Security at UCL, London, https://bit.ly/3AmQGLW #PhD #Logic #CompSci
- 08-oct-21: #MULCIA: Postdoc position in formal verification at University of Stuttgart. https://bit.ly/3BpSrcu #PostDoc #CompSci
- 07-oct-21: #MULCIA: Postdoctoral position in logico-philosophical foundations of geometry & topology, Torun (Poland). https://bit.ly/3BjHDwv #PostDoc #Logic #Math
- 07-oct-21: #MULCIA: Research Fellowship in Logic, London (England). https://bit.ly/3mtuXwV #PostDoc #Logic #CompSci
- 07-oct-21: #MULCIA: PhD student position in coalgebra, Nijmegen (The Netherlands). https://bit.ly/2YptYpD #PhD #Math #CompSci
- 02-oct-21: #MULCIA: Research Fellows in Logic at UCL, London. https://bit.ly/2WyrPH7 #PhD #PostDoc #Logic
- 02-oct-21: #MULCIA: One-year postdoc position on category theory for lambda-calculus and proof theory, in the Paris area https://bit.ly/3zWZPdO #PostDoc #CompSci
- 30-sep-21: #MULCIA: Postdoc and Ph.D. student positions in symbolic algorithms - University of Bergen (Norway) https://bit.ly/3oqJjRn #PhD #PostDoc #CompSci
- 28-sep-21: #MULCIA: Post-Doc position at INRIA on semantics and verification of probabilistic programs https://bit.ly/39Y7uhD #PostDoc #CompSci
- 25-sep-21: #MULCIA: Postdoctoral positions in formal verification, Manchester (England). https://bit.ly/39CY8ri #PostDoc #CompSci
- 24-sep-21: #MULCIA: Formal verification manager job at Google - Coq experience a plus. https://bit.ly/2Zselhc #PostDoc #CompSci
- 24-sep-21: #MULCIA: Postdoctoral Research Fellow / Research Fellow in Verifying Concurrent Data Structures for Trustworthy Systems at the University ofQueensland (Brisbane). https://bit.ly/3o4b1mI #PostDoc #CompSci
- 19-sep-21: #MULCIA: Postdoctoral position on verification via model learning, London (England) https://bit.ly/3hMKkyG #PostDoc #CompSci
- 19-sep-21: #MULCIA: Postdoctoral position on reasoning about interfacing & communication (2y), London (England). https://bit.ly/3tTNXb8 #PostDoc #CompSci
- 17-sep-21: #MULCIA: Post-doc on formal verification at Boston College. https://bit.ly/3lr7bko #PostDoc #ITP #CompSci
- 16-sep-21: #MULCIA: #Job: Formalization of olympiad-level problem statements in Lean. https://bit.ly/2VLuDQF #ITP #LeanProver #Math
- 15-sep-21: #MULCIA: PhD student position in Argumentation for XAI, Warsaw (Poland). https://bit.ly/3tJXm4V #PhD #CompSci #XAI
- 15-sep-21: #MULCIA: PhD and Postdoc positions: cyclic proof theory and coinductive reasoning at Ben-Gurion University in Israel. https://bit.ly/3z9WHe3 #PhD #PostDoc #Logic #Math #CompSci
- 15-sep-21: #MULCIA: Academic job in Programming Language Foundations, University of Glasgow. https://bit.ly/3kbOUIL #PostDoc #CompSci
- 14-sep-21: #MULCIA: Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London. https://bit.ly/3Ef0V8a #PostDoc #CompSci
- 09-sep-21: #MULCIA: 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification. https://bit.ly/2YENIFo #PostDoc #CompSci
- 07-sep-21: #MULCIA: Postdoctoral Fellow in computational mathematics and programming logic at Stockholm University. https://bit.ly/3n6avEc #PostDoc #CompSci
- 31-ago-21: #MULCIA: Postdoc position: Formal Methods (Munich, Germany). https://bit.ly/3jueZCk #PostDoc #CompSci
- 26-ago-21: #MULCIA: Research position at fortiss, Munich. https://bit.ly/3gv6XY3 #Job #CompSci
- 26-ago-21: #MULCIA: 3 UI/UX Research Engineer Positions for Progr. Languages and Tools (Remote) https://bit.ly/3Diitj7 #Job #CompSci
- 31-jul-21: #MULCIA: PhD position on coalgebra and semantics at Radboud University. https://bit.ly/3j9oTI6 #PhD #CompSci
- 29-jul-21: #MULCIA: PhD position in automated reasoning (Grenoble, France). https://bit.ly/2V1CusT #PhD #CompSci #ATP #ITP
- 29-jul-21: #MULCIA: Postdoc position: Formal Verification/Synthesis (Munich, Germany) https://bit.ly/2UT96Fu #PostDoc #CompSci
- 28-jul-21: #MULCIA: Postdoc at Cornell the Pronto project. https://bit.ly/372bBaS #PostDoc #CompSci
- 24-jul-21: #MULCIA: Funded postdoc and PhD positions in theorem proving and intuitionistic mathematics https://bit.ly/2UJIGFV #PhD #PostDoc #CompSci #Logic #Math
- 23-jul-21: #MULCIA: Postdoctoral opening at the University of Minnesota. https://bit.ly/3wZpQrt #PostDoc #CompSci
- 21-jul-21: #MULCIA: Postdoc and PhD positions in proof theory in Ghent. https://bit.ly/3Bn0szf #PhD #PostDoc #Logic
- 20-jul-21: #MULCIA: PhD position in machine learning technology to improve symbolic integration and simplification in a leading computer algebra system. Coventry University. https://bit.ly/3xQSfRS #PhD #CompSci
- 17-jul-21: #MULCIA: Postdoc position: Formal methods in control (Munich, Germany). https://bit.ly/3zlB5fB #PostDoc #CompSci
- 15-jul-21: #MULCIA: Postdoctoral position at Stanford Center for AI Safety. https://bit.ly/3yZ0ATB #PostDoc #CompSci #AI #FormalMethods
- 15-jul-21: #MULCIA: Three-year postdoc position on verifying concurrent programs at Imperial College London. https://bit.ly/3B1GLNr #PostDoc #CompSci
- 15-jul-21: #MULCIA: 6-Month postdoc in lambda-calculi and effects, University of Bath. https://bit.ly/3enW21j #PostDoc #CompSci
- 14-jul-21: #MULCIA: Two postdoc positions on next-generation fuzzing techniques. Imperial College London. https://bit.ly/2U7Tsp2 #PostDoc #CompSci
- 14-jul-21: #MULCIA: Postdoc Position in Formal Verification at University of Stuttgart. https://bit.ly/36ErDHL #PostDoc #CompSci
- 09-jul-21: #MULCIA: Postdoctoral Position at the University of Cambridge with the ERC Consolidator Grant project TypeFoundry. https://bit.ly/3k49OcW #PostDoc #CompSci
- 09-jul-21: #MULCIA: Vacancy for a PhD in Computer Science and Functional Programming. https://bit.ly/3hpfE74 #PhD #CompSci #FunctionalProgramming
- 06-jul-21: #MULCIA: Two PhD student positions in continuous-time models, verification and machine learning. Aalborg (Denmark) https://bit.ly/3yutmeK #PhD #CompSci
- 06-jul-21: #MULCIA: Tenure-track assistant professorship in programming, logic, & intelligent systems, Roskilde (Denmark). https://bit.ly/3xmIY3J #PostDoc #CompSci
- 06-jul-21: #MULCIA: Two postdoctoral research positions in formal verification, Manchester (England). https://bit.ly/3hiK5M8 #PostDoc #CompSci
- 06-jul-21: #MULCIA: PhD student position & postdoctoral position on foundations of knowledge graphs, Stuttgart (Germany). https://bit.ly/36jaTp8 #PhD #CompSci
- 22-jun-21: #MULCIA: PhD student position in logic in multi-agent systems, Utrecht (The Netherlands). https://bit.ly/3xkOeUQ #PhD #CompSci
- 22-jun-21: #MULCIA: PhD position: Proof theory and algebra of fixed points. Birmingham, UK and Melbourne, Australia. https://bit.ly/3qeX6t5 #PhD #CompSci
- 22-jun-21: #MULCIA: Postdoc Position at Simon Fraser University in Vancouver, Canada. https://bit.ly/3wMpGEz #PostDoc #CompSci
- 22-jun-21: #MULCIA: Postdoc Position, Programming Group - SCS, University of St.Gallen. https://bit.ly/2SlIxYa #PostDoc #CompSci
- 19-jun-21: #MULCIA: Job offer: 3 year research engineer in static analysis of OCaml programs at Inria Rennes. https://bit.ly/35CPuXS #PostDoc #CompSci
- 17-jun-21: #MULCIA: PhD positions in theoretical computer science and/or combinatorial optimization in Lund. https://bit.ly/2S2kZXY #PhD #CompSci
- 16-jun-21: #MULCIA: PhD position on Embedded Systems Verification at University of Twente, Netherlands. https://bit.ly/3iHq7fa #PhD #CompSci
- 16-jun-21: #MULCIA: Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany. https://bit.ly/3iSbHbY #PostDoc #CompSci
- 16-jun-21: #MULCIA: Postdoctoral position on polymorphism algebras, Vienna (Austria). https://bit.ly/3vrnoJr #PostDoc #CompSci
- 16-jun-21: #MULCIA: 5-year PhD position in Logic in Multi-agent Systems. https://bit.ly/3xkOeUQ #PhD #CompSci
- 16-jun-21: #MULCIA: Postdoctoral position (2y) in logical foundations of AI, Milano (Italy). https://bit.ly/38k9Rtr #PostDoc #CompSci
- 16-jun-21: #MULCIA: PhD student position in Knowledge Representation & Reasoning, Luxembourg (Luxembourg). https://bit.ly/35oebHp #PhD #CompSci
- 16-jun-21: #MULCIA: Two PhD student scholarships in Knowledge Representation & Reasoning, Brussels (Belgium). https://bit.ly/3gr0iyi #PhD #CompSci
- 12-jun-21: #MULCIA: Research Assistant / Research Associate in Argumentation-based Explainable Machine Learning. Imperial College London. https://bit.ly/3wusG8c #PhD #PostDoc #CompSci #AI
- 12-jun-21: #MULCIA: Research Assistant / Associate in Argument-Mining-based Explainable AI. Imperial College London. https://bit.ly/3wgMeNm #PhD #PostDoc #CompSci #AI
- 12-jun-21: #MULCIA: Research Assistant / Associate in Argumentation-based Explainable AI. Imperial College London. https://bit.ly/3wlJ4bd #PhD #PostDoc #CompSci #AI
- 06-jun-21: #MULCIA: PhD Position in Logic and Theoretical Computer Science. University of Groningen. https://bit.ly/3pBXd1D #PhD #Logic #CompSci
- 06-jun-21: #MULCIA: PhD Position in Logic and Semantics of Computing. University of Groningen. https://bit.ly/3vWpHWb #PhD #CompSci
- 06-jun-21: #MULCIA: Post-doctoral Positions in Logic and Theoretical Computer Science. University of Groningen. https://bit.ly/34REyFl #PostDoc #CompSci
- 05-jun-21: #MULCIA: PhD positions in Grenoble, France. https://bit.ly/3geO62i #PhD #CompSci
- 05-jun-21: #MULCIA: Two PhD positions and Two Postdoc positions in Logic (Groningen). https://bit.ly/3x03jLo #PhD #PosDoc #Logic #CompSci
- 04-jun-21: #MULCIA: PhD position in HoTT/UF at TU Delft. https://bit.ly/3wUZmrt #PhD #CompSci
- 04-jun-21: #MULCIA: Research position in Formal Verification at HENSOLDT Cyber in Munich. https://bit.ly/3uNOdHC #PostDoc #CompSci
- 04-jun-21: #MULCIA: PhD funding on “Reasoning about Concurrent Game Structures with Numerical Resources” https://bit.ly/3fLUfnQ #PhD #CompSci
- 02-jun-21: #MULCIA: Postdoc Position in Logical Foundations of AI, Logic Group at University of Milan. https://bit.ly/38k9Rtr #PostDoc #AI
- 01-jun-21: #MULCIA: Postdoc position at Cambridge in programming with equations https://bit.ly/3i3Z8tY #PostDoc #CompSci
- 01-jun-21: #MULCIA: Two fully-funded PhD positions in software security, program analysis & formal methods @ Université Paris-Saclay, CEA List, France. https://bit.ly/3fElsbR #PhD #CompSci
- 01-jun-21: #MULCIA: Postdoc position at CMU: Verified DSLs for high assurance systems. https://bit.ly/3pfVBu3 #PostDoc #CompSci
- 01-jun-21: #MULCIA: Two positions (one PhD and one Postdoc) in quantum formal verification @ Université Paris-Saclay, CEA List, France. https://bit.ly/3uz9tk8 #PhD #PostDoc #CompSci
- 29-may-21: #MULCIA: PhD student and post-doc positions in Program Verification at ETH Zurich. https://bit.ly/3vz9N3K #PhD #PostDoc #CompSci
- 28-may-21: #MULCIA: PhD position on program verification in Coq at University of Lille, France. https://bit.ly/3wFw8wF #PhD #CompSci #ITP #Coq
- 27-may-21: #MULCIA: PhD studentship in homotopy type theory and univalent foundations at TU Delft. https://bit.ly/2RP34UD #PhD #PostDoc #CompSci
- 26-may-21: #MULCIA: Postdoctoral position in the Geometry of Algorithms, Paris (France. https://bit.ly/3vuNpso #PostDoc #CompSci
- 20-may-21: #MULCIA: PhD position on the verification of automated reasoning using Isabelle. Max-Planck-Institute for Informatics, Saarbrücken, Germany. https://bit.ly/3f4EtnH #PhD #CompSci #IsabelleHOL
- 20-may-21: #MULCIA: PhD or postdoc position on program verification in Coq/Iris at Radboud University Nijmegen. https://bit.ly/2SeXZVl #PhD #PostDoc #CompSci
- 20-may-21: #MULCIA: PhD student position on explaining the meaning of logical formulas in ordinary language, Utrecht (The Netherlands). http://bit.ly/3f2Lx47 #PhD #CompSci
- 15-may-21: #MULCIA: PhD student position in modal fixpoint logics, Amsterdam (The Netherlands). https://bit.ly/3uQcb5z #PhD #CompSci #Logic
- 15-may-21: #MULCIA: Postdoctoral position in logic, semantics, formal verification, Lyon (France). https://bit.ly/3uR9Ebl #PostDoc #CompSci
- 14-may-21: #MULCIA: PhD student position in Logic & AI, Bergen (Norway). https://bit.ly/3eKLSbJ #PhD #CompSci
- 14-may-21: #MULCIA: Assistant / Associate Professorship in Logic-based AI, Kungens Lyngby (Denmark). https://bit.ly/3ogNhKf #PostDoc #CompSci
- 14-may-21: #MULCIA: PhD student position in proof theory, Darmstadt (Germany) https://bit.ly/3tQ3EOS #PhD #Logic
- 14-may-21: #MULCIA: PhD student position in Logic, Amsterdam (The Netherlands). https://bit.ly/3ogzHq1 #PhD #Logic
- 12-may-21: #MULCIA: Postdoc position at the LIP laboratory, ENS de Lyon, France. https://bit.ly/33B4IeR #PostDoc #CompSci
- 10-may-21: #MULCIA: Postdoc position (6 years) in the Computational Logic research group in Innsbruck https://bit.ly/33wR7Fu #PostDoc #CompSci #Logic
- 10-may-21: #MULCIA: Postdoctoral Position in Verified Security. https://bit.ly/3tCZ46q #PostDoc #CompSci
- 10-may-21: #MULCIA: PhD position in proof theory / reverse mathematics. https://bit.ly/2Svo4j8 #PhD #Logic #Math
- 23-abr-21: #MULCIA: Hiring: Programming Languages Researcher/Senior Researcher. https://bit.ly/3dIXNpZ #PostDoc #CompSci
- 20-abr-21: #MULCIA: Research engineer position (Development of Squirrel: an interactive prover for protocol verification) https://bit.ly/3v6fHsk #Job #CompSci
- 16-abr-21: #MULCIA: PhD opening in HoTT at Stockholm. https://bit.ly/3v0RnZ3 #PhD #CompSci #HoTT
- 16-abr-21: #MULCIA: Postdoctoral Position (12m) on integrated verification of cyberphysical systems, Padua (Italy). https://bit.ly/2OUdYXR #PostDoc #CompSci
- 16-abr-21: #MULCIA: Postdoctoral position in philosophy of AI, Utrecht (The Netherlands) https://bit.ly/3e4Qms1 #PostDoc #AI
- 13-abr-21: #MULCIA: Two PhD positions in Formal Methods for Underwater Robots available (RWTH Aachen, Uni Oslo). https://bit.ly/3sbbq5e #PhD #CompSci
- 12-abr-21: #MULCIA: Two Postdoc Positions within the DIAPASoN (Differential Program Semantics) Project. https://bit.ly/3tf7Ecf #PostDoc #CompSci
- 09-abr-21: #MULCIA: Pos doc position at University of Minho. https://bit.ly/3e3CyhB #PostDoc #CompSci #Logic
- 07-abr-21: #MULCIA: Announcing a postdoc in Cambridge ideally suited for Coq enthusiasts. https://bit.ly/3cX9lFx #PostDoc #CompSci #Coq
- 27-mar-21: #MULCIA: Lectureship or Associate Professorship in programming principles, logic, & verification, London (England). https://bit.ly/2Pzf0rY #PostDoc #CompSci
- 27-mar-21: #MULCIA: Post-Doctoral Research Associate in Verification of Trustworthy Autonomous Systems, Manchester (England). https://bit.ly/3rtuAmg #PostDoc #CompSci
- 25-mar-21: #MULCIA: Research position at UCL, London: Research Fellow in Programming Principles, Logic, and Verification: Systems Security Modelling. https://bit.ly/39gPX4e #PhD #PostDoc #CompSci
- 24-mar-21: #MULCIA: PhD student position in logic in philosophy & AI, Bochum (Germany). https://bit.ly/2QzEJRP #PhD #CompSci
- 24-mar-21: #MULCIA: Research fellowship in programming principles, logic, & verification, London (England). https://bit.ly/31a27r2 #PhD #PostDoc #CompSci
- 24-mar-21: #MULCIA: PhD student position on interactions between spaces of argumentation, Paris (France). https://bit.ly/3snOyQY #PhD #CompSci
- 22-mar-21: #MULCIA: 2-year researcher position in HoTT, Stockholm University. https://bit.ly/2OONIhC #PostDoc #CompSci
- 17-mar-21: #MULCIA: Postdoctoral position on hybrid models of natural reasoning, Warsaw (Poland). https://bit.ly/3vy8SRr #PostDoc #CompSci
- 17-mar-21: #MULCIA: Postdoctoral position in algorithmic game theory, Liverpool (England). https://bit.ly/38R4SSq #PostDoc #CompSci
- 17-mar-21: #MULCIA: PhD student scholarship on concurrency & logic, Groningen (The Netherlands). https://bit.ly/38Qqpe5 #PhD #CompSci
- 17-mar-21: #MULCIA: Two postdoctoral positions in abductive reasoning in natural language, Amsterdam (The Netherlands). https://bit.ly/3twoMKa #PostDoc #CompSci
- 17-mar-21: #MULCIA: PhD Position at U. Oslo: Formal Methods for Probabilistic Programs. https://bit.ly/30VJqXO #PhD #CompSci
- 17-mar-21: #MULCIA: Research Programmer in HoTT and Cubical Type Theory at University of Minnesota. https://bit.ly/30TrBsI #PhD #PostDoc #CompSci
- 15-mar-21: #MULCIA: Postdoctoral position in foundations of autonomous multi-agent systems, Warsaw (Poland) https://bit.ly/3qVYjUZ #PostDoc #CompSci
- 15-mar-21: #MULCIA: Postdoctoral position in mathematical logic, Bern (Switzerland). https://bit.ly/2OUcs7s #PostDoc #CompSci
- 15-mar-21: #MULCIA: PhD Research Fellow in Informatics - Knowledge Representation and Machine Learning. https://bit.ly/3vs3Buw #PhD #CompSci
- 13-mar-21: #MULCIA: Lecturer in Verification position at University of Sheffield. https://bit.ly/3bHygfG #PostDoc #CompSci
- 11-mar-21: #MULCIA: PhD position in Programming Language Tooling - Lund University, Sweden https://bit.ly/30x5Q1J #PhD #CompSci
- 11-mar-21: #MULCIA: PhD or postdoc position on program verification and Iris at Radboud University Nijmegen https://bit.ly/3l5bUaU #PhD #PostDoc #CompSci
- 09-mar-21: #MULCIA: PhD or postdoc position on program verification and Iris at Radboud University Nijmegen. https://bit.ly/2N15EEL #PhD #PostDoc #CompSci
- 08-mar-21: #MULCIA: 3 Post-doc positions on semantics of programming languages at the University of Bologna. https://bit.ly/30obrHy #PostDoc #CompSci
- 03-mar-21: #MULCIA: Postdoctoral position in Higher Category Theory at Johns Hopkins. https://bit.ly/3qfuDSa #PostDoc #CompSci #Logic
- 01-mar-21: #MULCIA: Post-doc position in Programming Language Foundations at University of Glasgow. https://bit.ly/3r1WNkO #PostDoc #CompSci
- 01-mar-21: #MULCIA: Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent. https://bit.ly/3r5GhAv #PostDoc #CompSci
- 27-feb-21: #MULCIA: Post-doc position (2 years) on monitoring and verification of smart systems. https://bit.ly/3uEch0w #PostDoc #CompSci
- 25-feb-21: #MULCIA: Postdoc/phd positions in ERC project “Certified Quantum Security” (formal verification of quantum crypto). https://bit.ly/3qYgFp8 #PhD #PostDoc #CompSci
- 24-feb-21: #MULCIA: Postdoctor in Type theory for mathematics and computer science. University of Gothenburg. https://bit.ly/3kiIYvO #PostDoc #CompSci
- 19-feb-21: #MULCIA: Postdoc and PhD Positions at Imperial College London in Complexity https://bit.ly/2NFxyWG #PhD #PostDoc #CompSci
- 19-feb-21: #MULCIA: Researcher position on ERC project FUN2MODEL (From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning) at Oxford. https://bit.ly/3u8J5Pf #PostDoc #CompSci
- 19-feb-21: #MULCIA: Postdoc positions on ERC project PERSIST (A Semantic Foundation for Persistent Programming) at MPI-SWS. https://bit.ly/3ax4MAs #PostDoc #CompSci
- 13-feb-21: #MULCIA: PhD position in formal methods/decompilation at the Open University of The Netherlands. https://bit.ly/37bIAK7 #PhD #CompSci
- 13-feb-21: #MULCIA: 12 month postdoc positions in Paris and Marseille to develop formal methods for probabilistic computing. https://bit.ly/2MSSgm5 #PostDoc #CompSci
- 10-feb-21: #MULCIA: PhD position in formal methods at the University of Oslo, Norway. https://bit.ly/2Z1qruj #PhD #CompSci
- 02-feb-21: #MULCIA: Postdoc opening in categorical semantics at Appalachian State University. https://bit.ly/36B28Yh #PostDoc #CompSci
- 02-feb-21: #MULCIA: PhD in theory and practise of refinement types at IMDEA Software Institute. https://bit.ly/39F2MFV #PhD #CompSci #Haskell #FunctionalProgramming
- 30-ene-21: #MULCIA: PhD student and postdoctoral positions in Mode(s) of Verification & Monitorability, Reykjavik (Iceland). https://bit.ly/2MB0ejh #PhD #PostDoc #CompSci
- 30-ene-21: #MULCIA: Postdoctoral position in Computational Linguistics, Duesseldorf (Germany). https://bit.ly/3pzqsku #PostDoc #CompSci
- 30-ene-21: #MULCIA: Postdoctoral position on analysis techniques for deep neural networks. Rice University. https://bit.ly/3pwRUPT #PostDoc #CompSci
- 30-ene-21: #MULCIA: PhD student position on foundations of knowledge, Groningen (The Netherlands). https://bit.ly/3pwsDpe #PhD #CompSci #Logic
- 30-ene-21: #MULCIA: PhD student position on coalgebraic logics for quantitative verification, Glasgow (Scotland). https://bit.ly/3t953RA #PhD #Logic #CompSci
- 30-ene-21: #MULCIA: PhD student position on concurrency & logic, Groningen (The Netherlands). https://bit.ly/3pDX0Kw #PhD #Logic #CompSci
- 30-ene-21: #MULCIA: Postdoctoral position (2y) in Logic, Beijing (China). https://bit.ly/2Ysllqv #PostDoc #Logic
- 22-ene-21: #MULCIA: Two fully funded PhD positions in type theory at Chalmers/Gothenburg Univ. https://bit.ly/3a08Mbw #PhD #CompSci
- 21-ene-21: #MULCIA: Postdoctoral position in HoTT at the University of San Diego. https://bit.ly/2KzgtN3 #PostDoc #CompSci #HoTT
- 15-ene-21: #MULCIA: Research Associate in Formal Mathematics at Imperial College London. https://bit.ly/3sCgXmO #PostDoc #ITP #LeanProver #Math
- 07-ene-21: #MULCIA: Postdoc in Statistical Model Checking at UCLouvain – Belgium. https://bit.ly/3pToH1x #PostDoc #CompSci
- 07-ene-21: #MULCIA: PhD positions in Mathematical Foundations of Computation at University of Bath. https://bit.ly/3pXPJop #PhD #CompSci
- 07-ene-21: #MULCIA: fully funded PhD position on verification of industrial robots at University of Sheffield. https://bit.ly/35ekbTi #PhD #CompSci
- 07-ene-21: #MULCIA: Two industrially-funded PhD positions at VERIMAG, Grenoble, France. https://bit.ly/35fZs1o #PhD #CompSci
- 06-ene-21: #MULCIA: Position in St.Petersburg: Math Logic and/or TCS. https://bit.ly/38k7Yyp #PostDoc #Logic #CompSci
- 03-ene-21: #MULCIA: Postdoctoral position in HoTT at Johns Hopkins University. https://bit.ly/2X69TjI #PostDoc #CompSci #HoTT
- 10-dic-20: #MULCIA: Postdoc and research engineer positions in semantics and verification for secure systems software. University of Cambridge. https://bit.ly/2VWsbTW #PhD #PostDoc #CompSci
- 10-dic-20: #MULCIA: 3-year post-doc in programming language foundations at University of Glasgow. https://bit.ly/3qI8Aoy #PostDoc #CompSci
- 10-dic-20: #MULCIA: PhD positions in programming languages in LFCS/University of Edinburgh. https://bit.ly/37LorKu #PhD #CompSci
- 06-dic-20: #MULCIA: Postdoc and PhD positions in the Lab for Temporal Logic. Iowa State University. https://bit.ly/3lKiP8d #PhD #PostDoc #CompSci
- 06-dic-20: #MULCIA: PhD positions at the International Max Planck Research School on trustworthy computing. https://bit.ly/2VIre1r #PhD #CompSci
- 06-dic-20: #MULCIA: Postdoctoral position in Program Analysis/Systems at Imperial College London. https://bit.ly/2JWfTrL #PostDoc #CompSci
- 03-dic-20: #MULCIA: Funded MSc, PhD and postdoc positions in Program Reasoning and Verification at The University of British Columbia (Vancouver). https://bit.ly/3mv5uSq #PhD #PostDoc #CompSci
- 01-dic-20: #MULCIA: PhD positions at University of Glasgow in Programming Languages. https://bit.ly/3fQpMDw #PhD #CompSci
- 30-nov-20: #MULCIA: Fully funded PhD position at University of Sheffield on the formal verification of industrial robots. https://bit.ly/3qgg3Li #PhD #CompSci
- 27-nov-20: #MULCIA: PhD positions: Verified Software Group, Imperial College London. https://bit.ly/3q5IL1o #PhD #CompSci
- 27-nov-20: #MULCIA: PhD positions at Aarhus University on algorithmic verification & programming languages. https://bit.ly/39eHKhI #PhD #CompSci
- 27-nov-20: #MULCIA: Two postdoc positions in automatic and interactive theorem proving using system Coq. https://bit.ly/3fENQsJ #PostDoc #CompSci #ITP #Coq
- 21-nov-20: #MULCIA: 2 postdoctoral fellowships (2 years) in Computer Science with focus on AI for Data Management. Umeå University. https://bit.ly/3kPSntm #PostDoc #CompSci #AI
- 19-nov-20: #MULCIA: Convocatoria Extraordinaria para acceder a la Bolsa de Profesores Sustitutos Interinos del Departamento de Ciencias de la Computación e I.A. de la Universidad de Sevilla. https://bit.ly/3feRFVq
- 17-nov-20: #MULCIA: 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. https://bit.ly/2UE09vC #PostDoc #CompSci
- 14-nov-20: #MULCIA: PhD positions at Verified Software research group. Imperial College London. https://bit.ly/3kCrHMQ #PhD #CompSci
- 13-nov-20: #MULCIA: PhD student positions at Boston University Programming Languages and Verification group. https://bit.ly/3kvTePI #PhD #CompSci
- 13-nov-20: #MULCIA: 10 PhD positions at TU Wien on Security and Privacy, Formal Methods, and Machine Learning. https://bit.ly/3eXAXJT #PhD #CompSci
- 13-nov-20: #MULCIA: Postdoctoral position in mathematical logic, Gent (Belgium). https://bit.ly/3pqj7UU #PostDoc #Logic
- 13-nov-20: #MULCIA: Postdoctoral positions in mathematics (logic included), Madison WI (U.S.A.). https://bit.ly/3nj5UeG #PostDoc #Logic
- 13-nov-20: #MULCIA: PhD student position and postdoctoral position in philosophy of machine learning, Tuebingen (Germany). https://bit.ly/3pxRFEX #PhD #CompSci
- 10-nov-20: #MULCIA: Postdoctoral position on logical foundations and verification of distributed systems at VERIMAG (Grenoble, France). https://bit.ly/38AI22d #PostDoc #CompSci
- 06-nov-20: #MULCIA: Post-doc position in using Functional Languages for Secure Programming of IoT devices at Chalmers University of Technology, Sweden https://bit.ly/3l4XGWK #PhD #PostDoc #CompSci
- 05-nov-20: #MULCIA: 2+ postdoc researchers (max 5 years) and 4+ Ph.D. students in formal methods and control theory for AI-intensive cyber-physical systems in Kyoto or Tokyo, Japan https://bit.ly/2IansdX #PhD #PostDoc #CompSci
- 23-oct-20: #MULCIA: 4 PhD and 4 Postdoc positions at Umeå University (Sweden) in “AI for Data Management”. https://bit.ly/2TiWjrh #PhD #PostDoc #CompSci #AI
- 23-oct-20: #MULCIA: At least 12 PhD studentships available as part of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. https://bit.ly/34nBwZT #PhD #PostDoc #CompSci #AI
- 23-oct-20: #MULCIA: Two funded PhD positions in Interdisciplinary Ontology Projects at UMaine. https://bit.ly/34lilQs #PhD #PostDoc #CompSci #AI
- 20-oct-20: #MULCIA: 2021 Amazon Automated Reasoning Internships. https://amazonarginternships.splashthat.com/ #Job #CompSci
- 10-oct-20: #MULCIA: PhD fellow in runtime verification at the University of Copenhagen. https://bit.ly/2GIcWdk #PhD #CompSci
- 10-oct-20: #MULCIA: PhD fellow in formal verification of stream processing at the University of Copenhagen. https://bit.ly/2GAVU0R #PhD #CompSci
- 10-oct-20: #MULCIA: Postdoc in formal verification of monitoring at the University of Copenhagen. https://bit.ly/3ltCGsA #PostDoc #CompSci
- 07-oct-20: #MULCIA: Two funded PhD positions in Interdisciplinary Ontology Projects at UMaine. http://spatialai.org/ #PhD #CompSci #AI
- 02-oct-20: #MULCIA: Postdoctoral Fellowship at Institute of Computer Science (ICS) of the Czech Academy of Sciences (CAS), Prague. https://bit.ly/3jocleW #PostDoc #CompSci
- 29-sep-20: #MULCIA: Postdoctoral position in semantics, Amsterdam (The Netherlands). https://bit.ly/33aRpSP #PhD #PostDoc #CompSci
- 29-sep-20: #MULCIA: Research Assistantships & Associateships in “Uncertainty & Randomness in Algorithms, Verification, & Logic”, Aachen (Germany). https://bit.ly/2S67TFJ #PostDoc #CompSci
- 29-sep-20: #MULCIA: Two PhD student positions & one postdoctoral position on formal methods, Leuven (Belgium). https://bit.ly/36hYDXq #PhD #CompSci #Logic
- 29-sep-20: #MULCIA: 2 Lecturer (Assistant Professor) Positions in Programming Languages at the University of Kent. https://bit.ly/34bD5sL #PostDoc #CompSci
- 19-sep-20: #MULCIA: PhD student position or postdoctoral position in SAT testing or modelling human reasoning tasks, Dresden (Germany). https://bit.ly/2RU5s9f #PhD #CompSci
- 19-Sep-20: #MULCIA: Postdoctoral Opening at the University of Minnesota, USA, related to an NSF-funded project entitled “A higher-order framework for meta-theoretic reasoning”. https://bit.ly/32LHW4u #PostDoc #CompSci
- 19-Sep-20: #MULCIA: A postdoctoral or research faculty position with the Systems Software Research Group at Virginia Tech on DARPA-funded projects at the intersection of program analysis, verification, and security. https://bit.ly/3cdJya4 #PostDoc #CompSci
- 19-Sep-20: #MULCIA: PhD positions on the POSTMAN (Powering SMT Solvers by Machine Learning) project in Prague, Czech Republic. https://bit.ly/2FHJ68i #PhD #CompSci
- 19-Sep-20: #MULCIA: Postdocs available in formal analysis of code for secure hardware, Manchester, UK. https://bit.ly/3mA1DUF #PostDoc #CompSci
- 19-Sep-20: #MULCIA: Postdoc position on Formal Methods and Testing @ TU Graz, Austria. https://bit.ly/2ZLJv0j #PostDoc #CompSci
- 19-Sep-20: #MULCIA: PhD/Post-Doc position at the University of Duisburg-Essen in the DFG project SpeQt (“Spectra of Behavioural Distances and Quantitative Logics”). https://bit.ly/2RIk6jH #PhD #PostDoc #CompSci
- 19-Sep-20: #MULCIA: PhD position at the University of Duisburg-Essen in the area of modelling and verification of concurrent systems. https://bit.ly/2RIk6jH #PhD #CompSci
- 16-Sep-20 #MULCIA: Two postdoctoral positions in type theory and philosophy of mathematics, Prague (Czech Republic). https://bit.ly/3hIQKMN #PostDoc #Logic #Math
- 05-Sep-20: #MULCIA: Postdoc position on formal methods and testing @ TU Graz, Austria. https://bit.ly/3buEe1B #PostDoc #CompSci
- 05-Sep-20: #MULCIA: Postdoc positions in Prague: type theory and philosophy of mathematics. https://bit.ly/3ifwzXT #PostDoc #Logic #Math #TypeTheory
- 02-Sep-20: #MULCIA: Postdoctoral position in programming languages at Edinburgh LFCS. https://bit.ly/2YZE1P3 #PostDoc #CompSci
- 02-Sep-20: #MULCIA: Postdoctoral fellowship in Logic in Computer Science, Prague (Czech Republic). https://bit.ly/31O9qFW #PostDoc #Logic #CompSci
- 25-Ago-29: #MULCIA: Postdocs available in formal analysis of code for secure hardware. University of Manchester. https://bit.ly/2CWv2q9 #PostDoc #CompSci
- 24-Ago-20: #MULCIA: Postdocs available in formal analysis of code for secure hardware. https://bit.ly/2FKs74M #PostDoc #CompSci
- 24-Ago-20: #MULCIA: PhD and postdoc positions at the Schaffhausen Institute of Technology. https://bit.ly/2Ewk2Qw #PhD #PostDoc #CompSci
- 24-Ago-20: #MULCIA: Research Associate on foundations for non-parametric probabilistic programming. Univ. od Oxford. https://bit.ly/34qkqei #PostDoc #CompSci
- 22-Ago-20: #MULCIA: Post-doctoral position at ENS Lyon, France (automata, relation algebra, Coq). https://bit.ly/32iXQBX #PostDoc #CompSci #ITP #Coq
- 22-Ago-20: #MULCIA: Formal methods engineer positions at Siemens Mobility, Paris, France (full-time). https://bit.ly/3l7LXqZ #Job #CompSci
- 03-Ago-20: #MULCIA: Postdoc in foundational security for AI at University of Edinburgh, UK. https://bit.ly/3k92oTp #PostDoc #CompSci #AI
- 23-Jul-20: #MULCIA: PhD Position interactive machine reasoning for responsible hybrid intelligence, Delft (The Netherlands). https://bit.ly/30JRP02 #PhD #CompSci #AI
- 22-Jul-20. #MULCIA: PhD position(s) in structural and algorithmic aspects of preference-based problems in social choice. Vienna, Austria. https://bit.ly/3hsb6tS #PhD #CompSci
- 20-Jul-20: #MULCIA: Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group. https://bit.ly/39lH3kM #PostDoc #CompSci
- 18-Jul-20: #MULCIA: PhD Position on Certified Extraction in Nantes. https://bit.ly/30kJy2F #PhD #CompSci #ITP #Coq
- 14-Jul-20: #MULCIA: PhD student position in Knowledge Representation Formalisms, Amsterdam (The Netherlands). https://bit.ly/3j1jstQ #PhD #CompSci #AI
- 14-Jul-20: #MULCIA: Postdoctoral position in model theory, Vienna (Austria). https://bit.ly/3j26Bb6 #PostDoc #Logic
- 14-Jul-20: #MULCIA: PhD student position in mathematical logic, Barcelona (Spain). https://bit.ly/32dpD8l #PhD #Logic
- 12-Jul-20: #MULCIA: Postdoctoral Position in Machine Learning applied to Space Science. Catholic University of Leuven, Belgium. https://bit.ly/2OegX9u #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: PhD position in numerical modelling of plastics dispersal in aquatic environments. Catholic University of Leuven, Belgium. https://bit.ly/3fkinuY #PhD #Math #CompSci
- 12-Jul-20: #MULCIA: PhD position in programming languages and type systems. Catholic University of Leuven, Belgium. https://bit.ly/2OjFhGW #PhD #CompSci
- 12-Jul-20: #MULCIA: Doctoral student in low power machine learning. University of Antwerp Faculty of Science, Belgium. https://bit.ly/38QF3jW #PhD #CompSci #AI
- 12-Jul-20: #MULCIA: PhD position in embodied intelligence for soft robots. Catholic University of Leuven Department of Mechanical Engineering, Belgium. https://bit.ly/3fneB4b #PhD #CompSci #AI
- 12-Jul-20: #MULCIA: PhD and PostDoc positions in 3D machine learning / 3D vision. Technical University of Munich, Germany. https://bit.ly/3fkiWF6 #PhD #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: Postdoctoral researcher in knowledge-informed deep representation learning. Dublin City University. https://bit.ly/2BVBJs6 #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: PhD research fellow in learning and optimization in vehicular networks. University of Oslo. https://bit.ly/2W7W5oz #PhD #CompSci #AI
- 12-Jul-20: #MULCIA: PhD research fellowship in machine learning in oceanography. University of Oslo. https://bit.ly/3gR2hcO #PhD #CompSci #AI
- 12-Jul-20: #MULCIA: Data Engineer in Artificial Intelligence. Uppsala University. https://bit.ly/2W7WEPd #Job ##CompSci #AI
- 12-Jul-20: #MULCIA: Post Doc in Machine Learning over Wireless Networks. Royal Institute of Technology, Sweden. https://bit.ly/3iR1BWy #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: PhD Position in Software Security, Verification, and Testing. Uppsala University Department of Information Technology, Sweden. https://bit.ly/2DtYIdX #PhD #CompSci
- 12-Jul-20: #MULCIA: Doctoral Student in Machine Learning for Conversational AI. Royal Institute of Technology, Sweden. https://bit.ly/2WbUf6b #PhD #CompSci #AI
- 12-Jul-20: #MULCIA: Postdoctoral Position in Machine Learning and Medical Imaging. University of Bern Center for Biomedical Engineering Research, Switzerland. https://bit.ly/2Wco8n4 #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: PhD Studentship in Automated, Provable, Safety-Aware Software Rewriting for Security. University of Southampton School of Electronics and Computer Science, United Kingdom. https://bit.ly/3gRac9O #PhD #CompSci
- 12-Jul-20: #MULCIA: PhD Studentship in Human-Centred Artificial Intelligence for Energy Management. University of Southampton School of Electronics and Computer Science, United Kingdom. https://bit.ly/2Oeq7D1 #PhD #CompSci #AI
- 12-Jul-20: #MULCIA: Research Fellow in Computer Vision and Machine Learning. University of Surrey, United Kingdom. https://bit.ly/3fm2xjB #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: Research Assistant / Associate in Machine Learning Systems. University of Cambridge, United Kingdom. https://bit.ly/3elTFsW #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: Research Fellow in Natural Language Processing. Imperial College London Faculty of Engineering, United Kingdom. https://bit.ly/2OiTIew #PostDoc #CompSci #AI
- 12-Jul-20: #MULCIA: PhD Studentship in 3D semantic scene understanding with Computer Vision and Artificial Intelligence. University of Southampton, United Kingdom. https://bit.ly/3iUCRwM #PhD #CompSci
- 12-Jul-20: #MULCIA: PhD Research in Applications of Artificial Intelligence in Healthcare. Monash University, Australia. https://bit.ly/2ZiHJny #PhD #CompSci #AI
- 10-Jul-20: #MULCIA: Fully funded PhD studentship available at University of Southampton: Automated, provable, safety-aware software rewriting for security. https://bit.ly/3gL0dCT #PhD #CompSci
- 10-Jul-20: #MULCIA: 2 Postdoctoral Positions (Machine Learning, AI, Abstract Algebra). https://bit.ly/2ZS5oKy #PostDoc #CompSci
- 07-Jul-20: #MULCIA: PhD Position at VERIMAG (University of Grenoble Alpes and CNRS). https://bit.ly/2ZL1LWL #PhD #CompSci
- 07-Jul-20: #MULCIA: PhD student position in dependence logic, Helsinki (Finland). https://bit.ly/3e7M0yb #PhD #Logic
- 03-Jul-20: #MULCIA: PhD student position in set theory with a focus on inner models and large cardinals, Muenster (Germany). https://bit.ly/3iopQLr #PhD #Logic
- 03-Jul-20: #MULCIA: Two postdoctoral positions in large cardinals and the axiom of choice, Norwich (England). https://bit.ly/2Zwl7yF #PostDoc #Logic
- 03-Jul-20: #MULCIA: PhD student position & research engineer position on responsible AI, Umea (Sweden). https://bit.ly/2YVaK8A #PhD #CompSci #AI
- 02-Jul-20: #MULCIA: Postdoctoral position available at VERIMAG laboratory, Université Grenoble Alpes, Grenoble Institute of Technology, France. https://bit.ly/3iowcL2 #PostDoc #CompSci #ITP #Coq
- 02-Jul-20: #MULCIA: Postdoc position on the project “Quantitative and qualitative approximations of reasoning”. University of Milan. https://bit.ly/38k9Rtr #PostDoc #Logic
- 02-Jul-20: #MULCIA: Postdoctoral/research faculty position in Program Analysis, Verification, and Security at Virginia Tech. https://bit.ly/2BkcZcJ #PostDoc #CompSci
- 01-Jul-20: #MULCIA: Post Doctoral Fellow Position at Carnegie Mellon Universit in Logical Systems Lab. https://bit.ly/31v6JcI #PostDoc #CompSci
- 18-Jun-20: #MULCIA: PhD student and postdoc positions in logic and algorithmic model theory, Darmstadt (Germany). https://bit.ly/2YH2Xdc #PhD #Logic #CompSci
- 17-Jun-20: #MULCIA: PhD position focused on SAT solving and combinatorial optimization at Lund University. https://bit.ly/2YLBXcm #PhD #CompSci #Logic
- 12-Jun-20: #MULCIA: PhD student position in automata theory, Warsaw (Poland). https://bit.ly/2B1ntND #PhD #CompSci
- 12-Jun-20: #MULCIA: Two PhD student positions on Reflection Spectra, Gent/Vienna (Belgium/Austria). https://bit.ly/2MOS03B #PhD #Logic
- 12-Jun-10: #MULCIA: PhD student position in databases and AI, Vienna (Austria). https://bit.ly/3cYk4fA #PhD #CompSci
- 11-Jun-20: #MULCIA: 2 PhD positions at the Laboratory for Applied Ontology (LOA ISTC CNR, Trento). https://bit.ly/2AW1G9V #PhD #CompSci
- 09-Jun-20: #MULCIA: PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. https://bit.ly/2XOa2tf #PhD #CompSci #AI
- 04-Jun-20: #MULCIA: Postdoctoral opening at the University of Minnesota to work on the project “A higher-order framework for meta-theoretic reasoning”. https://bit.ly/2XVT2A4 #PostDoc #CompSci
- 27-May-20: #MULCIA: PhD student position in automata theory, Warsaw (Poland). https://bit.ly/2zAXyvJ #PhD #CompSci
- 27-May-20: #MULCIA: Two research fellowships in logics & formal methods, Udine (Italy). https://bit.ly/3c37GKN #PhD #PostDoc #CompSci
- 27-May-20: #MULCIA: Two PhD student positions in logic, Gothenburg (Sweden). https://bit.ly/2AasmDE #PhD #Logic #CompSci
- 27-May-20: #MULCIA. Two postdoctoral research fellowships in proof theory, Birmingham (England). https://bit.ly/2X7elzt #PhD #Logic
- 27-May-20: #MULCIA: Postdoctoral position in mathematical logic, Vienna (Austria). https://bit.ly/36yTmc5 #PostDoc #Logic
- 27-May-20: #MULCIA: Postdoctoral position (3+3y) in set theory, Freiburg (Germany). https://bit.ly/3d8pKVl #PostDoc #Logic
- 27-May-20: #MULCIA: PhD student position in foundations of networks, Vienna (Austria). https://bit.ly/2M6b1yq #PhD #CompSci
- 27-May-20: #MULCIA: PhD studentship in mathematics and computation (including logic), Birmingham (England). https://bit.ly/2AimyHW #PhD #CompSci #Logic
- 24-May-20: #MULCIA: AISEC — AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. https://bit.ly/3e8GNXk #PhD #PostDoc #CompSci
- 22-May-20: #MULCIA: Job offer for a Mathematician or Computer Scientist researcher in Barcelona. https://bit.ly/2ZqzC8X #Job #CompSci
- 20-May-20: #MULCIA: Research Fellow at UCL - Programming Principles, Logic, and Verification. https://bit.ly/2LGSBEb #PostDoc #CompSci
- 18-May-20: #MULCIA: PostDoc Position in Aarhus, Denmark, at Center for Basic Research in Program Verification. https://bit.ly/2X7qkM7 #PostDoc #CompSci
- 18-May-20: #MULCIA: Post-doctoral position in session types for reliable actor-based systems, University of Kent (4 years). https://bit.ly/2LQzzLL #PostDoc #CompSci
- 13-May-20: #MULCIA: Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria. https://bit.ly/3bsaH7d #PhD #Logic #CompSci
- 11-May-20: #MULCIA: 6-Year PostDoc position in algorithms at the Vienna University of Technology (TU Wien), Vienna, Austria. https://bit.ly/2zvIT4M #PostDoc #CompSci
- 09-May-20: #MULCIA: PhD student position in Logic & Machine Learning, Toulouse (France). https://bit.ly/2LfWOi0 #PhD #CompSci #Logic #MachineLearning
- 09-May-20: #MULCIA: Ten postdoctoral positions in maths, logic, CS, AI, Novosibirsk (Russia). https://bit.ly/3bpeoe5 #PostDoc #CompSci #Logic #AI
- 09-May-20: #MULCIA: Tenure track research position on automation of formal reasoning, Prague (Czech Republic). https://bit.ly/3ckyzuG #Job #PostDoc #CompSci #Logic #ITP
- 09-May-20: #MULCIA: Two PhD student positions in Logic, Gothenburg (Sweden). https://bit.ly/3cjeG7p #PhD #Logic
- 09-May-20: #MULCIA: PhD student positions in Uncertainty & Randomness in Algorithms, Verification, & Logic, Aachen (Germany). https://bit.ly/2zrwhLDa #PhD #CompSci #Logic
- 08-May-20: #MULCIA: 4 year PhD position in the Computational Logic research group. Innsbruck University. https://bit.ly/3ds5L3z #PhD #CompSci
- 28-Abr-20: PhD position at University of Birmingham, UK.https://bit.ly/2zuFjaO #PhD #CompsSci
- 07-Abr-20: #MULCIA: Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London. https://bit.ly/3c0mQRz #PostDoc #CompSci
- 06-Abr-20: #MULCIA: Two PhD positions in functional programming at Utrecht University. https://bit.ly/2V5xeAD #PhD #CompSci #FunctionalProgramming
- 03-Abr-20: #MULCIA: Three doctoral and five post-doctoral positions on AI verification, Edinburgh (Scotland). https://bit.ly/34iNse5 #PhD #PostDoc #AI #CompSci
- 03-Abr-20: #MULCIA: Multiple open PhD positions at CEA LIST, France, in: software security through program analysis, formal methods or machinelearning. https://bit.ly/346pmD3 #PhD #CompSci
- 03-Abr-20: #MULCIA: PhD student position in knowledge representation & reasoning, Amsterdam (The Netherlands). http://bit.ly/2UuzW3U #PhD #CompSci #AI
- 03-Abr-20: #MULCIA: PhD student position in Logic & Machine Learning, Toulouse (France). https://bit.ly/346q2bz #PhD #Logic #MachineLearning #AI #CompSci
- 03-Abr-10: #MULCIA: PhD student position in formal methods for information security, Edinburgh (Scotland) & Rennes (France). https://bit.ly/2JDegMi #PhD #CompSci
- 03-Abr-10: #MULCIA: Ten postdoctoral positions in maths, logic, computer science, or AI, Novosibirsk (Russia). https://bit.ly/2JBkMTP #PostDoc #Logic #CompSci #AI
- 02-Abr-20: #MULCIA: Ph.D. position in formal proof and trust at Inria Saclay. https://bit.ly/2wTkfK8 #PhD #CompSci
- 02-Abr-20: #MULCIA: Teaching PhD position in quantitative systems and reasoning methods at the Leiden University. https://bit.ly/3dMfSRH #PhD #CompSci
- 31-Mar-20: #MULCIA: Open PhD position in Vienna: formal methods for reliable networks. https://bit.ly/2xF4Z3u #PhD #CompSci
- 26-Mar-20: #MULCIA: PhD in formal methods and security, cotutelle France-Scotland. https://bit.ly/3dxZLr2 #PhD #CompSci
- 26-Mar-20: #MULCIA: Post-doctoral position in linear, dependent, and graded modal types, University of Kent. https://bit.ly/2WLd8hF #PostDoc #CompSci
- 26-Mar-20: #MULCIA: Postdoctoral and PhD positions in program analysis, verification or systems at Imperial College London. https://bit.ly/2ybrBJs #PhD #PostDoc
- 22-Mar-20: #MULCIA: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification. https://bit.ly/2WA1l5r #PhD #PostDoc #CompSci #AI
- 21-Mar-20: #MULCIA: PhD position in intelligent tutoring systems for functional programming. https://bit.ly/33DoRQQ #PhD #CompSci #FunctionalProgramming
- 20-Mar-10: #MULCIA: Postdoc at Oxford: probabilistic and differentiable programming. https://bit.ly/2U3rQi2 #PostDoc #CompSci
- 20-Mar-20: #MULCIA: PhD positions in Computational Mathematics at Stockholm University. https://bit.ly/2xadaEU #PhD #CompSci
- 04-Mar-20: #MULCIA: PhD student position in proof theory, Bath (England). http://bit.ly/3atSPJd #PhD #CompSci
- 04-Mar-20: #MULCIA: PhD student position in logic, Utrecht (The Netherlands). http://bit.ly/3cvECNJ #PhD #Logic
- 04-Mar-20: #MULCIA: PhD student position in Logics for Privacy, Bourges (France). http://bit.ly/3arlIWa #PhD #Logic #CompSci
- 02-Mar-20: #MULCIA: Fully funded PhD position in Computer Algebra & Machine Learning at Coventry University. http://bit.ly/2IeaoRs #PhD #CompSci
- 29-Feb-20: #MULCIA: Postdoctoral position in distributed synthesis, Gothenburg (Sweden). http://bit.ly/2TcKILn #PostDoc #CompSci
- 29-Feb-20: #MULCIA: PhD student and postdoctoral positions in logic & computation, Vienna (Austria). http://bit.ly/32Aso1C #PhD #PostDoc #CompSci
- 29-Feb-20: #MULCIA: Postdoctoral position (Shuimu Tsinghua Scholarship) in logic, Beijing (China). http://bit.ly/32HP4Nt #PostDoc #Logic
- 29-Feb-20: #MULCIA: Postdoctoral positions in Computational Linguistics, Gothenburg (Sweden). http://bit.ly/32Mv4tj #PostDoc #CompSci
- 29-Feb-20: #MULCIA: Four PhD student positions in CS, including logic, Liverpool (England). http://bit.ly/2wgY53M #PhD #CompSci
- 12-Feb-20: #MULCIA: 4-year PhD position at the University of Innsbruck. http://bit.ly/31MadFX #PhD #CompSci
- 12-Feb-20: #MULCIA: PhD student position in theoretical computer science, Moscow (Russia). http://bit.ly/2UMVUiI #PhD #CompSci
- 10-Feb-20: #MULCIA: Research fellow in verified operating system security at the University of Melbourne. http://bit.ly/2P31Z9w #PostDoc #CompSci
- 10-Feb-20: #MULCIA: Research Faculty and Postdoctoral Positions in Verification with the Systems Software Research Group at VT. http://bit.ly/37fAjlH #PostDoc #CompSci
- 06-Feb-20: #MULCIA: Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich. http://bit.ly/2ShJ3SI #PostDoc #CompSci
- 06-Feb-20: #MULCIA: Poste de Maître de Conférences en Sémantique des langages de programmation à l’Université d’Orléans. http://bit.ly/2H1LCTO #Jobs #CompSci
- 06-Feb-20: #MULCIA: PhD Research Fellow in Specification and Analysis of Information Privacy. University of Oslo. http://bit.ly/2vdCkSg #PhD #CompSci
- 05-Feb-20: #MULCIA: PhD position in knowledge representation and reasoning at the Institute for Logic, Language and Computation (ILLC) in Amsterdam. http://bit.ly/2UuzW3U #PhD #Logic #CompSci
- 28-Ene-10: #MULCIA: Research Faculty and Postdoctoral Positions in Verification at Virginia Tech. http://bit.ly/36wJii5 #PostDoc #CompSci #ITP #Coq
- 21-Ene-20: #MULCIA: PhD and PostDoc positions at Aarhus University in the areas of Logic, Semantics and Programming Languages. http://bit.ly/2v1uIls #PhD #PostDoc #CompSci
- 13-Ene-20: #MULCIA: PhD student position on generating English explanations of logical formulas, Utrecht (The Netherlands).http://bit.ly/35Triyc #PhD #CompSci
- 10-Ene-20: #MULCIA: Research Fellow position at the Australian National University for a project on massively scaling automated verification techniques for security protocol verification. http://bit.ly/2FEpXjP #PostDoc #CompSci
- 09-Ene-20: #MULCIA: Postdoctoral position in FAU Erlangen-Nürnberg to work on the project “A high level language for programming and specifying multi-effect algorithms”. http://bit.ly/39UQPKg #PostDoc #CompSci
- 09-Ene-20: #MULCIA: PhD student in theory and implementation of dependently typed programming languages. TU Delft, Netherlands. http://bit.ly/2N9Semv #PhD #CompSci
- 09-Ene-20: #MULCIA: PhD scholarship at Monash University, Australia: “Interactive Haskell type inference”. http://bit.ly/2s6GIRE #PhD #CompSci #Haskell
- 05-Ene-20: #MULCIA: Postdoctoral position in formal semantics, Utrecht (The Netherlands). http://bit.ly/36tC8vU #PostDoc #CompSci
- 21-Dic-19: PhD and Postdoc positions in liquid relational types at IMDEA (Madrid, Spain). http://bit.ly/2PK44FF #PhD #PostDoc #CompSci
- 21-Dic-19: PhD position “Efficient and natural proofs and algorithms” at University of Bath. http://bit.ly/2EI3XUY #PhD #CompSci
- 21-Dic-19: Semantics/verification postdoc positions at Cambridge. http://bit.ly/34L1S5c #PostDoc #CompSci
- 21-Dic-19: 10 PhD studentships in Nottingham. http://bit.ly/2Q8oask #PhD #CompSci
- 21-Dic-19: Multiple PhD (and Master’s) positions in Programming Languages and Verification available at the University of British Columbia (Vancouver, Canada). http://bit.ly/2QdQjOO #PhD #CompSci
- 21-Dic-19: 11 Fully Funded Doctoral Positions in Computer Science, Austria (Vienna, Graz or Linz). http://bit.ly/2sbO3zg #PhD #CompSci
- 06-Dic-19: PhD student positions in logical methods in computer science, Vienna/Graz/Linz (Austria). http://bit.ly/2RsFtXc #PhD #CompSci
- 06-Dic-19: Two research fellowships and one PhD studentship in verification, London (England). http://bit.ly/366RXIb #PhD #PostDoc #CompSci
- 04-Dic-19: Postdoctoral researcher in Computer Science (Security and Trust) at the University of Luxembourg. http://bit.ly/34OLC3H #PostDoc #CompSci
- 04-Dic-19: Multiple postdoc and PhD positions on verification, concurrency and model learning at University College London and Royal Holloway University of London. http://bit.ly/2YfXSI3 #PhD #PostDoc #CompSci
- 04-Dic-19: Postdoc and internship opportunities in formal methods. http://bit.ly/33OoPEb #PostDoc #CompSci
- 04-Dic-19: Research Associate in First-Order Theorem Proving for Theories. Univ. of Manchester. http://bit.ly/2V1OpTe #PostDoc #CompSci #ATP
- 29-Nov-19: Postdoc position at Princeton University on verification of concurrent data structure implementations. http://bit.ly/33Bgp2x #PostDoc #CompSci #ITP #Coq
- 26-Nov-19: PhD, postdoc & intern positions in RustBelt and Iris projects at Max Planck. http://bit.ly/34mPqcv #PhD #PostDoc #CompSci #ITP #Coq #Rust
- 22-Nov-19: PhD, postdoc and research engineer positions at Universite Paris-Saclay/Inri to work on automatic theorem proving in Coq and its application to blockchain verification. http://bit.ly/2OaqcIE #PhD #PostDoc #CompSci #ITP #Coq #Blockchain
- 03-Nov-19: Postdoctoral position in formal methods, Gothenburg (Sweden). http://bit.ly/2C8X2CK #PostDoc #CompSci
- 03-Nov-19: Postdoctoral position in quantitative modelling, Aalborg (Denmark). http://bit.ly/33cZzI1 #PostDoc #CompSci
- 03-Nov-19: PhD student position and postdoctoral position in explainable AI, Bamberg (Germany). http://bit.ly/324aOBi #PhD #PostDoc #CompSci #AI
- 28-Oct-19: Fully funded PhD student position in modal logic, proof theory and applications, Barcelona (Spain). http://bit.ly/34a3MfA #PhD #CompSci #ITP #Coq
- 25-Oct-19: PhD position in type theory at the University of Bergen. Possible directions include homotopy type theory, applications of type theory to computer science or computerised formalisation of mathematics. http://bit.ly/2JkgyjW #PhD #CompSci #ITP
- 25-Oct-19: PhD student position in programming language engineering at TU Delft. http://bit.ly/36717Fi #PhD #CompSci
- 25-Oct-19: Research Fellowship in Mathematical Logic and TCS, Singapore (Singapore). http://bit.ly/2pOEmWc #PostDoc #Logic #CompSci
- 23-Oct-19: PhD position in Computer Science and Artificial Intelligence at Delft University of Technology in a challenging project on algorithms for scheduling under uncertainty. http://bit.ly/2BzCp2o #PhD #CompSci #AI
- 20-Oct-19: PhD positions in Theory & Foundations of Computer Science, Warwick (England). http://bit.ly/35SBNCP #PhD #CompSci
- 20-Oct-19: PhD student position in Computer Science Logic, Liverpool (England). http://bit.ly/2quj0xE #PhD #CompSci
- 20-Oct-19: QuICS/PLUM Postdoctoral Scholarship On Practical Quantum Computation. http://bit.ly/2P13ROn #PostDoc #CompSci #ITP #Coq
- 14-Oct-19: PhD student position on reduction of Boolean networks, Kungens Lyngby (Denmark). http://bit.ly/2MflJTO #PhD #CompSci
- 13-Oct-19: PhD position at University of Birmingham, UK, on topics related to categorical semantics of programming languages and computer theorem proving. http://bit.ly/2IJ2MXC #PhD #CompSci
- 12-Oct-19: Postdoc positions in CertiChain project. National University of Singapore. http://bit.ly/2B4g90v #PostDoc #CompSci
- 12-Oct-19: PhD and Postdoc positions in Aarhus (Denmark) in the areas of Logic, Semantics and Programming Languages. http://bit.ly/2paUCAy #PhD #PostDoc #CompSci
- 12-Oct-19: PhD Position in Formal Methods for Biology at DTU Technical University of Denmark. http://bit.ly/32a7NAe #PhD #CompSci
- 12-Oct-19: PhD position in Theoretical Computer Science at the VU Amsterdam. http://bit.ly/2VyDosX #PhD #CompSci
- 08-Oct-19: PhD student and Postdoc in Formal Methods / Reverse Engineering at the Open University of The Netherlands. http://bit.ly/2MlucUy #PhD #PostDoc #CompSci
- 05-Oct-19: Two three-year post-doc positions in semantics and descriptive complexity at Oxford and Cambridge. http://bit.ly/335P1tI #PostDoc #CompSci
- 04-Oct-19: Programming internship for MSc or PhD students on Automated Theorem Proving, Bergen (Norway). http://bit.ly/2LLf6IP #PhD #CompSci #ATP
- 04-Oct-19: Postdoctoral position in Mathematical Logic & Mathematical Statistics, Toronto (Canada). http://bit.ly/2LN1pZK #PostDoc #Logic #Math #CompSci
- 01-Oct-19: Postdoctoral position in automated reasoning, Manchester (England). http://bit.ly/2V1OpTe #PostDoc #CompSci #ATP
- 01-Oct-19: Student position in Complexity of mathematical proofs and structures. Institute of Mathematics of the Czech Academy of Sciences in Prague. http://bit.ly/2o0hEcO #PhD #Logic
- 28-Sep-19: PhD and Postdoc positions in Aarhus (DK) in the areas of Logic, Semantics and Programming Languages. http://bit.ly/2nt33pJ #PhD #PostDoc #CompSci
- 25-Sep-19: Research assistant position in verification at Royal Holloway, University of London. http://bit.ly/2ncNl24 #PostDoc #CompSci
- 25-Sep-19: PhD position in coalgebraic model checking at FAU Erlangen-Nürnberg. http://bit.ly/2lHNV7r #PhD #CompSci
- 25-Sep-19_PhD student position in computational social choice, Amsterdam (The Netherlands). http://bit.ly/2ndBdhj #PhD #CompSci
- 24-Sep-19: Two post-doctoral positions at ENS de Lyon (France) to work on the project “Coinduction for verification and certification” http://bit.ly/2kL7hIz #PostDoc #CompSci #ITP #Coq
- 24-Sep-19: PhD opportunities in formal foundations and verification of distributed systems at the University of Birmingham, UK. http://bit.ly/2mL1V0w #PhD #CompSci
- 23-Sep-19: Multiple PhD and Postdoc positions in information security and program verification at ETH Zurich. http://bit.ly/2l0h9y7 #PhD #PostDoc #CompSci
- 23-Sep-19: Postdoctoral opening at the University of Minnesota to work on the project “A higher-order framework for meta-theoretic reasoning”. http://bit.ly/3555mk7 #PostDoc #CompSci
- 20-Sep-19: Oferta de empleo ITMATI: Investigador/a para proyecto “Desarrollo de algoritmos relacionados con Estadística, Optimización e Inteligencia Artificial”. http://bit.ly/30gCUNO #Job #CompSci
- 19-Sep-19: Several open positions in rigorous systems/software engineering with applied formal methods for trustworthy elections. http://bit.ly/2Nmd2cr #Job #CompSci
- 19-Sep-19: Automated reasoning postdoc, Manchester UK. http://bit.ly/2V1OpTe #PostDoc #CompSci
- 16-Sep-19: Postdoc on reasoning about program incorrectness at University College London. http://bit.ly/2Amtell #PostDoc #CompSci
- 11-Sep-19: Postdoctoral position in mathematical logic, Udine (Italy). http://bit.ly/2LpVzNN #PostDoc #Logic
- 11-Sep-19: Postdoctoral position in parameterised complexity (2y), Vienna (Austria). http://bit.ly/2NUkxqr #PostDoc #CompSci #Logic
- 11-Sep-19: Postdoctoral position (3y) on abductive inference, Amsterdam (The Netherlands). http://bit.ly/2NWYuPK #PostDoc #CompSci
- 11-Sep-19: PhD student position or postdoctoral position on reasoning with distributed data, Brussels (Belgium). http://bit.ly/2LprJcd #PhD #CompSci
- 11-Sep-19: Postdoctoral position (1y) in Natural Language Processing, Nancy (France). http://bit.ly/2Lp1umu #PostDoc #CompSci
- 11-Sep-19: Postdoc position at Imperial College London in software testing and programming languages. http://bit.ly/2LteQya #PostDoc #CompSci
- 30-Ago-19: PhD position at Chalmers, on using Functional Programming for secure programming the Internet of Things. http://bit.ly/34d93Ec #PhD #CompSci #FunctionalProgramming
- 29-Ago-19: PhD position in formal methods for biology at DTU Technical University of Denmark. http://bit.ly/2Pmr1AF #PhD #CompSci
- 28-Ago-19: PhD student position in efficient model abstraction, Logan UT (U.S.A.) http://bit.ly/2PjhXg1 #PhD #CompSci #Logic
- 28-Ago-19: 3y postdoctoral position in computational linguistics, Utrecht (The Netherlands). http://bit.ly/2zmx2mb #PostDoc #CompSci
- 28-Ago-19: Two PhD student positions on formalisation of requirements and performance analysis, Grenoble (France). http://bit.ly/2PjTUgR #PhD #CompSci
- 27-Ago-19: Fully funded PhD student position in logic and formal methods, Barcelona (Spain). http://bit.ly/341UOSz #PhD #Logic #CompSci
- 21-Ago-19: Research Fellow in verified operating system security. University of Melbourne. http://bit.ly/2P31Z9w #PostDoc #CompSci
- 15-Ago-19: UNSW Sydney seeking PhD students. http://bit.ly/2N3IDyt #PhD #CompSci
- 13-Ago-19: PhD position: logic, SMT, verification. University of Liège. http://bit.ly/2MZUD3Y #PhD #Logic #CompSci
- 12-Ago-19: Postdoctoral position in logic (formal argumentation), Milan (Italy). http://bit.ly/33uBQ6y #PostDoc #Logic #CompSci
- 12-Ago-19: Postdoctoral position (3y) in computational linguistics, Utrecht (The Netherlands). http://bit.ly/2TsPG4T #PostDoc #CompSci
- 06-Ago-19: IOHK is looking for Functional Compiler Engineers. http://bit.ly/31oKaDo #Job #CompSci #FunctionalProgramming
- 04-Ago-19: PhD position in homotopy type theory at Birmingham. http://bit.ly/2KeceDo #PhD #CompSci
- 31-Jul-19: PhD position in homotopy type theory at Birmingham. http://bit.ly/2yophvB #PhD #CompSci
- 30-Jul-19: Recruiting proof engineers for a study on development processes. http://bit.ly/32ZbWro #Job #CompSci #ITP #Coq
- 30-Jul-19: Postdoctoral position in verified security at the University of Surrey. http://bit.ly/331F3u8 #Postdoc #CompSci
- 26-Jul-19: 2 year postdoctoral researcher @ Oracle Labs Australia in finding security vulnerabilities via program analysis. http://bit.ly/2Ze6E99 #PostDoc #CompSci
- 26-Jul-19: Postdoctoral position on formal verification of privacy, Guildford (England). http://bit.ly/2GyrQzE #PostDoc #CompSci
- 26-Jul-19: Two Research Assistant/Associate positions at Imperial College London to work on the project “From data types to session types: A basis for concurrency and distribution”. http://bit.ly/2GIuweb #PostDoc #CompSci
- 26-Jul-19: Postdoc opportunity: The ForML (formal methods and computational logic) Lab at Augusta University is looking for a postdoc. http://bit.ly/2ZfpVau #PostDoc #CompSci
- 23-Jul-19: Postdoc position on verification of network protocols at Aalborg University (Denmark). http://bit.ly/2YlBTC8 #PostDoc #CompSci
- 16-Jul-19: PhD and postdoc positions in Complexity of mathematical proofs and structures in the Institute of Mathematics of the Czech Academy of Sciences in Prague. http://bit.ly/2lwFfAp #PhD #PostDoc #CompSci #Logic
- 13-Jul-19: Two Lectureships / Associate Professorships on Responsible AI, Umea (Sweden). http://bit.ly/32kGfZv #Job #CompSci
- 13-Jul-19: PhD student position in formal logic for AI, Bergen (Norway). http://bit.ly/2NWrFUI #PhD #CompSci #AI
- 13-Jul-19: PhD student position in formal methods, Vienna (Austria). http://bit.ly/2NU8wmy #PhD #CompSci
- 13-Jul-19: PhD student position on machine learning techniques, Liverpool (England). http://bit.ly/2l7Eeyp #PhD #CompSci #AI #ML
- 13-Jul-19: PhD student position on AI implications for democracy, Umea (Sweden). http://bit.ly/2l699Lw #PhD #AI
- 13-Jul-19: PhD student position or postdoctoral position on Knowledge Representation, Leuven (Belgium). http://bit.ly/2l69aPA #PhD #PostDoc #CompSci #AI #KRR
- 13-Jul-19: Postdoc and PhD positions - Center for Advanced Software Analysis, Aarhus University. http://bit.ly/2l8B915 #PhD #PostDoc #CompSci
- 09-Jul-19: Open PhD position: Type systems for resource analysis. University Paris 13. http://bit.ly/2XAGDPO #PhD #CompSci
- 08-Jul_19: Post-doc opportunity at UNSW Sydney in programming languages and verification. http://bit.ly/2YFpW75 #PostDoc #CompSci #ITP
- 02.Jul-19: PhD Position in logic and formal verification. University of Barcelona, Spain. http://bit.ly/2J71yGt #PhD #CompSci #ITP #Coq
- 02-Jul-19: Postdoc position at National University of Singapore on program synthesis. http://bit.ly/2J4233N #PostDoc #CompSci
- 01-Jul-19: UNSW Sydney seeking a postdoc in programming languages and verification. http://bit.ly/2Xy5s39 #PostDoc #CompSci #ITP.
- 30-Jun-19: Two PhD positions in formal methods in system engineering group at TU Wien, Austria. http://bit.ly/2RJRq94 #PhD #CompSci
- 19-Jun-19: Postdoc position on quantified effects at Reykjavik University. http://bit.ly/2WXVSXT #PostDoc #CompSci
- 19-Jun-19: Research assistant / PhD Student / Post-Doc position in formal methods for software and systems engineering. http://bit.ly/2MZxYXc #PhD #PostDoc #CompSci
- 19-Jun-19: Thales (France) is hiring an expert engineer in formal methods. http://bit.ly/2MWs0WU #Job #CompSci
- 19-Jun-19: PhD student or postdoctoral position in Logic / Algorithmic Model Theory, Darmstadt (Germany). http://bit.ly/2WPMs0s #PhD #PostDoc #Logic
- 18-Jun-19: Postdoc on formal methods and their application to verification of computer networks. (Aalborg University, Denmark). http://bit.ly/2WQd29B #PostDoc #CompSci
- 18-Jun-19: Postdoc/PhD positions at TU Kaiserslautern to work on the ERC project “Algorithmic verification of string-manipulating programs”. http://bit.ly/2MSgSKM #PhD #PostDoc #CompSci
- 15-Jun-19: 1 PostDoc Position in applied computer science with a focus on formal methods for verified decision making under uncertainty. http://bit.ly/2ZvfuiP #PostDoc #CompSci
- 12-Jun-19: PhD project on verification of efficient algorithms in Isabelle/HOL at Manchester. http://bit.ly/2X5Wxph #PhD #CompSci #IsabelleHOL
- 11-Jun-19: PostDoc/Research Engineer in IoT Securit at UCLouvain. http://bit.ly/2K97aBG #PostDoc #CompSci
- 11-Jun-19: Call for Ph.D. in reversible debugging of concurrent programs. http://bit.ly/2K7JZYl #PhD #CompSci
- 11-Jun-19: PhD and Postdoctoral position at ENS Rennes funded european ERC VESTA (Erified STatic Analysis platform) project. http://bit.ly/2K9jdid #PhD #PostDoc #CompSci
- 08-Jun-19: Looking for Formal Methods Engineer to work at NASA. http://bit.ly/2XGuav3 #Job #CompSci
- 08-Jun-19: Postdoctoral opening at the University of Minnesota related to an NSF-funded project entitled “A Higher-Order Framework for Meta-Theoretic Reasoning.” http://bit.ly/2wGP1Cf #PostDoc #CompSci
- 08-Jun-19: Two Phd/PostDoc positions, Freiburg University. One project deals with inferrable resource typing. The other project develops new approaches to infer and verify TypeScript signatures from JavaScript sources. http://bit.ly/2XzvbVw #PhD #PostDoc #CompSci
- 08-Jun-19: Postdoc positions on ERC project FUN2MODEL (From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning) in ‘strong’ AI/verification at Oxford. http://bit.ly/2wHZbmf #PostDoc #CompSci
- 08-Jun-19: 2-year Postdoc Position on Frama-C/E-ACSL, http://bit.ly/2wGZUUV #PostDoc #CompSci
- 08-Jun-19: A PhD position at Imperial College London. The primary objective of the PhD project is verification of distributed protocols using session types. http://bit.ly/2wLyM6Y #PhD #CompSci
- 03-Jun-19: 2 PhD studentships on any aspect of functional programming, type theory, logic, category theory, coalgebra etc. MSP group, University of Strathclyde, UK. http://bit.ly/2YZO0RS #PhD #CompSci
- 02-Jun-19: Open Postdoc position at IMDEA (Madrid, Spain) to work together on liquid relational types. http://bit.ly/2WEf6k3 #PostDoc #CompSci #Haskell
- 01-Jun-19: Postdoc positions in verification and distributed systems at IMDEA, Madrid. http://bit.ly/2WzP0im #PostDoc #CompSci
- 30-May-19: Postdoc in system security and formal methods. KTH Royal Institute of Technology in Stockholm, Sweden. http://bit.ly/2I5TwvD #PostDoc #CompSci
- 30-May-19: Research Fellow in programming principles, logic, and verification. University College London. http://bit.ly/2I6GCgN #PostDoc #CompSci
- 30-May-19: Research scientist in machine learning and predictive science. Celgene, Sevilla. http://bit.ly/2I9Unv4 #Job #CompSci
- 30-May-19: Research scientist mathematical modelling and quantitative systems pharmacology. Celgene, Sevilla http://bit.ly/2I88dya #Job #CompSci #Math
- 30-May-19: Data Scientist. Emergya, Sevilla. http://bit.ly/2I5sLHC #Job #CompSci
- 27-May.19: 2 PhD positions on the ChEOPS project in Twente and Eindhoven (Netherlands): Verified construction of correct and optimized parallel software. http://bit.ly/2QtDrDN #PhD #CompSci
- 27-May-19: Postdoc positions in compositionality and applied category theory. Tallinn University of Technology. http://bit.ly/2wplbC9 #PostDoc #CompSci
- 27-May-19: Post-doc position UCL/LSE: Interface reasoning for interacting systems. http://bit.ly/2Qq1mUJ #PostDoc #CompSci
- 21-May-19: The Faculty of Computer Science at Eötvös Loránd University is advertising a PhD position in type theory. http://bit.ly/2VE5L7d #PhD #CompSci
- 16-May-19: Several PhD and Postdoc positions in formal methods and Web security at TU Wien, Austria, funded by ERC Consolidator Grant. http://bit.ly/2EdeabX #PhD #PostDoc #CompSci
- 08-May-19: Postdoctoral researcher in Computer Science (Security and Trust). University of Luxembourg. http://bit.ly/2YfG2DQ #PostDoc #CompSci
- 08-May-19: Postdoctoral position in logic-based knowledge representation, Dresden (Germany). http://bit.ly/2Y9EBqA #PostDoc #CompSci
- 07-May-19: Postdoc in categorical semantics of data types at Appalachian State University. http://bit.ly/2J3jXVH #PostDoc #CompSci
- 07-May-19: Phd position at University of Orléans. Reactive synchronous programming: semantics and applications to IOT. http://bit.ly/2Jmsh2g #PhD #CompSci
- 06-May-19: Postdoc and PhD positions in logic and semantics for program verification at Aarhus, Denmark. http://bit.ly/2V5swke #PhD #PostDoc #Logic #CompSci
- 04-May-19: PhD student position in logic and systems verification, London (England). http://bit.ly/2Je3ZY1 #PhD #Logic #CompSci
- 04-May-19: An applied research position is available at Imagination Technologies (Kings Langley, UK) in the domain of formal verification for arithmetic hardware. http://bit.ly/2JexwAU #Job #CompSci
- 04-May-19: PostDoc position in program analysis and repair at Ulsan National Institute of Science and Technology. http://bit.ly/2J2JWMW #PostDoc #CompSci
- 02-May-19: Postdoc position VirginiaTech: x86-64 binary verification. http://bit.ly/2DK8y8Z #PostDoc #CompSci
- 03-May-19: PhD student position in logic, Utrecht (The Netherlands). http://bit.ly/2DJZb99 #PhD #CompSci #Logic #Math
- 25-Abr-19: PhD position on formal methods for multi-agent systems at TU Wien (Vienna University of Technology). http://bit.ly/2W1aJfr #PhD #CompSci
- 25-Abr-19: Postdoc in verification of Simulink models. KTH Royal Institute of Technology in Stockholm. http://bit.ly/2W4TjPb #PostDoc #CompSci
- 25-Abr-19: Postdoctoral position in program analysis, verification or systems at Imperial College London. http://bit.ly/2DyAI6W #PostDoc #CompSci
- 25-Abr-19: Funded PhD position in program analysis, verification or systems at Imperial College London. http://bit.ly/2DyZCmR #PhD #CompSci
- 25-Abr-19: Postdoctoral position in quantum theory in Edinburgh. http://bit.ly/2DxQOgR #PostDoc #CompSci
- 18-Abr-19: CIFRE PhD thesis position at Siemens Mobility, France. http://bit.ly/2XgivCi #PhD #CompSci
- 18-Abr-19: PhD position on formal methods for multi-agent systems at TU Wien (Vienna University of Technology). http://bit.ly/2IoQyVL #PhD #CompMath
- 18-Abr-19: PhD position: Algorithmic aspects of automated theorem proving - University of Bergen (Norway). http://bit.ly/2IsaAyv #PhD #CompSci
- 18-Abr-19: PhD on modular verification and proof of cyber-physical systems (Inria & Mitsubishi Electric, Rennes, France). http://bit.ly/2XjGZKY #PhD #CompSci
- 18-Abr-19: Open PhD position at Radboud University Nijmegen in the topic “Implicit complexity through higher-order rewriting”. http://bit.ly/2XovBNX #PhD #CompSci
- 18-Abr-19: Two postdoctoral positions in ontology-based management of quantitative data (logicians wanted), Liverpool (England). http://bit.ly/2IvtaFY #PostDoc #CompSci
- 18-Abr-19: Two PhD or postdoctoral positions in knowledge-based systems, Dresden (Germany). http://bit.ly/2IqrLQZ #PhD #PostDoc #CompSci
- 10-Abr-19: Open position: Formal verification engineer (m/f/x) at HENSOLDT Cyber in Munich. http://bit.ly/2IdllEB #Job #CompSci
- 09-Abr-19: Research position in verified confidentiality for weak memory concurrency. University of Melbourne. http://bit.ly/2WVjmYU #PhD #PostDoc #CompSci
- 06-Apr-19: Two PhD student positions in justification logic, Bern (Switzerland). http://bit.ly/2WMO7zd #PhD #Logic #CompSci
- 06-Abr-19: Fully-funded PhD position at Inria Lille (France) to work on the “Design of correct-by-construction self-adaptive cloud applications using formal methods”. http://bit.ly/2I1HLc0 #PhD #CompSci
- 04-Abr-19: Postdoctoral position in neural dialogue modelling, Amsterdam (The Netherlands). http://bit.ly/2IbKlvg #PostDoc #CompSci
- 04-Abr-19: Postdoctoral position in neural machine translation, Amsterdam (The Netherlands). http://bit.ly/2I8jBf6 #PostDoc #CompSci
- 04-Abr-19: Postdoc in system security and formal methods. KTH Royal Institute of Technology. http://bit.ly/2Id3RHB #PostDoc #CompSci
- 30-Mar-19: PhD position efficient and natural proofs and algorithms at the University of Bath. http://bit.ly/2uJj1g9 #PhD #Logic #CompSci
- 30-Mar-19: PhD Studentship at UCL: A coalgebraic framework for reductive logic and proof-search. http://bit.ly/2I1KS2F #PhD #Logic
- 28-Mar-19: PhD student positions on programming languages and systems for security and privacy at Chalmers. http://bit.ly/2HLPo63 #PhD #CompSci
- 25-Mar-19: Postdoctoral position at Purdue University to work on topics such as program synthesis, relational reasoning and reliable AI. http://bit.ly/2YdXCZM #PostDoc #CompSci #AI
- 25-Mar-19: Ph.D. fellowships at University of Copenhagen at the Programming Languages and Theory of Computation section at the Department of Computer Science. University of Copenhagen. http://bit.ly/2TuftYT #PhD CompSci
- 25-Mar-19: Postdoc positions within the DIAPASoN (Differential Program Semantics) project. Università degli Studi di Bologna. http://bit.ly/2TtR9GK #PostDoc #CompSci
- 24-Mar-19: Postdoc proposal in Paris on Proof interoperability with Isabelle. http://bit.ly/2Ft1ai7 #PostDoc #CompSci #ITP #IsabelleHOL
- 24-Mar-19: Postdoctoral position (3y) on truth and semantics, Bristol (England). http://bit.ly/2FmGLvi #PostDoc #Logic
- 24-Mar-19: Postdoctoral position in symmetry in computational complexity, Prague. http://bit.ly/2FoDFH9 #PostDoc #CompSci
- 24-Mar-19: PhD scholarships at the Logic and Computation research group, ANU. http://bit.ly/2uqLQOf #PhD #CompSci
- 24-Mar-19: PhD student positions in theory and foundations of CS, Warwick (England). http://bit.ly/2FiXMX2 #PhD CompSci
- 24-Mar-19: Postdoctoral positions in computational linguistics, Gothenburg (Sweden). http://bit.ly/2FoahAR #PostDoc #CompSci
- 24-Mar-19: PhD student scholarship in logic, knowledge representation and databases, Liverpool (England). http://bit.ly/2FsEqiv #PhD #CompSci
- 21-Mar-19: PhD Position on explainable data science using formal verification. Radboud University. http://bit.ly/2HBqPJ8 #PhD #CompSci
- 21-Mar-19: PhD position in Computational Mathematics at Stockholm University. http://bit.ly/2Hw0bBn #PhD #CompSci
- 21-Mar-19: PhD student in programming languages/formal verification at TU Delft. http://bit.ly/2Hw0nAB #PhD #CompSci
- 21-Mar-19: PhD student position in dependence logic, Helsinki (Finland). http://bit.ly/2uctaBK #PhD #CompSci #Logic
- 17-Mar-19: PhD student position in dependence logic, Helsinki (Finland). http://bit.ly/2uctaBK #PhD #CompSci #Logic
- 17-Mar-19: PhD student position in formal verification, Delft (The Netherlands). http://bit.ly/2W6Gqnk #PhD #CompSci
- 14-Mar-19: Postdoctoral position in category theory, Sydney (Australia). http://bit.ly/2O3Z8sS #PostDoc #CompSci
- 14-Mar-19: Two PhD student position in individual & collective reasoning, Luxembourg (Luxembourg). http://bit.ly/2Fe3Dyp #PhD #CompSci
- 14-Mar-19: Two PhD student scholarships in computer science (including logic), Swansea (Wales). http://bit.ly/2O3M07d #PhD #CompSci
- 13-Mar-19: Post-doctoral position to formally prove algorithms and code used by the GNU MPFR library. Inria Nancy - Grand Est. http://bit.ly/2F98ErR #PostDoc #CompSci
- 13-Mar-19: PhD Scholarship on History and Philosophy of Computing (Université de Lille and University of Kent). http://bit.ly/2O7Ng9r #PhD #CompSci
- 13-Mar-19: Open Postdoc position at IMDEA to work together on liquid relational types. http://bit.ly/2Fbn2A1 #PostDoc #CompSci
- 10-Mar-19: 2 PhD candidates in proof systems for modal fixpoint logics. University of Amsterdam. http://bit.ly/2F0TuVx #PhD #Logic
- 10-Mar-19: Postdoctoral researcher in Proof Systems for Modal Fixpoint Logics. University of Amsterdam. http://bit.ly/2O0pHiN #PostDoc #Logic
- 05-Mar-19: PhD Position in Software Security at KTH Royal Institute of Technology. http://bit.ly/2ENieQO #PhD #CompSci
- 25-Feb-19: Postdoc in formal methods and IoT security. Technical University of Denmark. http://bit.ly/2VgANlV #PostDoc #CompSci
- 25-Feb-19: Postdoc in formal methods and security intelligence. Technical University of Denmark. http://bit.ly/2EwkJXK #PostDoc #CompSci
- 22-Feb-19: PhD vacancy in formally verified crypto at the Concordium blockchain research center in Aarhus. http://bit.ly/2Eo8ufZ #PhD #CompSci
- 22-Feb-19: Master Internship at Université d’Orléans, France. Reactive synchronous programming. http://bit.ly/2EoYqDo #PhD #CompSci
- 22-Feb-19: 12 fully-funded 3-year PhD scholarships in PL at Kent. http://bit.ly/2VcCiBJ #PhD #CompSci
- 22-Feb-19: Fully-funded PhD studentship on weak-memory concurrency (University of Kent). http://bit.ly/2Vdg3vh #PhD #CompSci
- 17-Feb-19: PhD student position in Logics for Privacy, Bourges (France). https://goo.gl/ss8PVe #PhD #CompSci
- 10-Feb-19: Fully funded PhD position on SAT solving and fixed-parameter algorithms. Technische Universität Wien. http://bit.ly/2UNF4Nr #PhD #CompSci
- 08-Feb-19: 1-year Post-Doc position at University of Verona: formal methods and quantum computation , with a particular focus on quantum languages design and implementation. http://bit.ly/2t8gz1Q #PostDoc #CompSci
- 08-Feb-19: Multiple research positions (PhD/Postdoc/Scientific Programmer) in the areas of software verification, logics for concurrent programs, and language-based security. IMDEA Software Institute, Madrid, Spain. http://bit.ly/2tf8Crq #PhD #PostDoc #CompSci
- 08-Feb-19: Postdoc position on automatic parallelization of Dalvik bytecode at CNAM, Paris. http://bit.ly/2t9LYkm #PostDoc #CompSci
- 08-Feb-19: PhD position in concurrency/programming languages/formal methods at CWI (Amsterdam). http://bit.ly/2sZa1CD #PhD #CompSci
- 05-Feb-19: PhD positions on verified mathematics at VU Amsterdam. http://bit.ly/2I6CoJB #PhD #CompSci #ITP #LeanProver
- 03-Feb-19: PhD student position in Machine Learning, Data Mining, Semantic Technologies, and NLP, Hannover (Germany). http://bit.ly/2HOtoZm #PhD #CompSci #AI
- 02-Feb-19: PhD position in concurrency/programming languages/formal methods at CWI (Amsterdam). http://bit.ly/2sZa1CD #PhD #CompSci
- 02-Feb-19: Expressions of interest for a postdoc position in security and privacy at TU Wien. http://bit.ly/2HKGgzK #PostDoc #CompSci
- 02-Feb-19: 3 year postdoctoral position in logic, automated reasoning and coalgebra, London (United Kingdom). http://bit.ly/2HkD8KJ #PostDoc #CompSci
- 02-Feb-19: PhD student position in neural dialogue modelling, Amsterdam (The Netherlands). http://bit.ly/2HOJS3x #PhD #CompSci
- 02-Feb-19: 9m student position (.75 fte) on complexity of mathematical proofs, Prague (Czech Republic). http://bit.ly/2HJQ392 #PhD #PostDoc #CompSci
- 02-Feb-19: Two PhD studentships in “Truth & Semantics”, Bristol (England). http://bit.ly/2HLZSDA #PhD #Logic #CompSci
- 02-Feb-19: PhD student or postdoc position in formal methods, Konstanz (Germany). http://bit.ly/2HJoNYl #PhD #CompSci
- 18-Ene-19: PhD student (post-doc) in formal modeling and analysis of systems. http://bit.ly/2HkiWZk #PhD #PostDoc #CompSci
- 18-Ene-19: 3 year postdoctoral position in logic, automated reasoning and coalgebra, London (United Kingdom). http://bit.ly/2HkD8KJ #PostDoc #CompSci
- 18-Ene-19: Research associate in computational effects modelling and axiomatics. http://bit.ly/2Hk7sVG #PostDoc #CompSci
- 18-Ene-19: Post-doc or permanent job offer in R compilation in Toulouse, France. http://bit.ly/2HhOOgY #PostDoc #CompSci
- 18-Ene-19: Faculty position in logic and verification at UCL. http://bit.ly/2RPTUFx #Job #CompSci
- 10-Ene-19: MSc and PhD positions at Queen’s University, in the theory and practice of programming languages. http://bit.ly/2RKDqOG #PhD #CompSci
- 09-Ene-19: Postdoc positions in PL and distributed systems at IMDEA, Madrid. http://bit.ly/2GZsQzi #PostDoc #CompSci
- 08-Ene-19: Postdoc position at the University of Minnesota in type theory and programming language theory. http://bit.ly/2Rzihai. #PostDoc #CompSci
- 08-Ene-19: Postdoctoral position in satisfiability modulo theory (SMT) for theory of non-linear real arithmetic and ordinary differential equations at ENSTA ParisTech, Palaiseau France. http://bit.ly/2H0qD6S #PostDoc #CompSci
- 05-Ene-19: Seeking a lecturer for 6hs on proof-assistants in Padova. http://bit.ly/2RyXm78 #ITP #Coq #Agda #Lean
- 05-Ene-19: PostDoc position at Inria Paris on formally secure compilation in Coq. http://bit.ly/2RsqE7y #PostDoc #CompSci
- 05-Ene-19: PhD candidate in Big Data Management and Science. University of Amsterdam. http://bit.ly/2RvR749 #PhD #CompSci
- 03-Ene-19: Two postdoctoral or PhD student positions on explaining description logic, Dresden (Germany). http://bit.ly/2RoB5ZR #PhD #PostDoc #CompSci
- 03-Ene-19: Postdoctoral position (1y) on the Goedel hierarchy, Warsaw (Poland). http://bit.ly/2GVaEH1 #PostDoc #Logic
- 02-Ene-19: PhD student position in formal verification of ethical principles of AI, Umea (Sweden). http://bit.ly/2RoW1js #PhD #CompSci #AI
- 02-Ene-19: PhD student position in cyber security, Guildford (England). http://bit.ly/2GSg99r #PhD #CompSci
- 01-Ene-19: Postdoc position at the University of Minnesota in type theory and programming language theory. http://bit.ly/2GQWXZC #PostDoc #CompSci
- 17-Dic-18: Several post-doc positions are available at the National Satellite of Excellence in Trustworthy Software Systems at the National University of Singapore. http://bit.ly/2GJswVa #PostDoc #CompSci
- 24-Dic-18: Postdoc position at Chalmers, in verification of machine learning algorithms. http://bit.ly/2GDUVMx #PostDoc #CompSci #AI #ML
- 23-Dic-18: PhD student position in AI (explaining ontological inferences), Ulm (Germany). http://bit.ly/2GAPM7L #PhD #CompSci #AI
- 22-Dic-18: Two PhD student positions in reliability and trust, Luxembourg (Luxembourg). http://bit.ly/2RjiVZz #PhD #CompSci
- 22-Dic-18: Four PhD student positions on interface reasoning for interacting systems, London (England). http://bit.ly/2RbdPy7 #PhD #CompSci
- 22-Dic-18: Postdoc position at Colorado in data-driven program analysis with potential industrial applications. University of Colorado Boulder. http://bit.ly/2GykpuF #PostDoc #CompSci
- 22-Dic-18: Postdoc Positions at KTH and Chalmers on Cyber-Physical Systems (with CakeML). http://bit.ly/2GxI3ar #PostDoc #CompSci
- 22-Dic-18: Postdoctoral researcher in programming languages and machine learning at Penn State. http://bit.ly/2Rbd8VL #PostDoc #CompSci
- 14-Dic-18: PhD studentship on “Probabilistic property-based testing” at the University of Edinburgh. http://bit.ly/2SQaCkY #PhD #CompSci #FunctionalProgramming
- 14-Dic-18: PhD position in deductive verification of safety-critical embedded software at KTH Royal Institute of Technology. http://bit.ly/2SRNxyp #PhD #CompSci
- 11-Dic-18: Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler. http://bit.ly/2QIw3qN #PostDoc #CompSci
- 11-Dic-18: PhD Studentship at UCL: A coalgebraic framework for reductive logic and proof-search. http://bit.ly/2QO2Vym #PhD #CompSci #Logic
- 11-Dic-18: PhD Studentships at UCL: Interface reasoning for interacting systems. http://bit.ly/2SExTGy #PhD #CompSci
- 11-Dic-18: PhD student position on coalgebra and logic, London (England). http://bit.ly/2QOeGEO #PhD #Logic
- 10-Dic-18: PhD studentships at UCL: Interface reasoning for interacting systems. http://bit.ly/2SExTGy #PhD #CompSci
- 09-Dic-18: PhD student position on interface reasoning, London (England). http://bit.ly/2QEczUd #PhD #CompSci #Logic
- 09-Dic-18: Postdoctoral position in Knowledge Representation, Utrecht (The Netherlands). http://bit.ly/2QFdxiV #PostDoc #CompSci
- 09-Dic-18: PhD student position on semidefinite programming, Paris (France). http://bit.ly/2Sw6zKq #PhS #CompSci
- 07-Dic-18: Research position in verified confidentiality for weak memory concurrency, Melbourne. http://bit.ly/2SyPBed #PhD #PostDoc #CompSci #IsabelleHOL
- 06-Dic-18: Postdoc positions in formal modelling and verification. University of Oslo. http://bit.ly/2E4BYzr #PostDoc #CompSci
- 06-Dic-18: PhD studentship at UCL: A coalgebraic framework for reductive logic and proof-search. http://bit.ly/2E3YmJt #PhD #Logic #CompSci
- 03-Dic-18: Post-doctoral research and development position at the University of Barcelona. http://bit.ly/2QAZUkA #PostDoc #CompSci #ITP #Coq
- 04-Dic-18: 10 PhD studentships in Nottingham. Applicants in the area of the Functional Programming Laboratory are strongly encouraged! http://bit.ly/2QvIjLc #PhD #CompSci #FunctionalProgramming
- 04-Dic-18: Open PhD and intern positions at IMDEA on how to establish Liquid Haskell as a practical and useful theorem prover. http://bit.ly/2QASnlX #PhD #CompSci #FunctionalProgramming #Haskell
- 30-Nov-18: Postdoc position in quantum programming languages at Tulane. http://bit.ly/2DSVsHu #PostDoc #CompSci
- 29-Nov-18: Internship at Oracle Labs in Boston to work at the intersection of learning theory and formal verification. http://bit.ly/2DQsqbl #Job #CompSci #MachineLearning #Coq
- 28-Nov-18: Research scientist, machine learning & predictive science. Celgene, Sevilla. http://bit.ly/2QkvKSP #Job #PostDoc #CompSci #AI
- 28-Nov-18: Post doctoral researcher. Galgus, Sevilla. http://bit.ly/2Qn0Lp7 #Job #PostDoc #CompSci #AI
- 27-Nov-18: Post-doc position at University of Glasgow, UK - PL foundations / session types. http://bit.ly/2DQ80PV #PostDoc #CompSci
- 27-Nov-18: Postdoctoral Researcher and Research Fellow Positions in ICT (Helsinki, Finland). http://bit.ly/2Ql29bF #PostDoc #CompSci #AI
- 24-Nov-18: Post-doc positions at LRI - U. Paris Saclay: quantum computation, formal methods, numerical methods. http://bit.ly/2DDvozX #PostDoc #CompSci
- 24-Nov-18: Up to 3 PhD student positions on programming languages and systems for security and privacy at Chalmers. http://bit.ly/2DHePmy #PhD #CompSci
- 22-Nov-18: Postdoctoral fellowship on SAT modulo ODE at ENSTA Paristech. http://bit.ly/2QbFhLO #PostDoc #CompSci
- 22-Nov-18: Research positions in cryptography, blockchain, and formal verification at Aarhus. http://bit.ly/2DBNpyt #PhD #PostDoc #CompSci #ITP
- 20-Nov-18: Postdoc and PhD positions in ERC Project “RustBelt: logical foundations for the future of safe systems programming“. Max Planck Institute for Software Systems (MPI-SWS) http://bit.ly/2DxOwiC #PhD #PostDoc #CompSci #ITP
- 20-Nov-18: Job Opportunity at D-RisQ. http://bit.ly/2Q2639p #Job #CompSci #ITP
- 19-Nov-18: The Trustworthy Systems team is hiring proof engineers. http://bit.ly/2Dz6jWX #Job #CompSci #ITP
- 16-Nov-18: A PhD position on Leveraging Automatic Deduction for Verification is immediately available at Inria Nancy, co-funded by the Matryoshka ERC Starting Grant and the Region Grand-Est. http://bit.ly/2Q0sawL #PhD #CompSci #ITP
- 16-Nov-18: Job opportunity at D-RisQ. http://bit.ly/2Q2639p #Jobs #CompSci #ITP
- 16-Nov-18: BedRock Systems is Hiring Formal Methods Engineers. http://bit.ly/2PYNeUE #Jobs #CompSci #ITP
- 16-Nov-18: 2-year postdoc position on Frama-C/E-ACSL. http://bit.ly/2PXwm0s #PostDoc #CompSci
- 15-Nov-18: PhD position in rewriting for fault trees at the Radboud University Nijmegen. http://bit.ly/2DkvL29 #PhD #CompSci
- 15-Nov-18: 12-week internships for PhD students at Google, New York NY in the areas of machine learning, optimization, deep learning, computer vision and related fields. http://bit.ly/2DmjwlE #PhD #CompSci
- 13-Nov-18: Data61 hiring Proof Engineers. http://bit.ly/2Q0Ps60 #Jobs #CompSci #ITP
- 13-Nov-18: Research scientist/senior research scientist in formal verification. http://bit.ly/2PVafYq #PostDoc #CompSci #ITP
- 11-Nov-18: Post-doctoral fellow position in Computer Science on formal methods and model-driven software engineering. Western Norway University. http://bit.ly/2DfnuMY #PostDoc #CompSci
- 11-Nov-18: Postdoc position: Symbolic tools for the formal verification of cryptographic protocols at the Inria Nancy / LORIA research center. http://bit.ly/2DegU9k #PostDoc #CompSci
- 08-Nov-18: Multiple Postdoc positions at Nanyang Technological University on verification. http://bit.ly/2PMVG9l #PostDoc #CompSci #ITP
- 08-Nov-18: PhD and postdoc positions in program verification at TUDelft. http://bit.ly/2D6Kdum #PhD #PostDoc #CompSci #ITP
- 07-Nov-18: The Excellence Laboratory Milyon recruits one or two postdoctoral researchers in Mathematics/Computer Science for the period 2019-2021. http://bit.ly/2PIcdLI #PostDoc #CompSci
- 05-Nov-18: PhD student and post-doc positions at ETH Zurich: Verification of a secure Future Internet architecture. http://bit.ly/2ztFXlo #PhD #PostDoc #CompSci
- 05-Nov-18: Postdoctoral Fellowships in Algorithms at Department of Computer Science, University of Copenhagen. http://bit.ly/2SOdY8E #PostDoc #CompSci
- 05-Nov-18: Two PhD student positions in theoretical computer science, London (England). http://bit.ly/2SNtLVs #PhD #CompSci
- 31-Oct-18: 2 PostDoc and 2 PhD student positions in KRR at Nova University Lisboa. http://bit.ly/2PCeXKm #PhD #PostDoc #CompSci
- 31-Oct-18: Postdoc position on the Mercedes project in Twente (Netherlands): Maximal reliability of concurrent and distributed software. http://bit.ly/2RtMWCl #PostDoc #CompSci
- 31- Oct-18: Postdoctoral positions in foundations of computer sciences, Paris (France). http://bit.ly/2PykotZ #PostDoc #CompSci
- 31-Oct-18: PhD student position in theoretical computer science, Kassel (Germany). http://bit.ly/2Jg1TVw #PhD #CompSci
- 26-Oct-18: Marie Curie Early Stage Research PhD at University of York. http://bit.ly/2Jp6jK1 #PhD #CompSci #IsabelleHOL
- 26-Oct-18: Quantum Computation Postdoc at Tulane. http://bit.ly/2JhKnQG #PostDoc #CompSci
- 25-Oct-18: Michael O. Rabin postdoctoral fellowship in theoretical computer science. Harvard University. http://bit.ly/2Pq6nyA #PostDoc #CompSci
- 25-Oct-18: Postdoc on the subject of Towards a Quantitative Theory of Integer Programming at CWI. http://bit.ly/2Jgjahq #PostDoc #CompSci
- 25-Oct-18: Postdoctoral positions in foundations of computer sciences, Paris (France). http://bit.ly/2Jh6Zkz #PostDoc #CompSci
- 25-Oct-18: PhD student position in theoretical computer science, Kassel (Germany). http://bit.ly/2Jg1TVw #PhD #CompSci
- 20-Oct-18: PhD student positions in Functional Programming for guaranteed security in the Internet of Things. Chalmers University of Technology. http://bit.ly/2EBurKy #PhD #CompSci #FunctionalProgramming
- 20-Oct-18: Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology). http://bit.ly/2PeQfzA #PostDoc #CompSci
- 20-Oct-18: PhD student in Geometric Deep Learning at Chalmers University of Technology. http://bit.ly/2PeecHl #PhD #CompSci #DeepLearning
- 20-Oct-18: Ph.D. student position in foundations of artificial intelligence and machine learning (Chalmers University of Technology). http://bit.ly/2PbqGzl #PhD #CompSci #AI #ML
- 18-Oct-18: Vacancies: PhD positions - Semantic Technologies. Ghent University, Belgium. http://bit.ly/2P2T7zH #PhD #CompSci
- 18-Oct-19: PhD Scholarship in Artificial Intelligence on diversity-aware interaction models. The Artificial Intelligence Research Institute (IIIA-CSIC). https://yhoo.it/2P8c0RF #PhD #CompSci #AI
- 18-Oct-18: PostDoc position at UCLouvain in formal verificaion, privacy, and security. http://bit.ly/2P4bRia #PostDoc #CompSci
- 18-Oct-18: The Rigorous Software Engineering group of the Max Planck Institute for Software Systems is inviting applications for two postdoctoral research scholars. http://bit.ly/2P8Oxjc #PosDoc #CompSci
- 18-Oct-18: PostDoc positions at Inria Paris on F* and on formally secure compilation. http://bit.ly/2C8uSZW #PostDoc #CompSci
- 15-Oct-18: Caltech’s Center for the Mathematics of Information (CMI) announces openings in the CMI Postdoctoral Fellowship Program, for positions beginning in Fall 2019. http://bit.ly/2P3O2H4 #PostDoc #Math #CompSci
- 11-Oct-18: PostDoc positions at Inria Paris on F* and on formally secure compilation. http://bit.ly/2C8uSZW #PostDoc #CompSci
- 06-Oct-18: Pre-doctoral research position on embodied cognition and artificial intelligence. IIIA-CSIC, Barcelona. https://yhoo.it/2zUqegA #PhD #CompSci #IA
- 06-Oct-18: Postdoc in classical and quantum computing at IRIF (previously LIAFA), Paris, France. http://bit.ly/2BZ4aTs #PostDoc #CompSci
- 26-Sep-18: Doctoral student in system security and formal methods at KTH2 Royal Institute of Technology. http://bit.ly/2DvWb2H #PhD #CompSci
- 26-Sep-18: Post-doc position on gradually-typed programming languages at University Paris Diderot. http://bit.ly/2Dwpsdx #PostDoc #CompSci
- 25-Sep-18: Post-doctoral position “Typed lambda-calculi with sharing and unsharing” at University of Bath. http://bit.ly/2NDPaBs #PostDoc #CompSci
- 21-Sep-18: PhD student position in computational social choice, Toulouse (France). http://bit.ly/2OHjwj8 #PhD #CompSci
- 20-Sep-18: PhD position “Efficient and natural proofs and algorithms” at University of Bath. http://bit.ly/2Nu3I6u #PhD #CompSci
- 19-Sep-18: Two postdoctoral positions in SAT and CP, Singapore (Singapore). http://bit.ly/2xlM3Ei #PostDoc #CompSci
- 19-Sep-18: PhD student position in programming languages and formal proofs, Palaiseau (France). http://bit.ly/2xlNXVs #PhD #CompSci
- 19-Sep-18: PhD student position in non-classical logics, Lodz (Poland. http://bit.ly/2PNzUyw #PhD #Logic #CompSci
- 19-Sep-18: PhD student position on reasoning about auctions, Toulouse (France). http://bit.ly/2PPgcT7 #PhD #CompSci
- 18-Sep-18: PhD position in natural language processing for automated program repair - University of York. http://bit.ly/2MNdvja #PhD #CompSci
- 18-Sep-18: Postdoctoral researcher in automated program repair and natural language processing - University of York, UK. http://bit.ly/2MIpCxL #PostDoc #CompSci
- 18-Sep-18: PhD student positions in programming language technology for security and privacy at Chalmers University of Technology. http://bit.ly/2MDZnsk #PhD #CompSci
- 18-Sep-18: PhD position in ERC Project “The Roots of Mathematical Structuralism“, University of Vienna. http://bit.ly/2MIlwph #PhD #Logic #Math
- 17-Sep-18: Postdoctoral position in deep learning + formal methods at Rice University. http://bit.ly/2QIAcYW #PostDoc #CompSci
- 17-Sep-18: PhD student position in theoretical computer science, Coventry (England). http://bit.ly/2QBOGtu #PhD #CompSci
- 17-Sep-18: PhD student in AI & Logic, Toulouse (France). http://bit.ly/2QEbngq #PhD #CompSci #AI #Logic
- 14-Sep-18: PhD and Postdoc positions in the SMART (Strong Modular Proof Assistance Reasoning Across Theories) project at the University of Innsbruck. http://bit.ly/2NeBzAj #PhD #PostDoc #CompSci
- 14-Sep-18: PhD position in ERC Project “The Roots of Mathematical Structuralism“, University of Vienna. http://bit.ly/2NaDQwC #PhD #Logic #Math
- 13-Sep-18: Postdoc position in the APC (Accountable Protocol Customization) project at the University of Pennsylvania. http://bit.ly/2OfryiU #PostDoc #CompSci
- 13-Sep-18: The Joint Laboratory ProofInUse hires an experienced R&D engineer (M/F) in the domain of Formal Methods for Software Engineering. http://bit.ly/2OdjUWk #Job #CompSci
- 12-Sep-18: Post-doc position in the VeRDi (Verified Reconfiguration Driven by execution) project at IMT Atlantique, Nantes. http://bit.ly/2OdKYoa #PostDoc #CompSci
- 12-Sep-18: A position for a PhD student in the project “Sequent and tableau-based systems for non-classical logics”. http://bit.ly/2OaQx6X #PhD #Logic
- 10-Sep-18: Postdoctoral position in biological programming languages, Microsoft Research, Cambridge, UK. http://bit.ly/2wZHPRz #PostDoc #CompSci
- 09-Sep-18: Postdoc position in machine learning, programming languages and software engineering at the IT University of Copenhagen. http://bit.ly/2CI6no6 #PostDoc #CompSci
- 09-Sep-18: PhD positions in the INSIGHT project (Program Repair with static insights”) at the IT University of Copenhagen. http://bit.ly/2CI6IHo #PhD #CompSci
- 04-Sep-18: Research Fellow in Verification at the University of Surrey, UK. http://bit.ly/2wEZEWN #PostDoc #CompSci
- 03-Sep-18: The Chair of Programming Methodology at ETH Zurich is recruiting PhD students and post-docs for several projects on program verification and static program analysis for program correctness and security. http://bit.ly/2NK3BzW #PhD #PostDoc #CompSci
- 01-Sep-18: Postdoc vacancy in “Quantum circuit optimisation and graphical calculus” at Radboud University, Nijmegen. http://bit.ly/2PVnp4H #PostDoc #CompSci
- 01-Sep-18: Postdoc position in Safety control and energy efficiency for embedded systems. Aarhus University. http://bit.ly/2osUHM7 #PostDoc #CompSci
- 01-Sep-18: PhD openings in the Security and Privacy group at TU Wien. http://bit.ly/2PW8SpK #PhD #CompSci
- 01-Sep-18: PhD position on “Concurrency, Logic, and Type Systems”. University of Groningen. http://bit.ly/2orXXaD #PhD #CompSci
- 30-Ago-18: Post-doc and researcher positions in Tallinn in the areas of Trustworthy Software Technologies, Hardware Security and Trust, Internet of Intelligent Things. http://bit.ly/2wzna6u #PostDoc #CompSci
- 30-Ago-18: A research grant position for one year in the field of Computer Aided Formal Reasoning is available at the University of Udine. http://bit.ly/2wxlw5C #PostDoc #CompSci
- 24-Ago-18: Two phd/post-doc positions: Formalization and verification of traffic rules for automated vehicles. http://bit.ly/2o6cSqN #PostDoc #CompSci
- 21-Ago-18: Postdoctoral & development positions on PL for data curation at Edinburgh LFCS. http://bit.ly/2Mtz78Z #PostDoc #CompSci
- 21-Ago-18: Postdoc/Engineer positions (formal methods and quantum computation) at LRI - U. Paris Saclay. http://bit.ly/2nWnRmI #PostDoc #CompSci
- 18-Ago-18: PhD thesis position on formal proofs and programming languages at Siemens Mobility, France. http://bit.ly/2PcZuO5 #PhD #CompSci
- 15-Ago-18: Postdoc and PhD positions. Center for Advanced Software Analysis, Aarhus University. http://bit.ly/2wcJX8m #PostDoc #PhD #CompSci
- 09-Ago-18: PhD opportunities at the Australian National University. http://bit.ly/2MfeE6A #PhD #CompSci #Logic
- 09-Ago-18: PhD studentship in logic and verification at University College London. http://bit.ly/2OVZORd #PhD #CompSci
- 09-Ago-18: Full-time position at Tesla, Inc.: Software Engineer - Functional Programming. http://bit.ly/2Ma9PLP #Job #CompSci #FunctionalProgramming
- 05-Ago-18: PhD position in Software Lab at TU Darmstadt. http://bit.ly/2MjdjbX #PhD #CompSci
- 05-Ago-18: 2 PhD fellows in functional technology for high-performance architectures. http://bit.ly/2Mjd2pr #PhD #CompSci
- 28-Jul-18: PhD Position on the formalization of automated reasoning in Isabelle/HOL. http://bit.ly/2NOBgIq #PhD #CompSci
- 28-Jul-18: PhD and post-doc positions on formal methods for voting systems, University of Luxembourg. http://bit.ly/2LZlw4Z #PhD #PostDoc #CompSci
- 26-Jul-18: Postdoc position in computational geometry at the University of Sydney. http://bit.ly/2LpWQGd #PostDoc #CompSci
- 25-Jul-18: Two PhD positions in program verification at KU Leuven. http://bit.ly/2NJhhKW #PhD #CompSci
- 25-Jul-18: Seeking postdoc for information-flow type systems at the hardware/OS level. Cornell University. http://bit.ly/2NJ3F2x #PostDoc #CompSci
- 23-Jul-18: PhD position on `Quantum annealing for SAT solving’ in Trento. http://bit.ly/2LFZeEZ #PhD #CompSci
- 19-Jul-18: Postdoctoral Position in Machine Learning & Computer Algebra. http://bit.ly/2uBypv6 #PostDoc #CompSci
- 09-Jul-18: PhD Position on the formalization of automated reasoning in Isabelle. http://bit.ly/2NEbLtR #PhD #CompSci
- 09-Jul-18: PhD Research project on big data monitoring. ETH Zürich, Switzerland http://bit.ly/2KW10of #PhD #CompSci
- 09-Jul-18: PhD Research project on privacy, data protection, and access control. ETH Zürich, Switzerland http://bit.ly/2KW10of #PhD #CompSci
- 09-Jul-18: Open Positions for Ph.D. candidates and Postdocs in information-flow security and side-channel analysis. TU Darmstadt, Germany http://bit.ly/2NExHFc #PhD #PostDoc #CompSci
- 09-Jul-18: Postdoctoral positions in formal methods. Stanford University, USA. http://bit.ly/2Nzo0rM #PostDoc #CompSci
- 09-Jul-18: PhD Position: Leveraging automatic deduction for verification. Loria and Inria Nancy, France http://bit.ly/2NCDPy3 #PhD #CompSci
- 09-Jul-18: Postdoc Position: Verification of autonomous robots. York, UK. http://bit.ly/2KYli0o #PostDoc #CompSci
- 09-Jul-18: Post-doctoral researchers wanted for Coq developments (certified distributed algorithms; certified compiler). Grenoble, France http://bit.ly/2KXdPeS #PostDoc #CompSci
- 09-Jul-18: PhD position in complex networks and knowledge graphs (Research Assistant). University of Kassel, Germany. http://bit.ly/2NA4hbi #PhD #CompSci
- 07-Jul-18: Postdoc position in “Reasoning and programming with infinite data-objects” project at Paris Diderot University. http://bit.ly/2u0mA1r #PostDoc #CompSci
- 07-Jul-18: PhD fellow in probabilistic programming and protein structure prediction. http://bit.ly/2tWVLLx #PhD #CompSci
- 06-Jul-18: Haskell developer at Henry in Stockholm. http://bit.ly/2u8SfwN #Job #Haskell
- 06-Jul-18: PhD position in ICT in Trento on “Quantum annealing for SAT solving”. http://bit.ly/2zd0yh1 #PhD #CompSci
- 06-Jul-18: Research assistant/ associate in disciplined approximate arithmetic. Imperial College London. http://bit.ly/2ubgham #Job #CompSci
- 06-Jul-18: Postdoc position at Chalmers in the area of software variability. University of Gothenburg. http://bit.ly/2ub4JnJ #PostDoc #CompSci
- 06-Jul-18: PhD positions in software engineering/formal methods. Università della Svizzera italiana (USI), Lugano, Switzerland. http://bit.ly/2lZ8V6o #PhD #CompSci
- 04-Jul-18: Postdoc vacancy: Homotopy type theory and probabilistic programming. Aarhus University, Denmark. http://bit.ly/2z8sSAS #PostDoc #CompSci
- 04-Jul-18: PhD position: Type theory, probabilistic computation and computer-aided cryptography proofs. Aarhus University, Denmark. http://bit.ly/2u5A1w4 #PhD #CompSci
- 03-Jul-18: PhD position: Unifying correctness for communicating software. University of Groningen, The Netherlands. http://bit.ly/2KrFqst #PhD #CompSci
- 30-Jun-18: Open Ph.D. position in Privacy and Access Control at ETH Zurich. http://bit.ly/2IAF1y9 #PhD #CompSci
- 24-Jun-18: PhD openings in the Security and Privacy group at TU Wien. http://bit.ly/2Kgbewf #PhD #CompSci
- 24-Jun-18: PhD student position in logic and verification, London (England). http://bit.ly/2Kjtzs8 #PhD #CompSci #Logic
- 20-Jun-18: PhD Student in software security and formal methods. http://bit.ly/2JUvBmo #PhD #CompSci
- 20-Jun-18: PostDoc at Inria, Paris, on validation and synthesis of DWARF debugging information. http://bit.ly/2MEJyml #PostDoc #CompSci
- 20-Jun-18: Fully funded EPSRC iCASE PhD scholarship: “Verification of real time systems” at Swansea University. http://bit.ly/2MDEwXr #PhD #CompSci
- 16-Jun-18: Two Post-doc Research Fellowships at NOVA LINCS/NOVA University of Lisbon and OutSystems collaborative laboratory. http://bit.ly/2sZsyiE #PostDoc #CompSci
- 16-Jun-18: Postdoc positions in formal methods at Stanford University. http://bit.ly/2Mt4kFo #PostDoc #CompSci
- 16-Jun-18: Graduiertenkolleg “Facets of Complexity”: Seven Ph.D. positions, starting September 2018, for three years. http://bit.ly/2td4dox #PhD #CompSci
- 16-Jun-18: PhD studentship in Logic & Verification at UCL. http://bit.ly/2tbXUl9 #PhD #CompSci
- 16-Jun-18: Fully-funded PhD studentship at University of Kent for the project “Specification and verification of C++ data structure libraries”. http://bit.ly/2py3n52 #PhD #CompSci
- 16-Jun-18: Research Associate position on Verification of Linear Dynamical Systems, Oxford(England). http://bit.ly/2LWJC0l #PostDoc #CompSci
- 16-Jun-18: Fully-Funded Ph.D. Studentship in Analysis of Concurrent Systems. University of Warsaw http://bit.ly/2LTRjVf #PhD #CompSci
- 05-Jun-18: Nuevas oportunidades del Consejo Europeo de Investigación Nuclear (CERN) para investigadores y estudiantes de la Universidad de Sevilla. http://bit.ly/2LTQcF3 #Job #CompSci
- 05-Jun-18: Research Associate position on verification of linear dynamical systems, Oxford (England). http://bit.ly/2LWJC0l #PostDoc #CompSci
- 05-Jun-18: Postdoctoral position on “optimal proofs”, Utrecht (The Netherlands). http://bit.ly/2M0GjFn #PostDoc #Logic
- 05-Jun-18: PhD student position in analysis of concurrent systems, Warsaw (Poland). http://bit.ly/2LTRjVf #PhD #CompSci
- 05-Jun-18: PhD student position in computational (psycho)linguistics, Stuttgart (Germany). http://bit.ly/2M2VZrE #PhD #CompSci
- 05-Jun-18: PhD student position in computational semantics, Utrecht (The Netherlands). http://bit.ly/2LWKhPn #PhD #CompSci
- 05-Jun-18: PhD student position in modelling and verification of software systems, London (England). http://bit.ly/2LXfRN0 #PhD #CompSci
- 05-Jun-18: PhD student position in formal semantics, Utrecht (The Netherlands). http://bit.ly/2IHpu0s #PhD #CompSci
- 05-Jun-18: Open postdoc position on higher-order model checking. University of Tokyo, Japan. http://bit.ly/2LXO52S #PostDoc #CompSci
- 05-Jun-18: VeTSS PhD Scholarship Programme on Session Types and Programming Languages. Imperial College London. http://bit.ly/2LYdcCI #PhD_CompSci
- 05-Jun-18: Postdoc at Imperial on the IRIS project, on “Compositional reasoning for high-assurance many-core software”. http://bit.ly/2LYvALX #PostDoc #CompSci
- 05-Jun-18: PL Research positions at Facebook Languages Research (FLaRe). http://bit.ly/2M0u3oD #PostDoc #CompSci
- 28-May-18: Categorical Informatics, a data modeling/integration/migration company pioneering a new approach to data based on category theory, is looking to recruit an initial technical staff. http://bit.ly/2LyxC54 #Job #CompSci
- 26-May-18: Data Scientist / Spatial Data Scientist: 2 x Fixed-Term appointments (4 years). University of Wollongong (UOW) - New South Wales, Australia http://bit.ly/2ISIPvm #Job #CompSci #DataScience
- 26-May-18: Research Associate in Medical Machine Learning. Lancaster University. http://bit.ly/2xl36ZA #PostDoc #CompSci #MachineLearning
- 26-May-18: Formal verification position at Toyota ITC, Mountain View. http://bit.ly/2IMOKGz #PostDoc #CompSci
- 26-May-18: Open Ph.D. position in Runtime Verification and Monitoring at ETH Zürich. http://bit.ly/2IMVYGn #PhD #CompSci
- 26-May-18: Two Research Associate Positions (Post-doc, Full Time, Fixed Term) at Imperial College London. http://bit.ly/2IPUsDm #PostDoc #CompSci
- 22-May-18: Postdoc on using machine learning to make runtime verification more efficient. University of Kent. http://bit.ly/2LkHJuj #PostDoc #CompSci
- 22-May-18: The Security Group at Arm Research is seeking a Formal Methods Intern to work on the application of software verification technology to cryptographic code. http://bit.ly/2IB86OM #PhD #CompSci
- 22-May-18: 18 PhD positions in Computer Science and System Engineering at University of Verona. http://bit.ly/2ID7B2A #PhD #CompSci
- 22-May-18: PhD student position in formal semantics, Utrecht (The Netherlands). http://bit.ly/2IHpu0s #PhD #CompSci
- 21-May-18: PhD position in KRR at Artois University, France. The goal of the thesis is to investigate and develop non-monotonic logic-based formalisms for the specification and verification of exception-tolerant systems. http://bit.ly/2IztRyv #PhD #CompSci
- 18-May-18: Ph.D. Fellowship in unconventional computation. Norwegian University of Science and Technology (NTNU). http://bit.ly/2GvE6hd #PhD #CompSci
- 18-May-18: Machine Learning Engineer. Think Silicon. http://bit.ly/2GuHLfe #Job #CompSci
- 18-May-18: High performance computing in medical imaging. University of Cordoba, Spain. http://bit.ly/2IqMEMp #PostDoc #CompSci
- 18-May-18: Research Assistant/Research Associate, ECOSCALE H2020 project (two posts available). University of Manchester. http://bit.ly/2rRyKbP #PhD #PostDoc #CompSci
- 17-May-18: PhD studentship in formal methods & verification at University College London. http://bit.ly/2IooP80 #PhD #CompSci
- 17-May-18: Tezos is hiring! Tezos is a self-governing blockchain and smart-contract platform written in OCaml. http://bit.ly/2rOwG3C #PhD #PostDoc #CompSci #FunctionalProgramming
- 14-May-18: Research Fellow in geometric topology, topological quantum field theory and applications to quantum computing. http://bit.ly/2KZ0KSL #PostDoc #Math #CompSci
- 13-May-18: Postdoc in formal verification for formal contracts co-funded by Deon Digital and the Danish Innovation Foundation. University of Copenhagen http://bit.ly/2KToqI5 #PostDoc #CompSci
- 09-May-18: Research positions in logic & verification at UCL (University College London), London, UK. http://bit.ly/2KPkRCC #PostDoc #CompSci
- 07-May-18: PhD fellows in natural language processing and machine learning University of Copenhagen. http://bit.ly/2FPVuND #PhD #CompSci
- 07-May-18: PhD position in dominance based fuzzy rough set models for preference learning in ordinal classification. Ghent University. http://bit.ly/2FRCzBY #PhD #CompSci
- 07-May-18: PhD position in fuzzy rough set models for machine learning and sentiment analysis. Ghent University. http://bit.ly/2jz0vkL #PhD #CompSci
- 07-May-18: Research fellow in machine learning. University of Warwick. http://bit.ly/2FQpmcI #PostDoc #CompSci
- 07-May-18: Open positions in crypto/security at IT University of Copenhagen. http://bit.ly/2jCwn8n #PostDoc #CompSci
- 07-May-18: PhD positions in PL and distributed systems at IMDEA, Madrid. http://bit.ly/2FRXe8N #PhD #CompSci
- 07-May-18: PhD student position on quantitative & qualitative analysis of multi-player games, Stockholm (Sweden). http://bit.ly/2FOWjGd #PhD #CompSci
- 05-May-18: 18 PhD positions at 7 Swedish universities focusing on the mathematical foundations of artificial intelligence. http://bit.ly/2FLn52i #PhD #CompSci #Math #AI
- 30-Abr-18: PhD studentship on the CakeML project. The position is part of the “Building verified applications in CakeML” (University of Kent) http://bit.ly/2I8CO0u #PhD #CompSci
- 30-Abr-18: Postdoctoral position on “The implicit commitment of mathematical theories through intensional notions”, Pisa (Italy). http://bit.ly/2r7QTBW #PostDoc #Logic
- 30-Abr-18: PhD-student in mathematics within the WASP project Mathematics for AI on quantitative & qualitative analysis of multi-player games, Stockholm (Sweden) http://bit.ly/2I1KxNR #PhD #CompSci
- 30-Abr-18: PhD student position in the history and philosophy of programming, Lille (France). http://bit.ly/2w8vX2H #PhD #CompSci
- 25-Abr-18: PhD position in logic and its application to program and systems verification at UCL. http://bit.ly/2HwqQuh #PhD #CompSci
- 22-Abr-18: PhD in CS focused on SAT solving at KTH Royal Institute of Technology. http://bit.ly/2vzNj8b #PhD #CompSci
- 21-Abr-18: Doctoral student in system security and formal methods. KTH Royal Institute of Technology. http://bit.ly/2HRbnpA #PhD #CompSci
- 21-Abr-18: Senior Research Associate on power of algorithms in discrete optimisation. Pxford University. http://bit.ly/2F49cMt #PostDoc #CompSci
- 19-Abr-18: Postdoctoral position in computational social choice / algorithmic game theory, Berlin (Germany). http://bit.ly/2HxmvtP #PostDoc #CompSci
- 19-Abr-18: PhD position in “Foundations of interactive democracy”, Berlin (Germany). http://bit.ly/2HAm0zl #PostDoc #CompSci
- 17-Abr-18: The CELTIQUE team has a PhD position available on the definition of a rule format to specify formal semantics and derive certified static analyzers in Coq. http://bit.ly/2H5P6ax #PhD #CompSci #Coq
- 17-Abr-18: Postdoc and PhD positions in verification at IMDEA (Madrid) in the areas of software verification of concurrent programs, separation logic, and language-based security. http://bit.ly/2H65p72 #PhD #PostDoc #CompSci
- 17-Abr-a8: Three PhD student positions in Cognitive Science & Artificial Intelligence, Tilburg (The Netherlands). http://bit.ly/2H68WlY #PhD #CompSci
- 16-Abr-18: PhD student position in concurrency theory, Groningen (The Netherlands). http://bit.ly/2qCrNuz #PhD #CompSci
- 16-Abr-18: Postdoctoral position in nonstandard methods in Ramsey Theory, Vienna (Austria). http://bit.ly/2HnYmGh #PostDoc #Logic
- 10-Abr-18: The programming languages group at University of Freiburg, Germany, has an opening for a research assistant to work on a DFG-funded project to create a version of OCaml with linear types and session types to start on July 1, 2018. http://bit.ly/2uYBp7s #PostDoc #CompSci
- 10-Abr-18: Postdoc in security protocols and formal methods. University of Luxembourg. http://bit.ly/2Hp3k30 #PostDoc #CompSci
- 10-Abr-18: PostDoc position on formally secure compilation at Inria Paris. http://bit.ly/2v2qfi3 #PostDoc #CompSci
- 07-Abr-18: PhD student scholarships in logic and related fields, Canberra (Australia). http://bit.ly/2HiNeI0 #PhD #CompSci
- 07-Abr-18: PhD student position in formal methods, Konstanz (Germany). http://bit.ly/2GEVAIX #PhD #CompSci
- 07-Abr-18: Postdoc position in Logic, Gothenburg (Sweden). http://bit.ly/2FLrH9W #PostDoc #Logic
- 07-Abr-18: Postdoctoral position in machine learning + program synthesis at Rice University. http://bit.ly/2HgNLu1 #PostDoc #CompSci
- 29-Mar-18: PhD position on “Fault localization and explanation for concurrent programs” available at Inria Grenoble (France). http://bit.ly/2GEzwl6 #PhD #CompSci
- 29-Mar-18: PhD student positions in symmetry in computational complexity, Prague (Czech Republic). http://bit.ly/2GngiNv #PhD #CompSci
- 29-Mar-18: Twenty-month Postdoctoral Fellowship in the context of the ANR-DFG research program “Formalism, formalisation, intuition, and understanding in mathematics”. Nancy / Paris (France) http://bit.ly/2GlTPQS #PostDoc #CompSci
- 28-Mart-18: Post-doc and PhD positions on program analysis and code optimisation using machine learning. http://bit.ly/2usDSGV #PhD #PostDoc #CompSci
- 28-Mar-18: Postdoctoral and Ph.D. positions on software security at Uppsala University. http://bit.ly/2J1X69C #PhD #PostDoc #CompSci
- 28-Mar-18: PhD positions in theoretical computer science at KTH Royal Institute of Technology http://bit.ly/2uwFOP0 #PhD #CompSci
- 28-Mar-18: Postdoc positions in theoretical computer science at KTH Royal Institute of Technology http://bit.ly/2utnd67 #PostDoc #CompSci
- 28-Mar-18: PhD Scholarships in Logic and Verification at the Australian National University. http://bit.ly/2uwqD8u #PhD #CompSci
- 28-Mar-18: Haskell development job with Well-Typed. http://bit.ly/2urKVzR #Job #Haskell
- 24-Mar-18: ESRC-funded PhD studentship at University of Edinburgh for the project “Interpretable scoring models for understanding household financial distress”. http://bit.ly/2py3n52 #PhD #CompSci
- 24-Mar-18: Postdoctoral Fellowship in Symbolic Computation in the areas of the gran “AF:Small: Symbolic Computation with Certificates, Sparsity and Error Correction” http://bit.ly/2DReTws #PostDoc #CompSci
- 24-Mar-18: PhD studentship on Automated Black-box Verification of Networking Systems at University College London. http://bit.ly/2py4rG4 #PhD #CompSci
- 24-Mar-18: Multiple positions at FAU Erlangen/Nürnberg for the following projects: “Argumentation logics manager & argument context graph” and “Open digital research environment toolkit for the advancement of Mathematics” http://bit.ly/2pBmScN #PhD #PostDoc #CompSci
- 24-Mar-18: Postdoctoral research position in cybersecurity at Inria Rennes, Brittany, France. http://bit.ly/2pAxB7i #PostDoc #CompSci
- 24-Mar-18: A post-doctoral position on the formal proof of the GNU MPFR library. http://bit.ly/2pBoDqp #PostDoc #CompSci
- 24-Mar-18: Obsidian Systems is looking for developers to work on full-stack Haskell web and mobile applications. http://bit.ly/2pzPhAa #Job #Haskell
- 22-Mar-18: Assistant Professor in Computer Science directed towards Logic of Programs. Stockholm University, Sweden http://bit.ly/2pvXwgt #Job #CompSci
- 22-Mar-18: Formal methods internship at Toyota ITC. http://bit.ly/2pvKzTM #PhD #CompSci
- 22-Mar-18: Postdoctoral position in “A new dawn of intuitionism”, Leeds (England). http://bit.ly/2DLR2OO #PostDoc #Logic
- 17-Mar-18: Data61 seeking junior proof engineers. http://bit.ly/2GBYy1F #Job #CompSci
- 17-Mar-18: Data61 seeking senior proof engineers. http://bit.ly/2FNrD97 #Job #CompSci
- 17-Mar-18: Haskell position in evolutionary bioinformatics at American Museum of Natural History (New York). http://bit.ly/2FH1qgt #Job #Haskell
- 15-Mar-18: Post-doc on formal proofs about the floating-point evaluation of polynomials in Orsay, France. http://bit.ly/2FCPFaN #PostDoc #CompSci
- 13-Mar-18: The University of Leeds School of Mathematics is looking for a Research Fellow to join our project “A new dawn of intuitionism,” which seeks to address contemporary foundational concerns from the intuitionistic point of view. http://bit.ly/2FxhSA5 #PostDoc #Logic #CompSci
- 09-Mar-18: Becas para cursar Másteres Universitarios en la Universidad de Sevilla 2018/2019. http://bit.ly/2GeZ4ml
- 09-Mar-18: IOHK is looking for a talented, functional compiler engineer. The candidate will be responsible for designing and implementing functional programming languages for next-generation blockchain smart contract systems. http://bit.ly/2FxgNEh #Job #FunctionalProgramming #Haskell
- 08-Mar-18: QFPL (Queensland Functional Programming Lab) is hiring 5 functional programmers in Brisbane, Australia. http://bit.ly/2FsxQr3 #Job #Haskell
- 08-Mar-18: The Institute of Computer Science of the Czech Academy of Sciences (ICS), Prague, Czech Republic, is seeking a postdoctoral researcher to complement the team for the project “Non-classical logical models of information dynamics”. http://bit.ly/2G9KJYl #PosDoc #CompSci
- 08-Mar-18: Professor Kaltofen’s NSF grant “AF: Small: Symbolic Computation with Certificates, Sparsity and Error Correction” funds a 2-years postdoc to perform research in the areas of the the grant. North Carolina State University http://bit.ly/2FoWf0w #PosDoc #CompSci
- 08-Mar-18: The Center for Computation and Technology of Louisiana State University is looking for a Postdoc in the field of Combinatorial Optimization. http://bit.ly/2G6fNrM #PosDoc #CompSci
- 06-Mar-18: Postdoc at the Center for algorithms and machine learning at Indiana University Bloomington. http://bit.ly/2FX246D #PostDoc #CompSci
- 05-Mar-18: The Microsoft Research-INRIA Joint Centre is offering a 24-month position for a research engineer to contribute to the design and further development of the TLA+ Proof System. http://bit.ly/2D2AYYx #PostDoc #CompSci
- 05-May-18: Post-doctoral position: Compiling recursive functions to inductive definition in Coq. http://bit.ly/2FWGGhU #PostDoc #CompSci
- 05-Mar-18: Two postdoc positions at Imperial: “Security analysis for graphics drivers”, and “Programming language and system support for high-performance data processing” http://bit.ly/2CYAEKx #PostDoc #CompSci
- 05-Mar-18: 16 PhD Positions on Logical Methods in Computer Science. The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund. http://bit.ly/2CYCWJE #PhD #CompSci #Logic
- 01-Mar-18: Software engineer job situated in a PL research group. The work will be largely about sandboxing, containerization, and other low level systems stuff, but all the high-level software in the group is written in Haskell. http://bit.ly/2F2K1dO #Job #CompSci #Haskell
- 01-Mar-18: PhD student position in computational social choice, Amsterdam (The Netherlands). http://bit.ly/2F4oamh #PhD #CompSci
- 01-Mar-18: PhD position in computational linguistics, Utrecht (The Netherlands). http://bit.ly/2FGmgcO #PhD #CompSci
- 27-Feb-18: Postdoctoral research at Stanford University under Professor Clark Barrett. http://bit.ly/2F1aNTQ #PostDoc #CompSci
- 26-Feb-18: PhD student positions in modal logic for granularity and spatial knowledge representation, Leeds (England). http://bit.ly/2FA79S3 #PhD #Logic
- 26-Feb-18: Postdoctoral fellowship in logic in CS, Groningen (The Netherlands). http://bit.ly/2FyQzSJ #PostDoc #Logic #CompSci
- 24-Feb-18: Backend Haskell engineer job at Holmusk in Singapore. http://bit.ly/2FyYLlU #Job #Haskell
- 23-Feb-18: Postdoc at Department of Computer Science, University of Copenhagen. The project focuses on algorithms theory for graph problems. http://bit.ly/2FqyuGm #PostDoc #CompSci
- 23-Feb-18: Postdoc in formal methods / game theory / machine learning for controller synthesis at UMONS, Belgium. http://bit.ly/2FsnEiQ #PostDoc #CompSci
- 23-Feb-18: PhD positions in Theoretical Computer Science at ETH Zürich. http://bit.ly/2EQ3iyX #PhD #CompSci
- 23-Feb-18: The IT University of Copenhagen seeks PhD student to the type theories for reactive programming project. http://bit.ly/2EQoUeC #PhD #CompSci
- 23-Feb-18: PhD position in formal methods for security. Technical University of Denmark. http://bit.ly/2EOE0BA #PhD #CompSci
- 21-Feb-18: Postdoctoral researcher in programming languages and machine learning n the Computer Science & Engineering department at Penn State. http://bit.ly/2GzY2QO #PostDoc #CompSci
- 21-Feb-18: Tsuru Capital is hiring Haskellers! Full-time and interns in Tokyo, Japan: http://bit.ly/2HyIwFU #Job #Haskell
- 21-Feb-18: The National Institute of Aerospace (NIA), located in Hampton, Virginia, has an opening for the position of Research Scientist to work on research and development of theorem proving technology for the formal verification of autonomous systems. http://bit.ly/2GAeKPF #Job #CompSci #ITP
- 17-Feb-18: PhD and Postdoc positions at IRISA/Inria Rennes: Formal verification with Coq. http://bit.ly/2Gmx1Qy #PhD #PostDoc #CompSci
- 15-Feb-18: PhD position at the University of Birmingham: higher categories, quantum computing, formal proof. http://bit.ly/2HiTS0z #PhD #CompSci
- 15-Feb-18: Doctoral student funding at Boston University: formal methods for cryptography. http://bit.ly/2Ggp6nK #PhD #CompSci
- 15-Feb-18: PhD position on high-level synthesis of neural networks for FPGAS with LIFT. http://bit.ly/2HhAWiI #PhD #CompSci
- 15-Feb-18: The Centre for Quantum Technologies at the National University of Singapore invites applications for a Postdoctoral Research Fellowship in its Computer Science Group in the broad area of quantum-safe cryptography. http://bit.ly/2Gf64ya #PostDoc #CompSci
- 15-Feb-18: The algorithms group in Duke Computer Science invites applications for a postdoctoral position. Candidates in geometric algorithms and data structures are of particular interest. http://bit.ly/2HhPIGg #PostDoc #CompSci
- 10-Feb-18: Post-doc position in programming language theory / practice, computing science, University of Glasgow. http://bit.ly/2G59LGJ #PostDoc #CompSci
- 08-Feb-18: PhD position: Software engineering, formal methods, highly configurable systems (Gothenburg, Sweden). http://bit.ly/2GZzCB3 #PhD #CompSci
- 07-Feb-18: Sr. formal verification engineer careers at Intel in Hillsboro, OR. http://intel.ly/2FUIzuh #Job #CompSci
- 07-Feb-18: Postdocs to work in a small, agile team at NASA Ames Research Park in Silicon Valley on the multi-year QUASAR project (Quantifiable Assurance Cases for Trusted Autonomy), part of the US Defense Advanced Research Projects Agency (DARPA) Assured Autonomy research program. http://bit.ly/2GXfFem #PostDoc #CompSci
- 06-Feb-18: ERC funded RA (PostDoc) position in formal verification at University of Leicester. http://bit.ly/2GTylf1 #PostDoc #CompSci
- 05-Feb-18: Multiple PhD and Postdoc positions, security and privacy group, TU Wien, Austria. http://bit.ly/2sg6oe7 #PhD #PostDoc #CompSci
- 04-Feb-18: Kadena is hiring Haskell developers. http://bit.ly/2GMHBl1 #Jobs #Haskell
- 04-Feb-18: Postdoctoral fellowship on “Nonstandard methods for Ramsey theory”, Vienna (Austria). http://bit.ly/2GL1cSH #PostDoc #CompSci
- 02-Feb-18: 16 PhD positions on logical methods in computer science in Austria. http://bit.ly/2rZepng #PhD #Compsci
- 02-Feb-18: PhD student positions in theoretical computer science, Loughborough (England). http://bit.ly/2GGjzYO #PhD #Compsci
- 02-Feb-18: Postdoctoral fellowship in mathematical logic, Stockholm (Sweden). http://bit.ly/2s1lROQ #PosDoc #CompSci
- 28-Ene-18: Postdoc in Quantum Computing / Quantum Algorithms. University of Tartu, Estonia. http://bit.ly/2rIv5PT #PostDoc #CompSci
- 26-Ene-18: PhD student position: applications of finite semigroups in formal verification. Loughborough University (England). http://bit.ly/2rE7Qqd #PhD #CompSci
- 26-Ene-18: PhD studentship: String logics for query languages. Loughborough University (England). http://bit.ly/2GflMdn #PhD #CompSci
- 26-Ene-18: Postdoctoral Fellow in Mathematical Logic, Stockholm University. http://bit.ly/2GjEctq #PostDoc #Logic
- 26-Ene-18: Postdoctoral position and PhD student position in Algorithms, Potsdam (Germany). http://bit.ly/2Gj0ifP #PhD #PostDoc #CompSci
- 26-Ene-18: Postdoctoral position in logic, Gothenburg (Sweden). http://bit.ly/2FLrH9W #PostDoc #Logic
- 23-Ene-18: Two research assistant positions in satisfiability testing and computational modeling of human reasoning, Dresden (Germany). http://bit.ly/2rrFsr8 #PhD #CompSci
- 23-Ene-18: Three PhD student scholarships in computer science (including computational logic, formal languages), Tbilisi (Georgia). http://bit.ly/2G9IYdd #PhD #CompSci
- 23-Ene-18: Open positions in Tokyo: Formal methods and cyber-physical systems. http://bit.ly/2G7re2b #PostDoc #CompSci
- 18-Ene-18: 2 postdoc positions in distributed systems verification at University of Lugano and TU Darmstadt. http://bit.ly/2rjjXIZ #PostDoc #CompSci
- 17-Ene-18: Various PhD student funding opportunities in theoretical computer Science, Swansea (Wales). http://bit.ly/2E65JN6 #PhD #CompSci
- 17-Ene-18: PhD position available, Imperial College London on the analysis and verification of concurrent and web programs. http://bit.ly/2EOoPb6 #PhD #CompSci
- 17-Ene-18: Research Associate Univ. de Cambridge: The project is entitled “How to (re)represent it?” and is led by Dr Mateja Jamnik. http://bit.ly/2FNrh2L #PhD #PostDoc #CompSci
- 17-Ene-18: Postdoc at Imperial College London on detecting and surviving exploitable compiler bugs. http://bit.ly/2EM6N9p #PostDoc #CompSci
- 17-Ene-18: Postdoc positions at the University of Pennsylvania to work on projects related to verification, software specification, and security. http://bit.ly/2FJBUUj #PostDoc #CompSci
- 17-Ene-18: Postdoctoral Fellowships at Trinity College Dublin supervised by staff members of the Foundations, Methods & Programming Languages Group. http://bit.ly/2EPs5Tn #PostDoc #CompSci
- 17-Ene-18: Two PhD positions on analysis and verification at the University of Chieti-Pescara in Italy. http://bit.ly/2ENntND #PhD #CompSci
- 17-Ene-18: Post-doc position at the Department of Computer Science and Engineering (University of Bologna, Italy) on: “Formal methods: description and analysis of distributed systems”. http://bit.ly/2EOaUSf #PostDoc #CompSci
- 17-Ene-18: Post-doc “A formally verified symbolic interpreter for the CoLiS language”. INRIA, Orsay http://bit.ly/2FMgypo #PostDoc #CompSci
- 17-Ene-18: Postdoctoral Researcher in Logic. University of Gothenburg. http://bit.ly/2FLrH9W #PostDoc #Logic
- 04-Ene-18: PhD student position in SAT solving, Stockholm (Sweden). http://bit.ly/2E8mYO1 #PhD #CompSci
- 04-Ene-18: Various PhD student funding opportunities in theoretical computer Science, Swansea (Wales). http://bit.ly/2E65JN6 #PhD #CompSci
- 25-Dic-17: Postdoctoral positions in complexity theory, Stockholm (Sweden). http://bit.ly/2pyD29t #PostDoc #CompSci
- 25-Dic-17: Postdoctoral positions in algorithms and optimization with emphasis on theoretical aspects of machine learning at EPFL. http://bit.ly/2prKfrB #PostDoc #CompSci
- 21-Dic-17: PhD position in computer science focused on SAT Solving at KTH Royal Institute of Technology. http://bit.ly/2DloRqQ #PhD #CompSci
- 21-Dic-17: Postdoc position in computer science focused on SAT solving at KTH Royal Institute of Technology. http://bit.ly/2p2IjFN #PhD #CompSci
- 21-Dic-17: Postdoc at CMU or a project in formal verification, dynamical systems, and constructive analysis. http://bit.ly/2p2koGB #PostDoc #CompSci
- 21-Dic-17: PhD student position in Cognitive Reasoning, Wernigerode (Germany). http://bit.ly/2p3WgU6 #PhD #CompSci
- 21-Dic-17: PhD student position in knowledge representation and reasoning techniques, Ulm (Germany). http://bit.ly/2p4GEQb #PhD #CompSci
- 12-Dic-17: Fully-funded PhD Studentship at Oxford in machine learning for verification. http://bit.ly/2nU7ObK #PhD #CompSci
- 12-Dic-17: Postdoctoral research associate in proof-driven query planning (2 posts). University of Oxford. http://bit.ly/2nSqvg4 #PostDoc #CompSci
- 12-Dic-17: PhD positions at the University of Pennsylvania in programming languages and formal methods. http://bit.ly/2nXniMr #PhD #CompSci
- 12-Dic-17: PhD position at Aalborg University: Compositional verification of real-time multi-core safety critical systems. http://bit.ly/2C5LE9D #PhD #CompSci
- 12-Dic-17: PhD student positions in computer science (“logic for agents”), Nottingham (England). http://bit.ly/2nRBExP #PhD #CompSci
- 10-Dic-17: Postdoctoral researcher in Logic. University of Gothenburg. http://bit.ly/2nLvAGN #PostDoc #Logic
- 09-Dic-17: 10 fully-funded PhD studentships. University of Nottingham - Computer Science. http://bit.ly/2nMls0I #PhD #CompSci
- 09-Dic-17: The School of Computer Science in Nottingham is advertising 10 fully-funded PhD studentships. Applicants in the area of the Functional Programming Lab are encouraged! http://bit.ly/2AnUGl7 #PhD #CompSci
- 04-Dic-17: PhD studentship in applications of logic and category theory to the semantics of non-classical computational models, London (England). http://resources.illc.uva.nl/LogicList/newsitem.php?id=8659 #PhD #CompSci
- 01-Dic-17: One year fellowship in Padova on “Homotopy type theoretic aspects within he Minimalist Foundation”. http://bit.ly/2nKEeFt #PhD #Logic #CompSci
- 27-Nov-17: Multiple Ph.D. positions in the Software Factory 4.0 project at TU Darmstadt. http://bit.ly/2hYqeCx #PhD #CompSci
- 23-Nov-17: 2 studentships in Swansea Railway Verification Group on formal modelling, analysing and testing of real time systems. http://bit.ly/2nL1Yt9 #PhD #CompSci
- 23-Nov-17: Job offer on formalizing complexity and termination techniques at the University of Innsbruck. http://bit.ly/2jsqslu #PhD #PostDoc #CompSci
- 22-Nov-17: PhD student positions in homotopy type theory, Pittsburgh PA (U.S.A.). http://resources.illc.uva.nl/LogicList/newsitem.php?id=8656 #PhD #CompSci
- 19-Nov-17: PhD positions at CMU for students interested in doing research in type theory, homotopy theory, (higher) category theory, and related areas. http://bit.ly/2hL7gzd #PhD #CompSci
- 17-Nov-17: PhD studentship on “The ethics of AI”, Oxford (England). http://bit.ly/2hLGLtk #PhD #AI
- 16-Nov-17: Two postdoctoral positions on interpretable vector space models, Cardiff (Wales). http://bit.ly/2zZji2c #PostDoc #CompSci
- 14-Nov-17: Postdoc Positions at The University of Pennsylvania to work on projects related to verification, software specification, and security. http://bit.ly/2A1BKr6 #PostDoc #CompSci
- 13-Nov-17: Open Postdoc position on higher-order model checking, at the University of Tokyo, Japan. http://bit.ly/2zZcsJU #PostDoc #CompSci
- 31-Oct-17: Data61 seeking proof engineers. http://bit.ly/2gYurJy #Job #CompSci
- 31-Oct-17: Data61 seeking senior proof engineers. http://bit.ly/2gYurJy #Job #CompSci
- 31-Oct-17: #PostDoc in the project “Algorithms that count: exploring the limits of tractability” at Queen Mary, London. http://bit.ly/2gZ7Oo9 #CompSci
- 31-Oct-17: PhD student position in Artificial Intelligence, Mannheim (Germany). http://bit.ly/2gXMu2H #PhD #CompSci
- 30-Oct-17: #Job opening at Symbiont in New York City: advanced type systems and/or formal verification techniques. http://bit.ly/2gWUL6R #CompSci
- 26-Oct-17: Research Fellowship to work on Homotopy Type Theory. http://bit.ly/2z8eFTZ #PostDoc #CompSci
- 25-Oct-17: Postdoctoral position in formal semantics and compiler verification http://eapls.org/items/2641 #PostDoc #CompSci
- 20-Oct-17: Postdoc in algorithmic economics, New York City NY (U.S.A.). http://bit.ly/2gYxHVk #PostDoc #CompSci
- 16-Oct-17: PhD student position in Artificial Intelligence (computational models of strategic behaviour), Warwick (England). http://bit.ly/2yurshX #PhD #CompSci
- 14-Oct-17: Postdoctoral position in natural language processing and knowledge representation. https://yhoo.it/2znEdJl #PostDoc #CompSci
- 11-Oct-17: Two PhD student positions in formal verification, Columbia MO (U.S.A.). http://bit.ly/2znQPR4 #PhD #CompSci
- 11-Oct-17: PhD student positions in theoretical computer science, Stockholm (Sweden). http://bit.ly/2zlHjO5 #PhD #CompSci
- 09-Oct-17: PostDoc position: “Specification and verification of quantum programming languages” at CEA and Uni. Paris Sud, France http://bit.ly/2y5V0TJ #PostDoc #CompSci
- 04-Oct-17: PhD student position on formal verification of security and privacy. Guildford (England). http://bit.ly/2xWfzPQ #PhD #CompSci
- 01-Oct-17: PhD student grants (in particular, mathematical logic and set theory), Hamburg (Germany). http://bit.ly/2xJ4gwO #PhD #Logic
- 01-Oct-17: #PostDoc and #PhD in applying formal verification to new biological computing devices. Israel. http://bit.ly/2xKyWhi #CompSci
- 28-Sep-17: PhD studentship in software engineering/programming languages in New York City. http://bit.ly/2xGwSXk #PhD #CompSci
- 28-Sep-17: Postdoctoral researcher position in the Security of Software Lab at the Pennsylvania State University. http://bit.ly/2xGwLem #PostDoc #CompSci
- 28-Sep-17: fortiss GmbH: Open-minded and pragmatic researcher. http://bit.ly/2xDFPhH #Job #CompSci
- 24-Sep-17: Two research associates in software testing, security and programming languages. Imperial College London. http://bit.ly/2fPv1Wm #PostDoc #CompSci
- 22-Sep-17: Haskell job opportunity at RELEX Solutions in Helsinki, Finland. http://bit.ly/2xkvNob #Job #Haskell
- 21-Sep-17: Research associate in testing web browser security. Imperial College London, http://bit.ly/2xlaLWe #PostDoc #CompSci
- 19-Sep-17: Postdoctoral positions in automated reasoning at Stanford University. http://bit.ly/2fFI6RV #PostDoc #CompSci
- 18-Sep-17: PhD positions in Software Technology at Lund University. http://bit.ly/2ftDNc5 #PhD #CompSci
- 18-Sep-17: Postdoc positions in Software Technology at Lund University. http://bit.ly/2fttiWk #PostDoc #CompSci
- 14-Sep-17: PhD studentships in computing at Imperial College London. http://bit.ly/2y8hr7S #PhD #CompSci
- 14-Sep-17: Postdoctoral position in SAT solving, Stockholm (Sweden). http://bit.ly/2y8h0dK #PostDoc #CompSci
- 12-Sep-17: PhD research fellow position in Proof Engineering Technologies in Probabilistic Programming and Software Verification. http://bit.ly/2xhLhJh #PhD #CompSci
- 12-Sep-17: PhD positions in “Verification of Quantum Cryptography” http://bit.ly/2eSaAH7 #PhD #CompSci
- 12-Sep-17: Researcher positions (postdoc) in “Verification of Quantum Cryptography”. http://bit.ly/2eRzd71 #PostDoc #CompSci
- 10-Sep-17: PhD student positions in mathematics, Helsinki (Finland). http://bit.ly/2eRY4aO #PhD #Logic
- 09-Sep-17: Functional Jobs: Backend Ruby and Haskell engineer at Health eFilings (Full-time) http://bit.ly/2xV9zq4 #Jobs #Haskell
- 08-Sep-17: A PhD position in the area of “Formal methods for requirements validation of resilient systems” in Trento. http://bit.ly/2eSrNQG #PhD #CompSci
- 07-Sep-17: Concurrency/verification positions at Politecnico di Milano. http://bit.ly/2wIGqzQ #PostDoc #CompSci
- 06-Sep-17: Call for Inria postdoc applications in formal methods for security. http://bit.ly/2wJsQwe #PostDoc #CompSci
- 06-Sep-17: Open positions in Tokyo: Formal methods and cyber-physical systems. http://bit.ly/2wJM8BM #PhD #PostDoc #CompSci
- 01-Sep-17: Position of Junior Quant Researcher at ARFIMA. http://bit.ly/2wXoBhW #PostDoc #Math #CompSci
- 31-Ago-17: Postdoctoral research associate in verifiable autonomous robotics within hazardous environments. Univ. Liverpool http://bit.ly/2x7sBf2 #PostDoc #CompSci
- 28-Ago-17: Two PhD Positions in social network analysis.http://bit.ly/2wZdc03 #PhD #CompSci
- 26-Ago-17: Six full professorships in computing (including algorithms & complexity), Leeds (England). http://bit.ly/2vzHJ1d #Jobs #CompSci
- 26-Ago-17: PhD student position in software testing and verification at Mälardalen University http://bit.ly/2wGKT7k #PhD #CompSci
- 17-Ago-17: Research position in formal methods for intelligent cars. http://bit.ly/2vXKtYO #PostDoc #CompSci
- 14-Ago-17: Academic position at University of Glasgow, Scotland (UK). http://bit.ly/2vX50wu #PostDoc #CompSci
- 09-Ago-17: PhD student position in correct parallel algorithms, Leiden (The Netherlands). http://bit.ly/2vRHzpB #PhD #CompSci
- 04-Ago-17: PhD research fellow position in Proof Engineering Technologies in Probabilistic Programming and Software Verification http://bit.ly/2ujNDD7 #PhD #CompSci
- 04-Ago-17: Postdoc in program semantics at Appalachian State University. http://bit.ly/2vIwyWN #PostDoc #CompSci
- 04-Ago-17: Research assistant / associate in disciplined approximate arithmetic. Imperial College London. http://bit.ly/2vIb0cP #PhD #PostDoc #CompSci
- 30-Jul-17: Postdoctoral position on effects and/or type theory at Inria in Nantes. http://bit.ly/2ukpXy4 #PostDoc #CompSci
- 26-Ju-17: #PostDoc in the project “Semantics, formal reasoning, and tool support for quantum programming”. Tulane Univ. http://bit.ly/2tLR7Sn #CompSci
- 27-Jul-17: Postdoc position in program verification at Carnegie Mellon University, Silicon Valley http://bit.ly/2ujNOhv #PostDoc #CompSci
- 25-Jul-17: #Job: Software engineer, static analysis at Facebook. https://www.facebook.com/careers/jobs/a0I1200000LT8aA #CompSci
- 24-Jul-17: #PhD / #PostDoc position to work in the Tyrex group at INRIA/UGA/CNRS in Grenoble, France. http://bit.ly/2tM44Md #CompSci
- 23-Jul-17: #PhD studentship in verification of security and privacy in modern threat landscapes. Univ. of Surrey http://bit.ly/2uryLmN #CompSci
- 21-Jul-17: #PostDoc and #PhD positions in security & concurrency with formal methods. TU Darmstadt. http://bit.ly/2vMzRc7 #CompSci
- 20-Jul-17: #PostDoc research position in theorem proving at University of Manchester, UK. http://bit.ly/2vMNQyG #CompSci
- 19-Jul-17: Open PhD positions with a particular focus on Formal Verification. University of Lübeck https://goo.gl/j9Co2y #PhD #CompSci
- 17-Jul-17: #PostDoc researcher and (senior) research associate/scientist positions on automatic software analysis, transformation, and security hardening at Penn State University. http://bit.ly/2vMOrAJ #CompSci
- 15-Jul-17: Postdoctoral fellowship in computational models of reasoning, Washington DC (U.S.A.). http://bit.ly/2tszQc4 #PostDoc #CompSci
- 14-Jul-17: #PhD/#PostDoc position at the programming languages group. University of Freiburg. http://bit.ly/2vMx2Ii #CompSci
- 11-Jul-17: Postdoc (PhD) position @ MPI-SWS in software verification and approximate computing. http://bit.ly/2tsLFyR #PhD #PostDoc #CompSci
- 10-Jul-17: #Postdoctoral fellowship at the interface between algebraic topology and neuronal systems. BCAM. http://bit.ly/2v2QUqh #Math #CompSci
- 07-Jul-17: Funded PhD studentship: Integrating automated provers in proof assistants. http://bit.ly/2v2XOvo #PhD #CompSci
- 04-Jul-17: Funded PhD positions at Edinburgh verifying embedded ARM security. http://bit.ly/2u4mXJg #PhD #CompSci
- 30-Jun-17: #PostDoc position within the project “Translating and discovering calculi for modal and related logics” http://bit.ly/2u4qfMg #Logic #CompSci
- 29-Jun-17: Programa de becas de movilidad académica entre instituciones asociadas a la AUIP (Asociación Universitaria Iberoamericana de Postgrado) 2017. http://www.auip.org/es/becasauip
- 29-Jun-17: Programa de becas de movilidad entre universidades andaluzas e iberoamericanas 2017. http://www.auip.org/es/becasauip
- 27-Jun-17: Postdoctoral position on first-order theory of rewriting, Innsbruck (Austria). http://bit.ly/2u3XgZ5 #PostDoc #CompSci
- 26-Jun-17: Research associate in approximate computing with application to machine learning. http://bit.ly/2v2Np39 #PhD_CompSci
- 22-Jun-17: PostDoc position within the project “Communication contracts for distributed systems development”. Univ. of Lisbon. http://bit.ly/2v2HTxo #PosDoc_CompSci
- 22-Jun-17: EPSRC Funded PhD Studentship: Testing from verified test-models for ERTMS level 2 at Swansea, UK http://bit.ly/2rG4sqv #PhD #CompSci
- 22-Jun-17: A 3 year PhD with Grenoble University on service composition for safety and security. http://bit.ly/2rFI6W3 #PhD #CompSci
- 20-Jun-17: #Postdoc and #PhD positions in the ERC grant “A rigorous approach to consistency in cloud databases” at IMDEA, Madrid http://bit.ly/2sZc4Z3 #CompSci
- 20-Jun-17: Twelve #PhD student positions in “Uncertainty & randomness in algorithms, verification & logic”, Aachen (Germany) http://bit.ly/2rFEjbn #CompSci
- 19-Jun-17: Three #PhD positions in Security and Privacy at the University of Luxembourg. http://bit.ly/2sYD22O #CompSci
- 13-Jun-17: #PhD student position in proof theory, Gothenburg (Sweden). http://bit.ly/2sYX90P #Logic
- 10-Jun-17: #PhD student position and #postdoctoral position in program logics, Erlangen (Germany). http://bit.ly/2sYLfnv #CompSci
- 08-Jun-17: #PhD and #Postdoc position in monad-based programming and verification at FAU. http://bit.ly/2sYRjNb #CompSci
- 06-Jun-17: #PhD on lambda-calculus, in Paris. http://bit.ly/2sYDHkY #Logic #CompSci
- 03-Jun-17: 2 #postdoct positions in a project concerned with the formalisation of mathematics within Isabelle/HOL. Cambridge (England) http://bit.ly/2rFQuF1
- 03-Jun-17: Three #postdoctoral research associates on interactive theorem proving, Cambridge (England) http://bit.ly/2sZ1p0g #CompSci
- 01-Jun-17: #Postdoc position in the project “FORTissimo: Automating the first-order theory of rewriting” at Innsbruck. http://bit.ly/2rFKCLQ #CompSci
- 30-May-17: #Postdoct position on graph data mining and anomaly detection. http://bit.ly/2rFyM4A #CompSci
- 23-May-17: #Postdoct position in program analysis at the University of Colorado Boulder. http://bit.ly/2sYVkRz #CompSci
- 20-May-17: #Postdoct researcher and (senior) research associate/scientist positions at Penn State University. http://bit.ly/2sZ0Zab #CompSci
- 20-May-17: #PostDoc position on the topic of certified cost analysis of functional programs at Wesleyan University. http://bit.ly/2q3vnM1 #CompSci
- 20-May-17: PostDoc in the project NSF “Relaxing soundness” at DePaul University. http://bit.ly/2q3lIoF #PostDoc #CompSci
- 20-May-17: Research position in Program Verification and Security. http://bit.ly/2q30Qhg #PostDoc #CompSci
- 14-May-17: 22 PhD student positions in autonomous systems and software. http://bit.ly/2pKfiuE #PhD #CompSci
- 14-May-17: Assistant Professor in Mathematics. KU Leuven University. http://bit.ly/2pKeRk0 #Job #Math
- 14-May-17: Postdoctoral research fellowship (2y) in dynamical multi-agent systems, Stockholm (Sweden). http://bit.ly/2pKIdi7 #PostDoc #CompSci
- 14-May-17: Two PhD student positions in computational linguistics, Utrecht (The Netherlands) http://bit.ly/2pKRPt2 #PhD #CompSci
- 14-May-17: PhD student and postdoctoral positions in Information Security, Stuttgart (Germany). http://bit.ly/2pKRwyi #PhD #PostDoc #CompSci
- 14-May-17: PhD student position on agent-based modeling of drones in France. http://bit.ly/2pKxPH0 #PhD #CompSci
- 14-May-17: PhD position in Groningen on concurrency theory / semantics / process calculi. http://bit.ly/2pKRbvC #PhD #CompSci
- 14-May-17: Researcher positions (postdoc) in “Verification of quantum cryptography” at the University of Tartu, Estonia. http://bit.ly/2pKJaHe #PostDoc #CompSci
- 14-May-17: Open PostDoc and Ph.D. positions in concurrency and software security at TU Darmstadt, Germany. http://bit.ly/2r5Pmxr #PhD #PosDoc #CompSci
- 14-May-17: Haskell development jobs with Well-Typed. http://bit.ly/2reTbh5 #Haskell #Jobs
- 14-May-17: Haskell startup jobs. https://angel.co/haskell/jobs #Haskell
- 12-May-17: Galois is hiring. ~ Daniel Wagner http://bit.ly/2q7MXz7 #Job #CompSci
- 12-May-17: PhD student position on functional heterogenous systems, in the functional programming group at Chalmers http://bit.ly/2q7JTmy #PhD #CompSci
- 11-May-17: Researcher positions in HoTT at Carnegie Mellon University. http://bit.ly/2q6pYEB #PostDoc #CompSci
- 11-May-17: Postdoc position at MPI-SWS, Kaiserslautern, Germany. http://bit.ly/2q6ozxN #PostDoc #CompSci
- 05-May-17: Assistant Professorship in Theoretical Foundations of Computer Science, Umea (Sweden). http://bit.ly/2qKK3zu #Job #CompSci
- 05-May-17: PostDoc in the project “Multivariate algorithms: new domains and paradigms”. Univ. of Bergen, Norway http://bit.ly/2qKS4EK #PostDoc #CompSci
- 04-May-17: Software Engineering/Research Intern - Galois, Inc. http://bit.ly/2pD1IeZ #Job #CompSci #Haskell
- 04-May-17: #PhD and #PostDoc positions in the project “Strong modular proof assistance: reasoning across theories”. Innsbruck. http://bit.ly/2pCSz61 #CompSci
- 04-May-17: PhD position on security and privacy of location-based services at Chalmers, Sweden. http://bit.ly/2pCNlav #PhD #CompSci
- 04-May-17: Kernkonzept seeks outstanding formal-methods experts to join their team in Dresden, Germany. http://bit.ly/2pCHQbN #Job #CompSci
- 04-May-17: 1-2 PhD positions on combining formal methods and machine learning (U. of Oslo). http://bit.ly/2pCVThz #PhD #CompSci
- 04-May-17: Research (postdoc or graduate) position in program verification and security. http://bit.ly/2qD2rdJ #PhD #PostDoc #CompSci
- 03-May.17: Haskell engineering role working on data security. http://hubs.ly/H07llVW0 #Job #Haskell
- 03-May-17: Research (postdoc or graduate) position in program verification and security. http://bit.ly/2qD2rdJ #PostDoc #CompSci
- 03-May-17: PhD position in the field of programming techniques and programming languages. U Tuebingen, Germany. http://bit.ly/2qCLBM7 #PhD #CompSci
- 28-Abr-18: Summer contracting opportunity for CodeWorld. #Job #Haskell https://mail.haskell.org/pipermail/haskell-cafe/2017-April/126903.html
- 23-Abr-17: #PhD student position in software engineering, highly configurable systems, formal methods at Chalmers. Univ. of Gothenburg, Sweden http://bit.ly/2ppz3uL
- 23-Abr-17: Open positions in Tokyo: Metamathematics for systems design project. http://bit.ly/2ppBXj0 #Jobs #PostDoc #PhD #CompSci
- 23-Abr-17: OCaml jobs at genomics company in New York City. http://bit.ly/2ppBmy0 #Job #FunctionalProgramming
- 23-Abr-17: Postdoctoral position in automata theory, Lyon (France). http://bit.ly/2q3lhud #PostDoc #CompSci
- 23-Abr-17: PhD position: Order structures in bi-partite data, (at University of Kassel) http://bit.ly/2q3oR7B #PhD #CompSci
- 15-Abr-17: PhD position in Eindhoven on formal verification and GPU computing http://bit.ly/2phVXE2 #PhD #CompSci
- 12-Abr-17: #PostDoc position at Wesleyan University on the topic of certified cost analysis of functional programs. http://bit.ly/2o4LhDU #CompSci
- 11-Abr-17: #PostDoc position at Queen Mary with a strong background in programming languages and verification. http://bit.ly/2omFi0w #CompSci
- 10-Abr-17: #PostDoc position: source-code level program verification. Singapore Univ. of Technology and Design http://bit.ly/2oXrSGC #CompSci
- 10-Abr-17: 2 #PhD positions and 1 #PostDoc position in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software. http://bit.ly/2oXyQLU #CompSci
- 10-Abr-17: #PhD positions at the University of Leicester: Type Theory, Logic in Computer Science, Verification, and Category Theory. http://bit.ly/2oXH078 #CompSci
- 10-Abr-17: Associate Professor (TF) of Theoretical Computer Science in Oxford. http://bit.ly/2oXsRa1 #Job #CompSci
- 10-Abr-17: #PostDoc position in machine learning for formal methods at Rice University. http://bit.ly/2oXwT29 #CompSci
- 10-Abr-17: #PostDoc research fellowship in algorithmic game theory, Warwick (England). http://bit.ly/2oXN4fD #CompSci
- 02-Abr-17: Associate Professorship in Logic (potentially tenure-track), Hangzhou (China). http://bit.ly/2mXS6vD #Job #Logic
- 02-Abr-17: Postdoctoral position (3y+3y) in mathematics (algebra or analysis or logic), Gent (Belgium). http://bit.ly/2mXUUss #PostDoc #Logic
- 02-Abr-17: PhD student positions in multi-agent systems, London (England). http://bit.ly/2mY087I #PhD #CompSci
- 27-Mar-17: Two PhD positions on CakeML and HOL at Chalmers, Sweden. http://bit.ly/2n8PyGb #PhD #CompSci
- 24-Mar-17: Positions in Swansea with opportunities in types, semantics, programming languages, verification, logic. http://bit.ly/2oedIjj #Job #CompSci
- 23-Mar-17: Postdoctoral research fellowship on category theory, North Ride NSW (Australia). http://bit.ly/2o9pj2W #PostDoc #Logic #CompSci
- 23-Mar-17: PhD student or postdoc position in description logic, Bremen (Germany). http://bit.ly/2o98mpl #PhD #PostDoc #CompSci
- 23-Mar-17: PhD student position in quantitative logics and automata, Dresden (Germany). http://bit.ly/2o91kB1 #PhD #CompSci
- 23-Mar-17: PhD student position in SAT solving, Stockholm (Sweden). http://bit.ly/2o955ql #PhD #Logic #CompSci
- 23-Mar-17: Postdoc position in proof theory in Paris. http://bit.ly/2o96VaC #PostDoc #Logic
- 23-Mar-17: Postdoc in semantics and tools for functional quantum programming languages. http://bit.ly/2o932CF #PostDoc #CompSci
- 23-Mar-17: Funded PhD studentship on formal verification for wireless sensor networks. University of Liverpool, UK http://bit.ly/2o92cWm #PhD #CompSci
- 23-Mar-17: #PostDoc on automated verification of properties of concurrent, distributed and parallel specifications. Copenhagen http://bit.ly/2nrQ5GZ #CompSci
- 05-Mar-17: PhD student position in logic for decision making in security, Bath (England). http://bit.ly/2mpFxaO #PhD #CompSci
- 04-Mar-17: PhD student positions in artificial intelligence, Manchester (England). http://bit.ly/2m6BmzS #PhD #CompSci #AI
- 04-Mar-17: PhD student position in homotopy type theory, Amsterdam (The Netherlands). http://bit.ly/2m6JkJp #PhD #Logic #CompSci
- 04-Mar-17: PhD student position in “Les Corses avaient-ils raison?”, Paris (France). http://bit.ly/2m71TNJ #PhD #CompSci
- 04.Mar-17: Postdoctoral researcher in Mathematical Logic and AI, Amsterdam (The Netherlands). http://bit.ly/2m6tK0C #PosDoc #CompSci
- 04-Mar-17: Assistant/Associate Professorship (tenure track) in computational linguistics, Trento (Italy). http://bit.ly/2mXwYky #Job #CompSci
- 02-Mar-17: Fully-funded PhD in Formal Verification at Oxford. http://bit.ly/2lWwWfc #PhD #CompSci
- 01-Mar-17: Convocatoria de becas Andalucia Open Future para alumnos de estudios de posgrado de la Universidad de Sevilla. http://bit.ly/2mf5LwR
- 01-Mar-17: Santander Universidades convoca 31 Becas Iberoamérica para estudiantes de la US. http://bit.ly/2mf3dPw
- O1-Mar-17: Postdoc at Inria/Irisa on translation validation from Liquid Haskell http://bit.ly/2meLsjb #PosDoc #CompSci #Haskell
- 01-Mar-17: Postdoc position in Computer Science focused on SAT Solving at KTH Royal Institute of Technology. http://bit.ly/2meUJI9 #PostDoc #CompSci
- 01-Mar-17: PhD positions computational complexity at KTH Royal Institute of Technology. http://bit.ly/2meDHcY #PhD #CompSci
- 01-Mar-17: Ten PhD positions in “Computer Science” at the Gran Sasso Science Institute http://bit.ly/2meMuvA #PhD #CompSci
- 11-Feb-17: Postdoc at Sapienza University of Rome in the areas of algorithms, data mining and machine learning. http://bit.ly/2kfGf5I #CompSci
- 11-Feb-17: 2 postdocs in algorithmic game theory and dynamical systems. SUTD, Singapore http://bit.ly/2l3A5cX #PostDoc #CompSci
- 07-Feb-17: #PhD student position in logic & security, London (England) http://bit.ly/2lgj0NF #CompSci
- 07-Feb-17: Postdoc in sublinear/randomized algorithms at University of Warwick. http://bit.ly/2lm6eKv #PostDoc #CompSci
- 04-Feb-17: #PostDoc position at the University of Kent: “Verifying concurrent algorithms on weak memory models” project. http://bit.ly/2l7kpTo #CompSci
- 04-Feb-17: Postdoc position at IT University of Copenhagen: “Type theories for reactive programming” project. http://bit.ly/2l3rbgs #PostDoc #CompSci
- 03-Feb-17: Open PhD position to work on the SAPIC/Tamarin security protocol verification tool chain. Inria Nancy - Grand Est http://bit.ly/2l24iqr #PhD #CompSci
- 03-Feb-17: Functional programming for runtime verification of flight-critical systems | NASA. http://bit.ly/2jEsDW4 #Job #Haskell
- 02-Feb-17: Haskell developer roles at Standard Chartered. http://bit.ly/2kVqq5x #Job #CompSci
- 01-Feb-17: #PostDoc opening on communication contracts for distributed systems development. University of Lisbon. http://bit.ly/2jtU4ls #CompSci
- 01-Feb-17: Postdoctoral position on statistical program analysis and synthesis at Rice University http://bit.ly/2kPJ2nQ #PostDoc #CompSci
- 01-Feb-17: Research positions at Galois. http://bit.ly/2kPHKcl #Jobs #CompSci
- 29-Ene-17: PhD position: Formal methods in control (Munich, Germany). http://bit.ly/2kfn9jK #PhD #CompSci
- 29-Ene-17: A Postdoc position in Imperial College London. http://bit.ly/2kAuTdS #PostDoc #CompSci
- 29-Ene-17: Multiple research positions, “Type and proof structures for concurrent software verification” project, Madrid, Spain http://bit.ly/2kAnxqN #PhD #PostDoc #CompSci
- 27-Ene-17: Postdoc positions available for ERC “RustBelt” project on foundations of Rust. http://bit.ly/2k9NnVk #PostDoc #CompSci
- 25-Ene-17: PhD position in Systematic testing of concurrent programs at Uppsala University, Sweden. http://bit.ly/2ktUc0p #PhD #CompSci
- 20-Ene-17: Postdoc opening on weak memory concurrency at the Max Planck Institute for Software Systems (MPI-SWS). http://bit.ly/2iIpFzH #PostDoc #CompSci
- 18-Ene-17: #Job: Associate Professor/Professor of Automated Verification, with Tutorial Fellowship at St. John’s College, Univ. of Oxford. http://bit.ly/2iBSsWm #CompSci
- 14-Ene-17: 5 year postdoc position in computational logic. University of Innsbruck. http://bit.ly/2jiJn3K #PostDoc #CompSci
- 14-Ene-17: Postdoc in SDN verification and security at Edinburgh. http://bit.ly/2jiC8Jc #PostDoc #CompSci
- 14-Ene-17: Postdoc position in applied semantics for production architectures. http://bit.ly/2jiOyka #PostDoc #CompSci
- 11-Ene-17: PhD position at Durham University for work on Cadabra and related topics in symbolic computer algebra. http://bit.ly/2jjHphj #PhD #CompSci
- 09-Ene-17: Postdoc in algorithms at The Open University of Israel. http://bit.ly/2iWiL8C #PostDoc #CompSci
- 07-Ene-17: Postdoctoral position in artificial intelligence, Cardiff (Wales). http://bit.ly/2iMjr0s #PostDoc #CompSci
- 04-Ene-17: Postdoc in theoretical computer science at Duke University. http://bit.ly/2iyBEhW #PostDoc #CompSci
- 03-Ene-17: PhD student position in logic, Amsterdam (The Netherlands). http://bit.ly/2hK4aJb #PhD #Logic #CompSci
- 29-Dic-16: Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University. http://bit.ly/2hrmmqS #PhD #CompSci
- 24-Dic-16: 10+ Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems. http://bit.ly/2hbFNUn #PhD #PostDoc #CompSci
- 24-Dic-16: 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking. http://bit.ly/2inzKkC #PhD #CompSci
- 24-Dic-16: W3 Professorship in Machine Learning, Konstanz (Germany). http://bit.ly/2inxsCb #Job #CompSci
- 22-Dic-16: Software Engineering/Research Intern - Galois, Inc. http://bit.ly/2idFVYq #Job #CompSci #Haskell
- 21-Dic-16: PhD study on formal verification for wireless sensor networks. University of Liverpool. http://bit.ly/2ibX7Oc #PhD #CompSci
- 20-Dic-16: Full Stack Clojure Engineer at Wade & Wendy (Full-time) http://bit.ly/2gYqBKv #Job #Clojure
- 20-Dic-16: Postdoc position in provably secure systems, KTH Royal Institute of Technology, Stockholm, Sweden. http://bit.ly/2gYiA88 #PostDoc #CompSci
- 20-Dic-16: Se busca un investigador para el proyecto “Unidad mixta de investigación Repsol-ITMATI”. http://bit.ly/2gYBOKN #Trabajo #Matemáticas #Computación
- 20-Dic-16: Faculty positions in programming languages, and formal verification at Stevens (NYC area) http://bit.ly/2i3Wx4P #Job #CompSci
- 20-Dic-16: Assistant and associate professor openings at Aarhus University, Denmark. http://bit.ly/2gWiDkR #Job #CompSci
- 17-Dic-16: Postdoc position in applied semantics for production architectures. Univ. of Cambridge http://bit.ly/2hWiOle #PosDoc #CompSci
- 17-Dic-16: Two postdoc positions in quantum programming languages, at Dalhousie University. http://bit.ly/2gPgSGl #PosDoc #CompSci
- 17-Dic-16: Post-doc positions at ENS Lyon, in Computer Science and Mathematics. http://bit.ly/2gPgFCU #PostDoc #CompSci
- 17-Dic-16: Postdoc in computer science focused on SAT solving, KTH Royal Institute of Technology, Stockholm, Sweden. http://bit.ly/2gPnrZ6 #PostDoc #CompSci
- 17-Dic-16: PhD student position in logic and verification for AI, Utrecht (The Netherlands). http://bit.ly/2gPo0Cj #PdD #CompSci
- 17-Dic-16: #PostDoc positions in theoretical computer science, KTH Royal Institute of Technology, Stockholm, Sweden. http://bit.ly/2gPlWu2 #CompSci
- 17-Dic-16: #PhD positions in theoretical computer science, KTH Royal Institute of Technology, Stockholm, Sweden. http://bit.ly/2gPpyMw #CompSci
- 17-Dic-16: PhD student position in dependence logic, Auckland (New Zealand). http://bit.ly/2hWoefT #PhD #CompSci #Logic
- 17-Dic-16: #PhD and #PostDoc vacancy on normative and value-based reasoning for socially adaptive software, Delft (The Netherlands) http://bit.ly/2gPlCeW #CompSci
- 11-Dic-16: PhD positions on the AI4REASON project in Prague. http://bit.ly/2hja7ho #PhD #CompSci
- 10-Dic-16: Three open faculty positions at the Max Planck Institute for Software Systems. http://bit.ly/2gvDGOl #Job #CompSci
- 10-Dic-16: Associate/Assistant Professor in Programming Languages at the Technical University of Denmark. http://bit.ly/2heGH3G #Job #CompSci
- 10-Dic-16: Postdoc positions - Center for Advanced Software Analysis, Aarhus University http://bit.ly/2heEIfS #PostDoc #CompSci
- 10-Dic-16: Postdoc position in the area of formal verification at Middlesex University London, UK. http://bit.ly/2gvB570 #PostDoc #CompSci
- 10-Dic-16: PhD Candidate ‘Parameterized complexity of approximate Bayesian inferences’ Nijmegen (The Netherlands) http://bit.ly/2heMk1R #PhD #CompSci #Logic
- 10-Dic-16: The Chair of Programming Methodology at ETH Zurich is looking for excellent candidates for newly-opened PhD positions. http://bit.ly/2heHAJE #PhD #CompSci
- 10-Dic-16: Lecturer/Senior Lecturer openings in Artificial Intelligence and Machine Learning at Imperial College London. http://bit.ly/2gvAPoC #Job #CompSci
- 10-Dic-16: The Northwestern Theory group seeks applications for 1-2 postdoctoral positions starting in September 2017. http://bit.ly/2gvRpol #PostDoc #CompSci
- 04-Dic-16: Open Postdoc Position on Higher-Order Model Checking. University of Tokyo, Japan. http://bit.ly/2gponEe #PostDoc #CompSci
- 28-Nov-16: #PhD opportunities in programming languages, testing and verification for heterogeneous many-core systems. http://bit.ly/2ga05AK #CompSci
- 25-Nov-16: Postdoctoral Associate in the area of theoretical machine learning. Rutgers University http://bit.ly/2fMY3n8 #PostDoc #CompSci
- 25-Nov-16: DIMACS Postdoc Positions http://bit.ly/2fMYJsO #PostDocs #CompSci
- 25-Nov-16: PostDocs, internships in Cryptography. Tel Aviv University http://bit.ly/2fN1pqg #PosDoc #CompSci
- 25-Nov-16: PhD opportunities at the Univ. of Minnesota http://bit.ly/2g03xy5 #PhD #CompSci
- 25-Nov-16: PhD positions in Computer Science, Liverpool (England). http://bit.ly/2g04q9F #PhD #CompSci
- 25-Nov-16: PhD student position in specification and verification of data-aware systems, Evry (France). http://bit.ly/2fZVcKF #PhD #CompSci
- 25-Nov-16: Postdoctoral position in logic, Barcelona (Spain). http://bit.ly/2fMNsJ9 #PostDoc #Logic
- 22-Nov-16: PhD studentships in programming languages at LFCS, University of Edinburgh. http://bit.ly/2fMO7wL #PhD #CompSci
- 18-Nov-16: Postdoc position in distributed systems/verification/Coq at University College London (UCL). http://bit.ly/2g44fJ5 #PosDoc #CompSci
- 11-Nov-16: Assistant / Associate Professorship in Algorithmics, Delft (The Netherlands). http://bit.ly/2fi3opj #Job #CompSci
- 10-Nov-16: Postdoc at Simons Algorithms and Geometry Collaboration http://bit.ly/2fEwJsy #PostDoc #CompSci
- 08-Nov-16: PhD Student positions in Cyber-physical Systems/Artificial Intelligence/Systems Biology at ANU http://bit.ly/2fdxs5c #PhD #CompSci
- 05-Nov-16: Faculty positions at the University of Cambridge, in Programming Languages, Systems, and Cyber-Physical Systems. http://bit.ly/2f3MpqJ
- 05-Nov-16: Postdoc position in verification of infinite-state systems. University of Iowa. http://bit.ly/2f3EB8o #PostDoc #CompSci
- 05-Nov-16: Postdoctoral Researcher Formal Verification of Safety Critical Software. Radboud University http://bit.ly/2f3InyE #PostDoc #CompSci
- 30-Oct-16: Research data manager position. The Heart Healthy Hoods project. Madrid http://bit.ly/2f3Op0u #Job #DataScience
- 29-Oct-16: Functional Jobs: Software Engineer (Haskell/Clojure) at Capital Match (Full-time) http://bit.ly/2fjhU1E #Job #Haskell
- 29-Oct-16: Competitively paid postdoc position in Denmark. http://bit.ly/2eTdvks #PostDocs #CompSci
- 29-Oct-16: Faculty Position in Intelligent Systems & Autonomy. Iowa State University http://bit.ly/2eTcHwc #Jobs #CompSci
- 29-Oct-16: PhD studentship in mathematical models of access control policies, London (England). http://bit.ly/2eTczg4 #PhD #CompSci
- 29-Oct-16: Temporary Assistant Professorship (4y) in formal modelling of language and cognition, Amsterdam. http://bit.ly/2ePqmBu #Job #CompSci
- 23-Oct-16: PhD positions available at Stanford University. http://bit.ly/2dX4fIt #PhD #CompSci #Automated_reasoning
- 17-Oct-16 Positions at Iowa State University: faculty and PhD students. http://bit.ly/2dKLEzm #PhD #CompSci
- 17-Oct-16 PhD student position in language-based security using functional languages at Chalmers http://bit.ly/2dKJBLu #PhD #CompSci
- 17-Oct-16 Postdoctoral position in verification of linear dynamical systems, Oxford (England) http://bit.ly/2dKMH1W #PostDoc #CompSci
- 12-Oct-16 2 Post-Docs on power of algorithms in discrete optimisation at University of Oxford http://bit.ly/2dWD83D #Job #CompSci
- 12-Oct-16: Galois has positions open for Software Engineers/Researchers http://bit.ly/2dWjFjy #Job #CompSci
- 12-Oct-16: Galois has positions open for a Machine Learning Software Engineer. http://bit.ly/2dWlXPx #Job #CompSci
- 12-Oct-16: Galois has positions open for a Researcher/Principal Investigator in Portland, OR and Arlington, VA. http://bit.ly/2dWiZe0 #Job #CompSci
- 10-Oct-16: 2 #PostDocs positions: Practical just-right consistency and planet-scale storage. http://bit.ly/2dRESea #CompSci
- 10-Oct-16: Postdoc/Research fellow position in Formal Methods and System Security, ShanghaiTech University, China http://bit.ly/2dq5teX #PostDoc #CompSci
- 01-Oct-16: Full-time Haskell jobs in London, at Barclays. http://bit.ly/2d32o4f #Job #Haskell
- 27-Sep-16: Open Ph.D. position in formal methods for information security at ETH Zurich. http://bit.ly/2d5PV2I #PhD #CompSci
- 27-Sep-16: Postdoctoral position in information assurance, Luxembourg. http://bit.ly/2d5gkOm #PostDoc #CompSci
- 20-Sep-16: Doctoral scholarships in functional programming. University of Oxford. http://bit.ly/2d515SR #PhD #CompSci #FP
- 20-Sep-16: Open positions on secure compilation at Inria Paris funded by ERC grant. http://bit.ly/2cVsbPk #PhD #PostDoc #CompSci
- 19-Sep-16: Postdoc Position at Virginia Tech on Isabelle/HOL, Blacksburg, Virginia, USA. http://bit.ly/2cjjyOS #PostDoc #CompSci #IsabelleHOL
- 19-Sep-16: Postdoc position to work with us on the next generation of automated reasoning procedures. MPI, Saarbrücken, Germany http://bit.ly/2cjjRJL #PostDoc #CompSci
- 16-Sep-16: Doctoral/Postdoctoral position in programming language theory & implementation. Univ. of Leuven http://bit.ly/2d1InQz #PhD #PostDoc #CompSci
- 14-Sep-16: Functional Jobs: Software Engineer/Researcher at Galois Inc (Full-time) http://bit.ly/2cNCli0 #Job #CompSci #FP
- 14-Sep-16: Postdoctoral position in univalent foundations and type theory at the IAS. http://bit.ly/2cNy2Dl #PostDoc #CompSci
- 14-Sep-16: #PhD and #PostDoc positions at IMDEA (Madrid) funded by an ERC grant “A Rigorous Approach to Consistency in Cloud Databases”. http://bit.ly/2cNy6Tw #CompSci
- 14-Sep-16: Simons-Berkeley Research Fellowships at the Simons Institute for the Theory of Computing, Berkeley CA (U.S.A.). http://bit.ly/2cNAfP5 #Job #CompSci
- 14-Sep-16: Postdoctoral position in proof theory, Vienna (Austria), http://bit.ly/2cNAgm9 #PostDoc #CompSci
- 14-Sep-16: Postdoctoral position (3 months) in proof complexity, Leeds (England). http://bit.ly/2cNByxq #PosDoc #CompSci
- 14-Sep-16: PhD student positions in mathematics (including logic), Helsinki (Finland). http://bit.ly/2cNBJc5 #PhD #Math #Logic
- 09-Sep-16: #PostDoc position at TU Berlin in complexity theory, applied algebraic geometry, complexity and accuracy of numerical algorithms. http://bit.ly/2bWS0d7
- 09-Sep-16: Excelsior’s client is seeking a player/coach leader for their cryptocurrency development team. http://bit.ly/2bWQpnu #Job #Haskell
- 08-Sep-16: 2 PhD positions in formal methods at the Sirius Center in Oslo. http://bit.ly/2cEP2yM #PhD #CompSci
- 08-Sep-16: Lecturer position in Algorithms and Complexity, Leeds (England). http://bit.ly/2cr4zQA #Job #CompSci
- 08-Sep-16: PhD student position in information assurance, Luxembourg. http://bit.ly/2cEMIYu #PhD #CompSci
- 01-Sep-16: Associate Professor / Assistant Professor in Department of Computing. The Hong Kong Polytechnic University. http://bit.ly/2bZyrDT #Job #CompSci
- 31-Ago-16: Postdoctoral position in security of cyber-physical systems. University of Verona. http://bit.ly/2bA0ltd #PostDoc #CompSci
- 31-Ago-16: Research Assistant / Officer in Theoretical Computer Science (Theory of Security). Swansea Univ., UK http://bit.ly/2bA1kcI #Job #CompSci
- 31-Ago-16: Research fellow positions at Birmingham and QMU London. http://bit.ly/2bUFVrH #Job #CompSci
- 31-Ago-16: Open PhD position in programming languages and statistical machine learning at KTH, Sweden http://bit.ly/2bzZbO7 #PhD #CompSci
- 27-Ago-16: Functional Jobs: Full-Stack Developer (Haskell/PureScript) at CollegeVine (Full-time) http://bit.ly/2bFqkgi #Job #Haskell
- 27-Ago-16: Turn data into continuous insights with #Scala and #Haskell. Join their team in Seattle - http://hubs.ly/H0467_j0
- 25-Ago-16: Haskell positions at Facebook. http://bit.ly/2bkImAM #Job #Haskell
- 24-Ago-16: Formal verification position at Intel. http://bit.ly/2buV4At #Job #CompSci
- 16-Ago-16: PhD student position in supervision of autonomous software systems, Utrecht (The Netherlands) http://bit.ly/2buX246 #PhD #CompSci
- 16-Ago-16: PhD student position in argument mining, Dundee (Scotland). http://bit.ly/2buXqzi #PhD #CompSci
- 16-Ago-15: Postdoc position in static and dynamic analysis of Android OS @ CMU SV Campus. http://bit.ly/2balUx0 #PostDoc #CompSci #SeaHorn #JayHorn
- 16-Ago-16: Postdoc position in verification of Flight-Critical Software @ CMU SV Campus. http://bit.ly/2balUx0 #PostDoc #CompSci #SeaHorn #JayHorn
- 11-Ago-16: PhD position in computational music structure analysis using functional programming http://bit.ly/2b7QicA #PhD #CompSci
- 10-Ago-16: Functional Jobs: Head of data science at Capital Match (Full-time) http://bit.ly/2b5pF7U #Job #Haskell #DataScience
- 09-Ago-16: 14 positions in Geo Data Science. http://bit.ly/2b2EA2Z #PhD #PostDoc #DataScience
- 08-Ago-16: PostDoc position at Wesleyan University on the topic of homotopy type theory. http://bit.ly/2aFCljU #PostDoc #CompSci
- 08-Ago-16: Four roles in Strats at Standard Chartered (London and Singapore). http://bit.ly/2aFpTjR #Job #Haskell
- 08-Ago-16: [#Job Ad] Haskell developer @ Atidot (Ramat-Gan, Israel). http://bit.ly/2b6r8wk #Haskell via @RedditHaskell
- 05-Ago-16: Postdoctoral position, concurrency reasoning, Imperial College London. http://bit.ly/2aTqvoc #PostDoc #CompSci
- 05-Ago-16: #Job: Assistant Professor – Critical computation and new media. Univ. of Toronto Mississauga http://bit.ly/2aTpm0b #CompSci
- 05-Ago-16: PhD Studentship available in argument mining. http://bit.ly/2aTpMn0 #PhD #CompSci
- 05-Ago-16: PhD student position in knowledge representation and reasoning, Luxembourg. http://bit.ly/2aFPtEh #PhD #CompSci
- 05-Ago-16: Ph.D. student position on “learning language through dialogue”, Tilburg (The Netherlands). http://bit.ly/2aFP9pj #PhD #CompSci
- 02-Ago-16: PhD studentship: Formal specification and verification of smart contracts. University College London. http://bit.ly/2aLtr7L #PhD #CompSci
- 02-Ago-16: PhD studentship: A certified compiler for smart contracts. University College London. http://bit.ly/2aLujct #PhD #CompSci
- 01-Ago-16: Postdoc in algorithms at The Open University of Israel http://bit.ly/2aETr3I #PostDoc #CompSci
- 31-Jul-16: Functional Jobs: Elm developer at Takt (Full-time) http://bit.ly/2aTnSAA #Job #Haskell
- 29-Jul-16: 2 PhD student positions in formal logic at the Univ. of Barcelona: verification of legal software in Coq. http://bit.ly/2aywcs9
- 29-Jul-16: #PhD student or #postdoctoral position on computational linguistics and dialogue processing, Amsterdam (The Netherlands). http://bit.ly/2ampr9A
- 28-Jul-16: #PostDoc at Ulm University. Topic is complexity theory, with a focus on Polynomial Identity Testing. http://bit.ly/2azXOLk #CompSci
- 27-Jul-16: Haskell developer job in India. http://bit.ly/2aJu5id #Job #Haskell
- 27-Jul-16: A Haskell developer for a full-time position at a Bay Area startup. http://bit.ly/2aJrLYs #Job #Haskell
- 20-Jul-16: Two positions in computational linguistics (Postdoc or PhD student). Saarland Univ., Saarbruecken, Germany http://bit.ly/2awI8b0
- 19-Ju-16: Faculty Position in Computer Sciences. Universidad Adolfo Ibanez, Faculty of Engineering and Sciences. #Job #CompSci
- 19-Jul-16: Professor of Computer Science/Technology. Zhejiang University, College of Natural Sciences http://bit.ly/2a6On9b #Job #CompSci
- 19-Jul-16: PhD fellowship in RNA Bioinformatics http://bit.ly/2a6Olyg
- 19-Jul-16: PhD position in computational statistics for medical imaging. http://bit.ly/2a5bJt6
- 15-Jul-16: Lecturer in mathematics (info security) at School of Science, RMIT University, Melbourne, Australia http://bit.ly/29APbOR #Job #CompSci
- 13-Jul-16: Assistant or Associate Professorship in Theoretical Computer Science (tenure-track), Amsterdam. http://bit.ly/29MBMpO #Job #CompSci
- 09-Jul-16: PhD or postdoc in semantics engineering in Language Designer’s Workbench project at TU Delft. http://bit.ly/29nN6cL #PhD #PostDoc #CompSci
- 07-Jul-16: PhD scholarship: Fully automated controller synthesis for UAV missions (Munich, Germany) http://bit.ly/29mIXSs #PhD #CompSci
- 07-Jul-16: PhD studentship in semantics and verification of heterogeneous programs at Queen Mary. http://bit.ly/29qgb75 #PhD #CompSci
- 02-Jul-16: Full-time developer position opening at Université de Bordeaux for Fall 2016 or Fall 2017. http://bit.ly/29ANuS3 #Job #CompSci #Math
- 02-Jul-16: Postdoc/PhD position at Innopolis University in area of program verification. http://bit.ly/29bZoTK #PhD #PostDoc #CompSci
- 31-Jun-16: Postdoc position in verification at IMDEA, Madrid http://bit.ly/29bxLwm #PostDoc #CompSci
- 30-Jun-16: Lectureships in Knowledge Representation and Reasoning (and other areas of computer science), Cardiff (Wales). http://bit.ly/29bm2h5 #Job #CompSci
- 30-Jun-16: Several Funded PhD Studentships in Computer Science at IMT Lucca. http://bit.ly/29blNT9 #PhD #CompSci
- 30-Jun-16: Lecturer (Teaching & Research) in Computer Science & Informatics. Cardiff University. http://bit.ly/296cX6z #Job #CompSci
- 28-Jun-16: Postdoctoral associate position in London, working with Isabelle. http://bit.ly/293qfT6 #PostDoc #IsabelleHOL
- 28-Jun-16: Postdoctoral researcher in combinatorial optimization at ETH Zurich. http://bit.ly/28ZO3n7 #PostDoc #CompSci
- 27-Jun-16: Postdoc position on formal verification on security. Nanyang Technological University http://bit.ly/28VqDPf #PostDoc #CompSci
- 27-Jun-16: Becas Iberoamérica, Santander Investigación. http://bit.ly/28VqpYp
- 25-Jun-16: Haskell developer position at Scrive. Stockholm, Sweden. http://bit.ly/28SwS8h #Job #Haskell
- 25-Jun-16: PhD position at VERIMAG, Grenoble, on combinations of Boolean reasoning and parametric linear programming. http://bit.ly/28S2rPF #PhD #CompSci
- 25-Jun-16: #Job #Haskell developer @PicusSecurity in Ankara, Turkey. http://bit.ly/28RUI3X http://www.picussecurity.com
- 24-Jun-16: #Job: Haskell Engineer - Machine Learning: Pioneering a new approach to the data security problem. Berkeley, California http://bit.ly/28UPQNn #Haskell
- 22-Jun-16: Wrinkl, Inc. is seeking a Haskell Software Engineer for a full-time position located in NYC. http://bit.ly/28UTzth #Job #Haskell
- 21-Jun-16: Jobs at Monash: Lecturer or Senior Lecturer (Data Science). Monash University. http://bit.ly/28RxTOJ #Job #DataScience
- 17-Jun-16: Post doc at IT University of Copenhagen on a project on guarded recursion. http://bit.ly/24VfmVc #PostDoc #CompSci
- 16-Jun-16: PhD position at INRIA Grenoble on formal methods for testing. http://bit.ly/1txvAZl #PhD #CompSci
- 15-Jun-16: Postdoctoral position in epistemic protocol synthesis, Nancy (France). http://bit.ly/1PtXxFD #PostDoc #CompSci
- 15-Jun-16: 2 #DataScience #PostDoc positions with Sune Lehmann in Copenhagen. https://t.co/M9FwVg7WpT
- 14-Jun-16: Two Lectureships (Assistant Professorships) at St Andrews http://bit.ly/1YoP9yk #Job #Functional_programming #CompSci
- 14-Jun-16: On-site GHC-related Haskell/C opportunity at Positive Technologies (Moscow) http://bit.ly/1YoPDV8 #Job #Haskell
- 13-Jun-16: Postdoctoral positions at Stanford University on the development and application of automated reasoning techniques. http://bit.ly/28xLYc3 #PostDoc #CompSci
- 13-Jun-16: 2 postdoc positions: Researcher in algorithmics and semantics of higher-order computation. Univ. of Oxford http://bit.ly/1tmGwID #PostDoc #CompSci
- 13-Jun-16: Job offer: close-to-industry research position. http://bit.ly/1rl9lDO #PostDoc #Type_theory #Formal_methods #Verification
- 09-Jun-16: One #PhD or #PostDoc position to develop further the theoretical foundations of monitorability. Reykjavik Univ. http://bit.ly/1YfCptS #CompSci
- 09-Jun-16: #Job: Senior Big Data Developer. London, United Kingdom. http://bit.ly/1RXPaBU #Scala #BigData
- 09-Jun-16: Fancy working on big data challenges with #Scala & #Spark to bring green energy to more people? - http://hubs.ly/H03c-p00
- 09-Jun-16: Work with Scala in Dublin to help build a distributed HR management platform - http://hubs.ly/H03c-p20 #Job #Scala
- 09-Jun-16: CircleCI is seeking a Product Engineer for a full-time position located in San Francisco or Toronto. http://bit.ly/1YfAzt3 #Job #Clojure
- 09-Jun-16: Professor Software technology at Utrecht University http://bit.ly/1RXNckV #Job #CompSci
- 08-Jun-16: PhD student position on formal methods for testing of networks of controllers, Grenoble (France) http://bit.ly/1X9JHjd #PhD #CompSci
- 08-Jun-16: Postdoc in formal methods for system-level security at Univ. Lille & CNRS, France. http://bit.ly/1X9JCfj #PostDoc #CompSci
- 07-Jun-16: Jobs in verified refactoring for OCaml and CakeML at the University of Kent. http://bit.ly/1RWhtAv #PostDoc #CompSci
- 07-Jun-16: Postdoc position in type systems at the New Jersey Institute of Technology (NYC area) http://bit.ly/1teDmY4 #PostDoc #CompSci
- 06-Jun-16: Senior Clojure position where you can build a new approach to personal finance. http://hubs.ly/H03cmF70 #Clojure
- 05-Jun-16: Postdoctoral position in machine learning at the University of Pennsylvania. http://bit.ly/28czZQZ #PostDoc #CompSci
- 05-Jun-16: PhD Position in Machine Learning. AIT Austrian Institute of Technology, Department of Technology http://bit.ly/1Uq1T1K #PhD #CompSci
- 05-Jun-16: PhD Student in Computer Science. University of Innsbruck, Department of Computer Science. http://bit.ly/1Uq1FYs #PhD #CompSci
- 04-Jun-16: Lispjobs: Secure Outcomes, contract Common Lisp programmer http://bit.ly/1XqNycC #Job #Common_Lisp
- 01-Jun-16: PhD student position in Logic for Multiscale Network Modelling, Leeds (England). http://bit.ly/1WZZhOm #PhD #CompSci
- 01-Jun-16: Associate senior lectureship (4y) in computational linguistics, Gothenburg (Sweden). http://bit.ly/1WZZtNq #Job #CompSci
- 01-Jun-16: Postdoctoral fellowship in security of cyber-physical systems. http://bit.ly/1WZZqRZ #PostDoc #CompSci
- 01-Jun-16: Functional Jobs: Software Engineer (Haskell/Clojure) at Capital Match(Full-time) http://bit.ly/1Pm3b1C #Job #Haskell
- 01-Jun-16: Functional Jobs: CTO (Haskell/Clojure) at Capital Match (Full-time) http://bit.ly/1Pm2qWr #Job #Haskell
- 31-May-16: PhD student or postdoctoral position on oligomorphic clones, Vienna (Austria). http://bit.ly/22w5VvN #PhD #PostDoc #Logic
- 30-May-16: Two-year postdoctoral positions at the Institute UC3M-BS of Financial Big Data, Univ. Carlos III de Madrid, Spain. http://bit.ly/27YHdrP #PostDoc
- 30-May-16: Semantic systems application architect (KTP associate). Univ. of Manchester. http://bit.ly/1U6ZaKD #Job #CompSci
- 28-May-16: PhD student position in knowledge-based systems, Lisbon (Portugal). http://bit.ly/1Wsn8WW #PhD #CompSci
- 26-May-16: PhD position at INRIA Grenoble: “Formal proofs for the analysis of real-time systems in Coq” http://bit.ly/1qL7uYF #PhD #CompSci #Coq
- 26-May-16: PhD position at INRIA Grenoble: “Analysis and types for safe dynamic software configurations”. http://bit.ly/1TLjUvp #PhD #CompSci
- 26-May-16: PhD position at INRIA Grenoble: “Programming IoT and software defined radio with dynamic data-flow models of computation” http://bit.ly/1TLkCZF #PhD #CompSci
- 21-May-16: Funded PhD (3 years) in program analysis at IRIF (Paris, France). http://bit.ly/1sIYEg0 #PhD #CompSci
- 21-May-16: Funded Post-doc positions in program analysis and verification at IRIF (Paris, France). http://bit.ly/1sIYzZY #PostDoc #CompSci
- 21-May-16: Postdoctoral position in stochastic games, Bordeaux (France). http://bit.ly/1VemACJ #PostDoc #CompSci
- 19-May-16: Hiring Haskell engineers at LeapYear, a data security company. http://bit.ly/22w6ohy #Job #Haskell
- 18-May-16: Target Haskell data scientist job in Sunnyvale, California, United States. http://bit.ly/1WEjh98 #Job #Haskell #DataScience
- 15-May-16: Research associate positions in refactoring functional programs and formal verification (for CakeML). Univ. of Kent http://bit.ly/1spwTci #Job #CompSci
- 12-May-16: #PhD (#PostDoc) position in software verification and synthesis at the Max Planck Institute for Software Systems http://bit.ly/1WsRBVb #CompSci
- 12-May-16: Postdoctoral position in logic, Amsterdam (The Netherlands). http://bit.ly/1QZCauY #PostDoc #Logic #CompSci
- 12-May-16: PhD student position in Algorithms, Bergen (Norway). http://bit.ly/1QZCbz8 #PhD #CompSci
- 10-May-16: PostDocs and PhD positions on the project “Skye: A programming language bridging theory and practice for scientific data curation”. http://bit.ly/27a1c6y
- 06-May-16: Several postdoctoral and Ph.D. positions at ENS Lyon, France, in the area of verification and certification. http://bit.ly/1ZmUUKQ #PhD #PostDoc #CompSci
- 06-May-16: Two #PhD studentships in the area of correct and efficient programming for concurrent and parallel systems. IC, London. http://bit.ly/1ZmQ2FJ #CompSci
- 06-May-16: Postdoctoral position in Algorithms, TU Munich (Germany). http://bit.ly/1ZmRV5c #PostDoc #CompSci
- 02-May-16: Verification of randomized algorithms: open PhD/post doc position. TUM, Munich http://bit.ly/1VGEYVS #PhD #CompSci #IsabelleHOL
- 30-Abr-16: PhD position in formal modelling and verification for high assurance at KTH Royal Institute of Technology. http://bit.ly/1SE6FsD #PhD #CompSci
- 29-Abr-16: Postdoctoral position in mathematical logic, Salerno (Italy). http://bit.ly/248n96Y #PostDoc #Logic
- 29-Abr-16: Postdoctoral or PhD student position in computation with bounded resources, Innsbruck (Austria). http://bit.ly/248njv1 #PhD #PostDoc #CompSci
- 28-Abr-16: Postdoc position in domain-specific languages. Tufts University. http://bit.ly/1N2h1p5 #PostDoc #CompSci
- 26-Abr-16: PhD student position in formal modeling and analysis of security, Rennes (France). http://bit.ly/1pArNaF #PhD #CompSci
- 26-Abr-16: PhD student position in theoretical computer science, Karlsruhe (Germany). http://bit.ly/1pArVHo #PhD #CompSci
- 23-Abr-16: Ph.D. position in security modeling at IRISA in Rennes, France. http://bit.ly/1VJohtd #PhD #CompSci
- 18-Abr-16: Contract postdoctoral position in biological programming languages at Microsoft Research Cambridge. http://bit.ly/1VdQfg4 #PostDoc #CompSci
- 18-Abr-16: Verification of randomized algorithms in the theorem prover Isabelle: open PhD/post doc position at TUM. http://bit.ly/1VdRgVl #PhD #CompSci
- 18-Abr-16: Postdoc position in semantics and effects. University of Birmingham. http://bit.ly/1VdSgcc #PostDoc #CompSci
- 14-Abr-16: PostDoc in algorithms and complexity at University of Oxford. http://bit.ly/1ShlDJZ #PostDoc #CompSci
- 12-Abr-16: Funded PhD on concurrency modelling using ideas from formal verification at Univ. of York, UK. http://bit.ly/25Wi1RU #PhD #CompSci
- 10-Abr-16: PhD student position in on-line privacy using multi-agent systems, London (England). http://bit.ly/1S3ulbu #PhD #CompSci
- 01-Abr-16: Postdoc ad: quantum-computing programming languages. http://bit.ly/1SFCzqi #PostDoc #CompSci
- 31-Mar-16: PhD position in guarded homotopy type theory. http://bit.ly/1TlfvPZ #PhD #CompSci
- 27-Mar-16: PhD position at LaBRI Bordeaux France. Subject: higher-order verification. http://bit.ly/1VOCvaA #PhD #CompSci
- 20-Mar-16: PhD and Post-Doc positions in formal methods at Chalmers. http://bit.ly/1SaKJ9S #PhD #PosDoc #CompSci
- 17-Mar-16: 2 Ph.D positions on Formal Methods for Rule-based agent safety and concurrent system analysis (U. of Oslo). http://bit.ly/1LtAnTj #PhD #CompSci
- 06-Mar-16: PhD studentship on “Declarative Programming for Data Science” http://bit.ly/1U3rbX1 #PhD #CompSci #DP #DataScience
- 26-Feb-16: Two postdoc positions in reasoning about concurrent and distributed systems. Imperial College London. http://bit.ly/1QlEDAN
- 23-Feb-16: 4-year PhD studentship on “Declarative Programming for Data Science”, University of Edinburgh. http://bit.ly/1OrL7Mh #CompSci #PhD
- 23-Feb-16: PhD and Post-Doc positions in formal methods and security, Chalmers University of Technology. http://bit.ly/1RkdZL0 #PhD #CompSci
- 18-Feb-16: Postdoctoral Research Fellow in Artificial Intelligence. Western Sydney University. http://bit.ly/1U9VjAh #PostDoc #CompSci
- 15-Feb-16: Postdoc position at Tulane on the “Semantics, formal reasoning, and tool support for quantum programming” project. http://bit.ly/1KQyEXF #CompSci
- 11-Feb-16: Phd/PostDoc positions in formal methods for distributed systems at University Paris Diderot, France. http://bit.ly/1WglkfP #PostDoc #CompSci
- 03-Feb-16: Postdoctoral position in functional, constraint and/or logic programming at KU Leuven. http://bit.ly/1PSet7A #PostDoc #CompSci
- 20-Ene-16: Postdoc position on hardware verification at NTU Singapore. http://bit.ly/1ltVFDH #PostDoc #CompSci
- 20-Ene-16: Postdoc position on security protocol verification at NTU Singapore. http://bit.ly/1ltVUP1 #PostDoc #CompSci
- 15-Ene-16: Postdoctoral and PhD positions in LFCS on graph databases, provenance, and programming languages. http://bit.ly/1Zztq9z #PostDoc #CompSci
- 12-Ene-16: Postdoc position at Penn on the DeepSpec project. http://bit.ly/1ZhC4Ux #PostDoc #CompSci
- 09-Ene-16: ERC project “RustBelt” on foundations for Rust – Postdoc and PhD positions available! http://bit.ly/1Pk6osr #PostDoc #PhD #CompSci
- 07-Ene-16: Postdocs at Tulane on semantics of quantum programming languages. http://bit.ly/1SCm8fI #PostDoc #CompSci