[TYPES/announce] Funded PhD positions at Illinois Tech

Stefan Muller smuller2 at iit.edu
Tue Jan 17 16:12:38 EST 2023


Hi everyone,

I'm looking for PhD students to join me on one of several projects 
relating to programming languages, analysis tools and type systems for 
parallel, concurrent and high-performance computing. Projects my group 
is actively involved in include:
- Performance analysis and optimization for CUDA kernels
- Static analysis of the parallel dependency structure of code in order 
to aid reasoning and optimization
- Languages and type systems for ensuring responsiveness and efficiency 
in workloads that are both interactive and highly parallel

I'm also open to new projects along these general lines, according to 
the interest and experience of students.

It's helpful to have some background in PL formalisms and type systems. 
As you can see, most of my active projects touch on concurrency or HPC 
in some way; experience and interest here is a plus but not necessary.

Illinois Tech is located a few minutes from downtown Chicago in the 
historic, diverse Bronzeville neighborhood. Our high-performance 
computing group is among the top in the country and frequently 
collaborates with Argonne National Labs, just outside Chicago. Overall, 
this is an exciting place to be!

The application is here: https://urldefense.com/v3/__https://www.iit.edu/admissions-aid/apply__;!!IBzWLUs!S3d0q-e3niqRvyO6falyFOXt2sv9qYdnj1MeRCQL7IrcXemOABumHdOKugAaEt8LEWH_2sfxBJItkPtHUycXB20TIfuF_XFl$ . Note 
the official deadline is soon (Jan. 31), but the application is fairly 
straightforward (and applications may still be considered after the 
deadline, but it's not guaranteed). If you're interested and/or you 
apply, do drop me an email since the applications all go into the same 
pool and I wouldn't want to miss any.

Let me know if you'd like more information, or see my website: 
https://urldefense.com/v3/__http://cs.iit.edu/*smuller/__;fg!!IBzWLUs!S3d0q-e3niqRvyO6falyFOXt2sv9qYdnj1MeRCQL7IrcXemOABumHdOKugAaEt8LEWH_2sfxBJItkPtHUycXB20TIRgzav20$ 

Stefan

-- 
Stefan Muller
Gladwin Development Chair Assistant Professor
Computer Science Department
Illinois Institute of Technology



More information about the Types-announce mailing list