research positions on AI HW-SW Codesign
imec
Compute System Architecture (CSA) unit at imec desires to build zetta-scale AI/HPC hardware and software solutions co-designed. We are backed by a broad in-house R&D expertise, creating a new AI computing paradigm that will move the industry forward for many years to come. The unit is looking for talented researchers and engineers who will channel their creativity to contribute in a cross-spectrum flow and methodology, working closely with a team of software and compiler researchers, micro-architects and circuit designers.
Want to achieve our ambitious goal together?
Researcher
Microsoft Research
If you are interested in pursuing a full-time researcher position at MSR in the intersection of high-performance computing, compilers, and machine learning, please consider applying to this position and/or reach out to me directly.
Link:
https://careers.microsoft.com/us/en/job/1236089/Researcher-Programming-Languages-Formal-Methods-High-Performance-Computing-Software-Engineering-Microsoft-Research
Research Positions in FPGA Systems
KAUST
If you are interested in research at the intersection of FPGAs, networks, and systems more broadly, we have openings! At the KAUST Accelerated Connected Computing Lab, we are looking for PostDocs (and potentially more senior researchers) with a passion for reshaping systems through alternative approaches to computing off the network, near storage, and at other interfaces. We are well resourced in terms of hardware and are building a large new FPGA testbed that you can also influence. We have collaborations with other faculty in areas from machine learning, through networks and robotics, to communication systems. And you will have the opportunity to travel for research.
KAUST is a postgraduate-only research-intensive university on the shores of the Red Sea, just one hour from Jeddah International Airport. Postdocs enjoy generous salaries and free accommodation and healthcare on a world-class family-friendly campus with ample recreational facilities and a private beach. KAUST offers you the opportunity to pursue world-class research among a highly diverse student/postdoc population of high achievers, and interaction with world-leading faculty across a range of disciplines.
Please get in touch by email, and if you’d like to meet before the end of the conference, I’d be happy to do so!
Link:
https://cemse.kaust.edu.sa/campus-life
System Software Researcher/Engineer
Huawei
In our research center, we explore and advance the state-of-the-art of operating systems, concurrent system software, and their interaction with modern hardware.
We focus on microkernel and hypervisor development, formal verification of concurrent software, and innovative technologies for the Linux kernel.
We are looking for researchers and engineers with interest in performance, scalability and correctness of system software.
Experience with OS internals, compiler techniques, weak memory models and/or formal verification are welcome.
Sounds interesting? Reach me out directly or apply to the link below.
Link:
https://bit.ly/drc-system
Operating System Kernel Engineer/Researcher
Huawei
In our research center, we explore and advance the state-of-the-art of operating systems, concurrent system software, and their interaction with modern hardware.
We focus on microkernel and hypervisor development, formal verification of concurrent software, and innovative technologies for the Linux kernel.
We are looking for researchers and engineers with interest in development of scalable micro-kernels for a variety of target platforms.
Experience with kernel internals, C and Rust programming are welcome.
Sounds interesting? Reach me out directly or apply to the link below.
Link:
https://bit.ly/drc-kernel
Researcher
DFINITY Foundation
The DFINITY Foundation R&D team consists of ~30 researchers and has a number of open positions in different areas: operating, embedded, and distributed systems; formal methods; networking and cryptography. Contact me directly, or use the link below.
Link:
https://dfinity.org/careers/
Postdoc opening in systems
Accelerated Systems Lab
Postdoc on TEE security, programmable networks and data center scale OS
Link:
https://Acsl.group
Machine Learning System Engineer/Researcher
Alibaba Group
We focus on machine learning system optimization, including but not limited to:
- machine learning compilation optimization on a variety of hardware architectures;
- training and inference optimization of giant models;
- sparse subgraph optimization for searching and recommendation models;
- large scale distributed machine learning system optimization.
We have a wide range of machine learning business scenarios from Alibaba. There are a large number of performance problems in real business scenarios to be solved. Currently, some of our work has reached industry-leading levels (AStitch, BladeDISC, etc.).
We welcome interns and full members!
Up to five Postdoctoral position in Computer Systems
Uppsala University
The Division of Computer Systems seeks to strengthen its core research activities through the recruitment of up to five promising postdocs. The division’s research includes modeling, design, and analysis of new computer architectures, new methods in computer communication, and new techniques in embedded and real-time systems. In all those areas, the division has produced groundbreaking theoretical and applied results. This call is open to applicants across any of the research fields within the division. Each post-doc will be placed in one of the research groups in the division, but we are particularly interested in applicants who can span multiple groups through collaborative projects. Relevant research groups and projects are:
- Algorithmic verification, in particular verification and testing of concurrent programs;
- Communications research, in particular backscatter communication and battery-free communication;
- Computer architecture, in particular microarchitecture, security, network-on-chip, hardware/software co-design, and memory systems and the integration of programmable capabilities into caches, prefetchers, and coherence;
- Embedded and real-time systems, in particular design, analysis and programming of safety-critical systems that allow dynamic updates, and real-time scheduling for multiprocessor systems;
- Security, in particular security of networked embedded IoT systems and applications, and techniques for software security including verification and testing;
- Persistence in extremely low-power embedded IoT systems, including intermittently computing devices using energy harvesting;
- Application of machine learning to computer systems and computer networks.
PhD degree in Computer Science, Computer Engineering, or equivalent. The degree needs to be obtained by the time of the decision of employment. Those who have obtained a PhD degree three years prior to the application deadline are primarily considered for the employment. The startin
Link:
https://www.uu.se/en/about-uu/join-us/details/?positionId=479945
PhD Internships
Midokura (Sony Group)
Sony Semiconductor Solutions is a global leader in CMOS sensors. These sensors are primarily used in imaging cameras. Your iPhone probably has Sony made sensors.
Sony Semicon has started a new business unit whose mission is to build "sensing solutions", which, in contrast to imaging, are not meant to capture, transmit, or store images. Rather, the goal is to capture metadata about the environment. Practically speaking, this means running a CNN on an embedded DSP, on the edge. The product is a B2B platform for developers, consisting of a sensing device and a cloud service, which may be specialized for any vertical.
Our team is responsible for 3 areas:
- the embedded systems stack running on the application processor of the IoT device. There are multiple SoC types that may be used, depending on constraints, such as power consumption.
- the cloud service that manages devices, and through which developers interact.
- a ML fine tuning service which does model domain adaptation, for example, training a base object detection model on a specific, typically restricted, set of classes.
We have several interesting problems:
- Safe execution on resource constrained IoT devices such as ESP32, or ARM Core M, which do not have MMU. We use WebAssembly to build a pipeline of event processing stages running on the edge.
- ML training in TEE (trusted execution environments) such as AMD SEV. We know how to use TEEs on CPUs, but we don't know how to confidentially use PCIe attached peripherals, such as GPUs, FPGAs, etc.
And much more...
If this sounds interesting, please stay in touch!!
Link:
https://www.aitrios.sony-semicon.co.jp/en
