Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We are looking for a PhD student to work on Cryptographic Hardware and Design Automation. The project is
-
work will focus on identifying the mathematical knowledge and properties to guide hardware optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g
-
. Your work will focus on identifying the mathematical knowledge and properties to guide hardware optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g
-
UNIVERSITY Research at our faculty The Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. It is a faculty where personal and academic
-
30 Aug 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Computer science » Cybernetics Computer science » Programming Mathematics » Algebra
-
using tools from mathematical machine learning theory to prove mathematical guarantees about the performance of such new explanation methods, as well as programming to test out the methods and
-
methods. This will involve using tools from mathematical machine learning theory to prove mathematical guarantees about the performance of such new explanation methods, as well as programming to test out
-
, fundamentally limiting their ability for spatial reasoning, temporal logic, and operating in low-resource scenarios, which leads to shortcut learning and hallucination at test-time. This PhD project focuses on a
-
theory to prove mathematical guarantees about the performance of such new explanation methods, as well as programming to test out the methods and mathematical theory in experiments. (See example references
-
are critically hindered by the language-focussed optimization of current foundation models, fundamentally limiting their ability for spatial reasoning, temporal logic, and operating in low-resource scenarios