- JOB
- Norway
Job Information
- Organisation/Company
- University of Bergen
- Department
- Department of Informatics
- Research Field
- Computer science
- Researcher Profile
- Recognised Researcher (R2)Established Researcher (R3)Leading Researcher (R4)
- Country
- Norway
- Application Deadline
- Type of Contract
- Temporary
- Job Status
- Full-time
- Hours Per Week
- 37,5
- Is the job funded through the EU Research Framework Programme?
- Not funded by a EU programme
- Reference Number
- 2023/4120
- Is the Job related to staff position within a Research Infrastructure?
- No
Offer Description
There is a vacancy for a temporary position as Researcher in Informatics - SAT Solving - at the Department of Informatics.
The position is for a period 2 years and is connected to the projects «AUTOPROVING» and «SYMBOALGO», both financed by the Research Council of Norway.
About the Department
Digitization of businesses, industry, public administration, and education makes informatics play an increasingly important role in the development of society. Research and education in informatics are crucial for the digital transformation of the society to succeed. The Department of Informatics contributes to this through eight research groups that deliver research and education at a high international level in algorithms, bioinformatics, information security, machine learning, optimization, programming theory, visualization and didactics. The department offers education for the future at Bachelor, Master and PhD levels. The department is in rapid growth regarding its number of students, research directions, and employees. We have today about 1000 students, and 150 employees from over 30 countries, among which 37 are faculty and 50 PhD candidates. We have established the Center for Data Science (CEDAS) and Computational Biology Unit (CBU) as an important extension of our research and education activities.
About the project/work tasks
Your main task will be the application of SAT solving techniques in the development of algorithms and in the investigation of mathematical conjectures arising in combinatorics, graph theory, and related areas. You should have strong documented expertise in topics related to SAT solving, either from a theoretical point of view, or from a practical point of view. For instance, if you are a theoretician, then proven experience in proving unconditional lower bounds for proof systems or models of computation is an advantage. If you are a practitioner, then proven experience in developing SAT solving tools is an advantage.
Where to apply
- Website
Requirements
- Research Field
- Computer science
- Education Level
- PhD or equivalent
Skills/Qualifications
- Applicants must hold a PhD degree or an equivalent degree in some topic strongly related to SAT-solving Applicants that do not have a PhD must have submitted the thesis for evaluation before the application deadline. It is a condition of employment that the PhD has been awarded.
- Documented expertise in topics related to SAT solving or constraint programming is a requirement.
- Documented expertise in proving unconditional lower bounds is an advantage.
- Documented expertise in the implementation of SAT-solving techniques is an advantage.
- Applicants must be able to work independently and in a structured manner and have strong ability to cooperate with others.
- Applicants must have excellent skills in oral and written English.
- Personal and relational qualities will be emphasized. Research experience, ambitions and potential will also count when evaluating the candidates.
Specific Requirements
UiB is subjected to the regulation for export control system. The regulation will be applied in the processing of the applications.
- Languages
- ENGLISH
- Level
- Good
Additional Information
Benefits
- A good and professionally stimulating working environment.
- Position as researcher (code 1109 in the basic collective agreement) and a gross annual salary of NOK 573 900,- to 615 000,- (equivalent to pay grade 62-66) upon appointment. Further increases in salary are made according to length of service in the position. A higher salary may be considered for a particularly well-qualified applicant. Enrolment in the Norwegian Public Service Pension Fund
- Good welfare benefits
Selection process
Your application must include
- A brief account of the applicant's research interests and motivation for applying for the position.
- The names and contact information for two referees. One of these should be the main advisor from the PhD programme.
- CV
- Transcripts and diplomas. If you have not yet completed your PhD, please submit a statement from your institution confirming that the doctoral thesis has been submitted.
- Relevant certificates/references
- List of any works of a scientific nature (publication list)
- Publications (as applicable)
The application and any attachments along with certified translations in English or another Scandinavian language must be uploaded to JobbNorge.
Additional comments
Further information about the position can be obtained from:
Associated Professor Mateus De Oliveira Oliveira, or Head of Department Inge Jonassen.
For HR related matters, please contact Karoline Skudal Christiansen.
The state workforce shall reflect the diversity of Norwegian society to the greatest extent possible. People with immigrant backgrounds and people with disabilities are encouraged to apply for the position.
We encourage women to apply. If multiple applicants have approximately equivalent qualifications, the rules pertaining to moderate gender quotas shall apply
The University of Bergen applies the principle of public access to information when recruiting staff for academic positions.
For further information about the recruitment process, click here.
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- Department of Informatics
- Country
- Norway
Contact
- Website