We have an exciting funded opportunity for a PhD on developing "Verification
Environment for Distributed Systems Implemented in Go". The main objectives are
to define a formal semantics of Go and its CSP-inspired concurrency model in an
interactive theorem prover (e.g., Isabelle/HOL) as well as
Hi all,
The University of Amsterdam (UvA) is looking for a PhD student on the topic of
"Accountable Usage Control for Distributed Data Processing Systems". The
research touches on the fields of distributed systems, software engineering,
access/usage control, and (domain-specific) programming la
A PhD position is open at the MPI for Informatics in Saarbrücken,
supervised by Christoph Weidenbach, Jasmin Blanchette and Sophie
Tourret. The project is about using Isabelle/HOL to formalize logical
calculi.
See https://www.cs.vu.nl/~jbe248/sb_job.html for more information.
_
Dear all,
I have an opening for a 4 year PhD position in the Programming Languages
Group at Delft University of Technology.
The PhD position is about defining and implementing typed programming
languages in a modular way.
The ideal candidate will have experience with one or more of the following
Hi all,
With this e-mail I would like to draw your attention towards the vacancy "PhD
position in Software Language Engineering" that is currently available at the
Informatics Institute of the University of Amsterdam (closing date February
15th).
https://www.uva.nl/en/content/vacancies/2020/12
PhD POSITION(S)
PROJECT Structural and Algorithmic Aspects of Preference-based Problems in
Social Choice
STARTING DATE: Negotiable
LOCATION: Vienna, Austria
INSTITUTION: Algorithms and complexity group at the Faculty of Informatics,
Technische Universität Wien (Vienna University of Technolog
Dear colleagues,
(Apologies for cross-posting; please share with your students and
colleagues as
is appropriate.)
Utrecht University's Software Technology group is looking to hire a PhD
candidate. We are interested in finding a candidate who is excited to work
on
mathematical aspects of computer
PHD POSITION IN FUNCTIONAL PROGRAMMING AND PROGRAMMING LANGUAGE THEORY
(ref. BAP-2018-431)
The group of prof. Tom Schrijvers has expertise in a broad range of topics
related to functional programming and programming language theory,
including recent contributions to Haskell's type system and the
i
The System and Network Engineering Lab (SNE) of the University of
Amsterdam invites applications for a fully funded PhD candidate
position in the area of programming languages and energy-aware
multi-core computing. The PhD candidate will be involved in the EU
Horizon-2020 collaborative research pr
The System and Network Engineering Lab (SNE) of the University of
Amsterdam invites applications for a fully funded PhD candidate
position in the area of programming languages and energy-aware
multi-core computing. The PhD candidate will be involved in the EU
Horizon-2020 collaborative research pr
The System and Network Engineering Lab (SNE) in the Informatics
Institute of the University of Amsterdam invites applications for a
fully funded PhD candidate position in the area of programming languages
and energy-aware multi-core computing. The PhD candidate will be
involved in the EU Horizo
==
VACANCY : PhD position in computational music structure
analysis using functional programming
==
The research group of Software Technology is part of th
*Department of Computing and Communication Technologies*
*3 year full-time funded PhD Scholarship*
3 years full-time fees will be paid by the University.
Bursary: £10,500 pa (without inflation increase).
Start date: April 2016
Eligibility: Home/EU and International students
*Deadline: 14 De
We have an opening for a PhD student in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:
"The PhD student will join the Programming Logic group and contribute
to its research on dependent type theory and functional programming.
Topics of interest
**
*** PhD Position
***
*** Categories, Coalgebras and Types
***
*** Mathematically Structured Programming Group
*** University of Strathclyde
***
***
--
PhD scholarship at MiST, DSIC (Universitat Politecnica de Valencia, Spain)
http://users.dsic.upv.es/~gvidal/german/mist
Computer assisted validation in Erlang
A fully-funded PhD position to start in early 2015.
** DEADLIN
==
VACANCY : 1x Phd position in dependent types, testing & hardware design
==
The research group of Software Technology is part of the Software
Systems division of in the departm
The Department of Software and Computer Technology of TU Delft has a
four year PhD position in Programming Language Verification in the NWO
VICI project of Eelco Visser:
"The Language Designer's Workbench. Automating the Verification of
Language Definitions"
The objective of the project is to uni
Dear all,
Please find attached information about a PhD position at the Model Based
Software Development department of the Computer and Information Sciences
Institute at the Radboud University, The Netherlands.
With kind regards, on behalf of Rinus Plasmeijer,
Peter Achten
Vacature.pdf
Des
The Programming Languages Group of Ghent University invites applicants
for a PhD position. This position centers around the modular treatment
of side-effects in purely functional programs and models. It is part
of the project "Modular handling of effects in purely functional
programs and models" un
[My colleague, Patricia Johann, advertises the following...]
PhD Position
in
Category Theory and Functional Programming
Department of Computer and Information Sciences
University of Strathclyde, Scotland
Applications are invited
Looking for a funded PhD position in functional programming? The FP group at
Chalmers is recruiting a new PhD student to join us in bringing the
productivity of functional programming to new application domains, via domain
specific languages embedded in Haskell. More details, and application via
The Computer Science Laboratory of Orleans in the University of Orleans (France)
and the School of Information in the Kochi University of Technology are looking
for
a PhD researcher (3 years: 2 in France, 1 in Japan)
to work on the "Parallel Program Development with Algorithmic Skeletons" projec
Language Support for Communicating Transactions
A three year PhD position, to start in September 2011, is now
available at Trinity College Dublin, Ireland, associated with the
project "Language Support for Communicating Transactions" funded by
the Microsoft Research PhD Scholarship scheme. Three y
Hi,
if you know a student interested in applying her or his knowledge in
algorithms (especially graph optimization) please note her or him of
this opening or forward to interested parties.
PhD Position: Bioinformatics / Graph Optimization
We are looking for a Diploma / Masters student to join
--- apologies for multiple postings ---
The mathematical reasoning research group in the School of Informatics at the
University of Edinburgh
is advertising for a PhD funded by the EPSRC project "AI4FM: Using AI to aid
automation of proof search
in Formal Methods". The proposed topic of the Ph
Come and work with us!
The Chalmers FP group is recruiting a PhD student to work on FP and
DSELs. Details are here
http://www.chalmers.se/cse/EN/news/vacancies/positions/phd-student-position-in2935
and below.
Welcome!
Patrik Jansson, Koen Claessen, Mary Sheeran, John Hughes
Job desc
The Functional Programming group at Chalmers is seeking to recruit a PhD
student to work on domain-specific languages embedded in Haskell for
hardware design, and for programming graphics processors. PhD positions in
Sweden are real jobs, paying a respectable salary for up to five years.
The offi
Postgraduate Research in Functional Hybrid Modelling
School of Computer Science and IT
University of Nottingham
The University of Nottingham has an open position for a PhD
student to work on EPSRC-funded project called Functional
Hybrid Modelling, running for t
Position Description
The Coordination and Component Based Software group in SEN3 at CWI has
an open position for a PhD student (OIO) for four years.
The PhD student will perform research in the context of the BSIK project
BRICKS (Basic Research in Informatics for Creating the
A 3-year PhD-Position is available in the project
"Monadic Computational Logics in HOL"
at the University of Bremen. The project is concerned with the
implementation and further development of monadic computational logics,
including monadic Hoare logic and monadic dynamic logic as well a
Please pass on to interested students. Apologies for multiple copies.
-
PhD Position
School of Computer Science and Information Technology
University of Notti
Please, pass on to interested students. Apologies for multiple copies.
--
PhD Position (DEADLINE 4 February 2004! See "How to apply" below.)
Departamento de Sistemas Informaticos y Computacion
Technical University of Valencia
33 matches
Mail list logo
