List of job vacancies - page 2
- Postdoc position: Testing and verification for security at the hardware-software interface
Applications are invited for one postdoctoral researcher position to work at the intersection of computer security and verification at the IMDEA Software Institute (Spain).
Deadline March 31, 2023
- Post-doc position: Software engineering for chatbot development
Post-doc position at the modelling and software engineering research group (http://miso.es) of the Universidad Autonoma in Madrid (Spain)
- 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 position on GPU accelerated probabilistic model checking
The Software Engineering & Technology cluster at Eindhoven University of Technology (TU/e) offers one fully funded PhD position on the development of GPU accelerated probabilistic model checking techniques.
- PhD Studentships at Stevens Institute of Technology (New York City area)
Accepting applications for PhD students in the area of programming languages, automatic formal verification and concurrency in the Cypress PL/Systems group at Stevens Institute of Technology.
- PhD positions in program verification at INSAIT
We are recruiting PhD students for several projects on program verification at the newly-established INSAIT institute in Sofia, Bulgaria. INSAIT is a research center for computer science and artificial intelligence dedicated to conducting world-class research. The hired PhD students will be able to work in close collaboration with the Programming Methodology group at ETH Zurich.
- 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.
