Programming Languages Ph.D. Student at @Northeastern.
Interested in Program Analysis and Compilers.
Removing lazy evaluation from R.
@PLteaforplt organizer.
What are some important things to look for and consider when you look for a faculty position, to make sure you end up somewhere you will thrive and be happy?
Unpopular view: a big service that PhD advisors should provide is help their students understand where best they can fit on the job market. People are welcome to APPLY. But I look at some apps and think "I hope your advisor has helped you understand you don't have a shot here". »
I'm looking for a PhD student who wants to study program analysis, high-performance logic programming, automated reasoning. Our lab has broken new ground in 2020 and we have exciting plans for 2021. Please reach out if you're applying to PhD programs and we can talk all about it!
Because they don't have to scale up the ideas and implementation to arbitrary kinds of data, programmer-created abstractions, large data, and performance requirements. Same with Bret Victor demos.
Postdocs and former postdocs: How much did you enjoy your postdoc experience compared to your PhD, compared to what you're now doing?
How are you funded and how much autonomy do you have in your research?
What other obligations do you have beyond research?
Thanks in advance!
Are you interested in static/dynamic program analysis, fuzz testing, binary analysis, secure language design, and similar PL/SE/Security topics?
Join our fantastic team at Correct Computation -- we are hiring!
Learn a lot, have fun, make a difference.
correctcomputation.com/jobs/