Sort by
Refine Your Search
-
Employer
-
Field
-
to reason about software (e.g., LLM agents for finding and fixing bugs)Static and dynamic program analysis (e.g., to infer specifications)Test input generation (e.g., to compare the behavior of old and new
-
Scrum) and modeling of system structures and behavior. Experience with common software development tools, for example Git, IDEs, CI/CD and issue tracking. We offer: A family-friendly and collegial working
-
, hierarchical tensor formats, their relation to quantum circuits and optimization approaches. A track record of mathematical software development will strengthen the application. What we offer: WIAS Berlin is a
Searches related to bayesian inference tracking
Enter an email to receive alerts for bayesian-inference-tracking positions