Hi all,
I am excited to share that the Boston University Programming Languages and Verification group (POPV: https://www.bu.edu/cs/research-groups/popv/<https://urldefense.com/v3/__https:/www.bu.edu/cs/research-groups/popv/__;!!…>) is looking for PhD students.
The group consists of faculty and students with interests in programming languages, verification, type systems, and proof assistants with applications to distributed systems, cryptographic protocols, security, and differential privacy.
Members of the POPV group actively collaborate with other groups at Boston University, including the Boston University Security group (https://www.bu.edu/cs/groups/busec/<https://urldefense.com/v3/__https:/www.bu.edu/cs/groups/busec/__;!!IBzWLUs!…>), and at other universities in the Boston area like MIT, Northeastern, and Harvard.
Interested candidates are encouraged to apply and/or contact me or one of the other faculty in the group.
The deadline for applications is December 15, 2024.
The official application information can be found here: https://www.bu.edu/cs/phd-program/phd/<https://urldefense.com/v3/__https:/www.bu.edu/cs/phd-program/phd/__;!!IBzWL…>
Application fees can be waived for strong applicants, if needed. More details here:
https://www.bu.edu/cas/admissions/phd-mfa/apply/fee-waiver/<https://urldefense.com/v3/__https:/www.bu.edu/cas/admissions/phd-mfa/apply/…>
International students can also request a fee waiver by sending me an email.
All admitted PhD students will receive a 5-year fellowship offer, which may be a combination of a non-service fellowship, teaching fellowship or doctoral research assistant.
Boston University is a large private university in the heart of Boston with a rich tradition of inclusion and social justice. We are proud that we were the first American university to award a PhD to a woman (1877) and that Martin Luther King Jr. received his PhD here (1955).
The Boston area is home to a vibrant academic environment formed by multiple universities with a strong tradition in programming languages and verification, and it is also home to several startups and tech industries related to these research areas.
Please encourage your students to apply for a PhD position at Boston University and reach out to me if you have additional questions.
Ankush Das
Assistant Professor,
Computer Science Department
Boston University
Dear All
Ashoka University invites applications from final year undergraduate and
masters students for pre-doctoral research workshop 2025
<https://forms.gle/rPfGshT6qFteQj62A>. Registration closes *December 10.*
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Pre-doctoral Research Workshop
Department of Computer Science, Ashoka University
The Pre-doctoral Research Workshop offers aspiring doctoral candidates an
immersive experience into the world of interdisciplinary computer science
research at Ashoka University. Our department's research spans foundational
areas such as algorithms, cryptography, data science, logic and automated
reasoning, natural language processing, and machine learning, while also
extending beyond traditional boundaries into computational social sciences,
digital health, digitalization, privacy, and technology policy.
Final year undergraduate and masters students with mathematical and
computational backgrounds are invited to apply to this workshop and learn
from and engage with leading researchers, network with peers who share
their academic interests, and gain insights into doctoral studies and
graduate school preparation. The workshop participants are strongly
encouraged to also participate in the poster session and present their
original work (published, under submission, or ongoing).
Taking place from January 9th to 11th, 2025, at Ashoka University, Sonipat,
Haryana, this year's workshop will focus on how computer science intersects
with diverse disciplines—from natural sciences to social sciences. Through
our PhD and integrated PhD programs, we welcome students from all relevant
academic backgrounds, including non-CS disciplines, recognizing that
diverse perspectives drive innovation in computer science research. Join us
to explore these possibilities and discover your path toward pursuing a PhD
in Computer Science.
Registration Link: Here
<https://docs.google.com/forms/d/e/1FAIpQLSeT9oYyL-ul-IAo7C2S2PTDu7k5QXwYeT5…>
.
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
For any queries, contact the organisers: cs.dept(a)ashoka.edu.in,
aalok.thakkar(a)ashoka.edu.in. Thank you and we look forward to your
participation.
*Aalok Thakkar*
Assistant Professor
Department of Computer Science
aalok.thakkar(a)ashoka.edu.in | aalok-thakkar.github.io
Schedule an appointment <https://calendly.com/aalok-thakkar-ashoka/30min> with
me.
This email and any files transmitted with it are confidential and intended
solely for the use of the individual or entity to whom they are addressed.
If you have received this email in error, please notify the sender and
delete the email from your system.
Dear Colleagues,
Please find below the call for participation and talks for the Workshop on
automata and games for synthesis happening just after FSTTCS at IIT
Gandhinagar. Please distribute. Apologies for cross-posting.
--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
*Call for participation*
Workshop on automata and games for synthesis
<https://sites.google.com/view/fsttcs2024bworkshop>
Gandhinagar, Gujarat, India
December 19th, 2024
Co-located with Foundations of Software Technology and Theoretical
Computer Science (FSTTCS) 2024
---------------------------------------------------------------------------------------------
Submission of contributed talks at:
https://sites.google.com/view/fsttcs2024bworkshop/short-presentation
---------------------------------------------------------------------------------------------
===================
About the workshop
===================
The first workshop on automata and games for synthesis is an on-site event
happening on the 19th of December, 2024, in Gandhinagar, India. It is
co-located with Foundations of Software Technology and Theoretical Computer
Science (FSTTCS) 2024, the premier international computer science
conference in India, and takes place each year in December since 1981.
Automated synthesis of systems from specifications has been a longstanding
goal of computer science. The workshop focuses on various aspects by which
automata and game solving are used to tackle problems motivated by
synthesis.
The workshop has several invited speakers and one session with
short-presentations. For the short-presentation, PhD students and postdocs
are encouraged to talk about their research in 10-15 minute sessions (exact
length will depend on the number of contributions). The workshop does not
have any proceedings, and therefore previously published talks or ongoing
work are both encouraged to be presented. Topics for the presentation at
the workshop include, but are not limited to, the following:
Automata Theory
Synthesis
Games on Finite and Infinite Graphs
Computational aspects of Game Theory
Concurrency and Distributed computation
Formal Languages
Games and Automata for Verification
Specification and Verification of Finite and Infinite-state Systems
============================
Important dates and information
============================
Deadline: November 14th (AoE)
Submit your contributions at:
https://sites.google.com/view/fsttcs2024bworkshop/short-presentation
Notifications: November 18th 2024
Event: 19th December 2024
=============
Speakers
=============
Dmitry Chistikov (University of Warwick)
C. Aiswarya (Chennai Mathematical Institute)
Youssouf Oualhadj (Université Paris-Est Créteil Val de Marne)
and more to be announced.
=============
Organisers
=============
Sougata Bose
Suman Sadhukhan
K. S. Thejaswini
=============
Program
=============
The detailed program will be here
<https://sites.google.com/view/fsttcs2024bworkshop/schedule> closer to the
workshop.
For any queries, contact the organisers: sougata.Bose(a)liverpool.ac.uk,
ssadhukh(a)campus.haifa.ac.il, thejaswini.k.s(a)ista.ac.at
Regards,
Suman Sadhukhan
Postdoctoral researcher
University of Haifa
Academic Research and Careers for Students (ARCS) is an annual symposium
hosted by ACM India, dedicated to providing a unique platform for
research scholars in Computer Science and related fields across India.
The 2025 edition of ARCS will be held on February 27-28 in Coimbatore.
If you are a PhD student in India working in any area of Computer
Science with an accepted or published paper in a conference or journal,
ACM ARCS 2025 [1] formally invites you to submit your publication
details for a potential poster presentation at ARCS, held alongside the
ACM India Annual Event.
We are specifically seeking accepted or published work between Nov 23'
to Oct 24' to facilitate meaningful networking among PhD students and
research mentors from both academia and industry. Selected students will
receive limited travel and accommodation support to attend ARCS and the
ACM India Annual Event.
Sub-themes include (but not limited to):
* Algorithms
* Complexity
* Logic & Automata
* Cryptography
* Quantum computation
* Information theory
* Architecture
* Database
* Networking
* PL & Formal Verification
* OS & Compilers
* Computer Vision & Graphics
* Artificial Intelligence
* Machine Learning
* NLP, Information retrieval
* Social network analysis
* Security
* Technology for society
Key dates:
- Submission deadline: November 15, 2024
- Notification of selection: December 15, 2024
Registration link for open call: Click Here [2]
For more info. write to:acmarcs2025@gmail.com
Or Visit: https://event.india.acm.org/arcs/home/
Links:
------
[1] https://event.india.acm.org/arcs/home/
[2]
https://docs.google.com/forms/d/1X3xmmlGpdaSrC_op3LnzMb8z9vgf908A9Vo-BSucKt…
Posting on behalf of Yong Kiam Tan (NTU):
We are jointly advertising for several open PhD and postdoc positions in
PL/FM at the School of Computer Science and Engineering, Nanyang
Technological University (NTU), Singapore.
PhD positions are fully funded, and will be for the January 2025 or
August 2025 intake at SCSE, NTU.
Details of the postdoctoral positions vary, but they are open to
candidates with PhD-level qualifications in a range of topics in PL/FM.
Please see below for further information on individual openings;
interested candidates should contact us directly.
Luke Ong, Professor
We invite motivated and well-qualified candidates to work on Bayesian
Statistical Probabilistic Programming, as part of a research programme
funded by the National Research Foundation, Singapore.
The appointees will work in the Probabilistic Programming Lab, where
research is carried out on a wide range of topics, especially in the
interface of programming languages, machine learning, and Bayesian
statistics, but also in allied areas in semantics of computation, formal
methods and verification, and in logic and algorithms.
Bayesian Statistical Probabilistic Programming lies in the interface of
programming languages, machine learning, and Bayesian statistics. These
positions will suit researchers with expertise in one (or more) of the
three areas, and are interested and committed to collaborating with
experts in the other areas.
Further details are available at
https://www3.ntu.edu.sg/home/luke.ong/Vacancies/phd.html
Yang Liu, Professor
I have fully-funded PhD positions available for PL/SE/Security on web3
security (smart contract and runtime monitoring), AV security and
robustness, and Large Language Model (LLM) applications: applying LLM
for FM (specification/property generation, proof automation), LLM for
security (vulnerability detection via static analysis or fuzzing,
vulnerability repair), LLM for SE (multi-agent software development),
LLM security (prompt injection, jailbreak, defence against LLM attacks).
website: https://personal.ntu.edu.sg/yangliu/
contact: yangliu(a)ntu.edu.sg
Conrad Watt, Assistant Professor
I have fully-funded PhD positions available for PL research, broadly
construed, related to the WebAssembly programming language and virtual
machine. A successful applicant will have the opportunity to work
closely with WebAssembly's industrial standards body and inform the
future direction of the language.
I am also looking to recruit postdocs with experience in mechanised
theorem proving and programming language semantics, to work on advanced
extensions and applications of the WasmCert-Isabelle mechanisation of
WebAssembly and related artefacts. A key theme of this work will be
driving industrial adoption of verified artefacts - for example, see
https://dl.acm.org/doi/abs/10.1145/3591224. Experience with Isabelle/HOL
would be highly desirable. Funding is available for up to 4 years of
full-time employment.
website: conrad-watt.github.io <http://conrad-watt.github.io>
contact: conrad.watt(a)ntu.edu.sg
Yong Kiam Tan, (incoming) Assistant Professor
I am interested in applications of deductive verification and
interactive theorem proving in automated reasoning, compilers (CakeML),
randomized algorithms, hybrid systems, and cryptography. I am recruiting
up to three PhD students and three postdocs for these topics under a new
Singapore NRF fellowship project.
Please visit https://tanyongkiam.github.io/advert.html for contact and
other details.
Conrad and Yong Kiam would also like to draw attention to A*STAR's
graduate scholarships
(https://www.a-star.edu.sg/Scholarships/for-graduate-studies/overview).
These competitive national awards offer enhanced support for exceptional
PhD applicants, who we would jointly supervise in a project related to
the intersection of WebAssembly and CakeML. Please contact us for more
details.
