List of job vacancies - page 2
- PhD position at Chalmers in Combined Software Co-Piloting and Verification
There is a PhD position open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of 'Combined Software Co-Piloting and Verification'. The announcement is linked here:
https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=11947&rmlang=SE
A vision paper related to this PhD project has been published here:
https://doi.org/10.1007/978-3-031-19849-6_11
The PhD student will be jointly supervised by Wolfgang Ahrendt ([email protected]) and Moa Johansson ([email protected]).- PhD position on Program Analysis for Smart Contracts at the Vienna University of Technology
I am hiring a PhD student to work on Program Analysis for Smart Contracts at the Vienna University of Technology, Austria.
If you are interested, please send me your CV.
Expected start: September 2023
Best regards,
Maria Christakis
https://mariachris.github.io- Postdoc position on Program Analysis at the Vienna University of Technology
We are hiring a postdoctoral researcher in Software Engineering and Program Analysis at the Vienna University of Technology, Austria.
If you are interested, please apply here: https://jobs.tuwien.ac.at/Job/204547Deadline: May 25, 2023
Expected start: September 2023Best regards,
Maria Christakis
https://mariachris.github.io- Two Knowledge Transfer Associate Positions in Model-Based Software Engineering - University of York and Leonardo, UK
We invite applications for two 30-month positions in a Knowledge Transfer Partnership on Model-Based Software Engineering between the University of York and Leonardo UK.
- PhD positions on programmable networking at Illinois Tech in Chicago
Fully-funded PhD positions are available from Spring 2023 at the Illinois Institute of Technology to work on *developing high-performance distributed computation techniques that exploit programmable network hardware*.
For all information related to this opportunity see: http://www.cs.iit.edu/~nsultana1/student_projects/phd.html
In addition to receiving funding, PhD students will join a small and energetic group that will support them to pursue excellence in their thesis research through participation in ongoing research collaborations, access to excellent lab resources (including a range of programmable network hardware), and to pursue opportunities and develop skills that can propel their post-PhD careers.
Research areas (broadly defined) include: Computer Networking, Distributed Systems, Systems Programming, Mathematical Modeling.
Application deadline: 31st Jan 2023 to start in May or Aug 2023 (Summer or Fall semesters).Please forward this opportunity information to any potentially interested students.
Interested folk are encouraged to contact me with informal enquiries: http://www.cs.iit.edu/~nsultana1/Illinois Institute of Technology, also known as Illinois Tech, is a private, technology-focused research university in Chicago. It uniquely prepares students to succeed in professions that require technological sophistication, an innovative mindset, and an entrepreneurial spirit.
- Multiple PhD positions at The Australian National University
Multiple PhD positions are available at the School of Computing, The Australian National University, in areas such as programming languages, logic, formal methods, systems and software engineering.
- Positions for Postdocs and Ph.D. candidates
The chair MAIS of Prof. Dr. Heiko Mantel at TU Darmstadt is offering
positions for Postdocs and Ph.D. candidates in the following areas:- Formal Modeling and Tool-supported Verification
- Efficient and Reliable Run-time Monitoring and Enforcement
- Static Side-channel Analysis and Mitigation
- Postdoc and PhD positions at Inria and École Normale Supérieure in Paris in collaboration with Fujitsu Japan
Caterina Urban, research scientist at Inria and École Normale Supérieure in Paris, is looking for strong and motivated postdocs and PhD students to work on a collaborative project with Fujitsu Japan on practical formal verification methods for machine learning.
